Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Haskell
Haskell is a functional (that is, everything is done with function calls), statically, implicitly typed (types are checked by the compiler, but you don’t have to declare them), lazy (nothing is done until it needs to be) language.
- GitHub: https://github.com/topics/haskell
- Wikipedia: https://en.wikipedia.org/wiki/Haskell_(programming_language)
- Repo: https://github.com/haskell
- Released: 1990
- Last updated: 2025-01-11 00:09:46 UTC
- JSON Representation
https://github.com/infinisil/soph
Efficiently import pictures while handling duplicates gracefully
blockhash deduplication haskell perceptual-hashing pictures-organizer similarity-search
Last synced: 28 Oct 2024
https://github.com/robrix/surface
Dependently-typed language w/ little to say for itself
dependent-types haskell proof-refinement typechecker
Last synced: 23 Oct 2024
https://github.com/bharathgs/warcode
Solutions to Codewars katas
codewars codewars-kata haskell python solutions
Last synced: 23 Oct 2024
https://github.com/minad/writer-cps-transformers
Compatibility package for old transformers: Stricter drop in replacements for WriterT and RWST
haskell monad-transformers writer-monad
Last synced: 13 Oct 2024
https://github.com/nwtgck/platy-lang-haskell
Platy Language Compiler by Haskell & LLVM: Declarative, Statically typed and Simple to implement language
compiler haskell language llvm programming-language
Last synced: 23 Oct 2024
https://github.com/andreasabel/cabal-clean
Remove outdated compilation artefacts left by cabal v2-build
cabal clean disk-space haskell
Last synced: 27 Oct 2024
https://github.com/jjba23/free-alacarte
Free monads based on intuitions from the Data types à la Carte paper. Combine functors and make embedded DSLs in Haskell.
composition dependency-injection dsl free functional-programming functor haskell library monad
Last synced: 12 Oct 2024
https://github.com/gvolpe/types-matter
Examples shown in my talk "Why types matter". See also https://github.com/gvolpe/par-dual
haskell newtypes refined refinement-types types
Last synced: 10 Oct 2024
https://github.com/prikhi/hirc
An IRC Client with a Split Connection Daemon & TUI Frontend.
brick demuxer haskell irc irc-client multiplexer tui
Last synced: 11 Oct 2024
https://github.com/pbrisbin/bugsnag-haskell
Bugsnag error reporter for Haskell
Last synced: 02 Nov 2024
https://github.com/konn/sized
Sized sequence data-types
containers dependent-types ghc haskell type-level-programming
Last synced: 28 Oct 2024
https://github.com/haskell-cryptography/blake2
A Haskell library providing BLAKE2
Last synced: 12 Oct 2024
https://github.com/mehanix/teme-fmi
🎓 Homework/Coursework during my bachelor's in Computer Science
algorithms-and-data-structures artificial-intelligence computer-science cpp data-structures database-design databases fmi formal-languages haskell homework-exercises ios-swift java mips-assembly nodejs operating-systems python signal-processing webdev
Last synced: 15 Oct 2024
https://github.com/meooow25/haccepted
Data structures and algorithms for competitive programming in Haskell
algorithms competitive-programming data-structures haskell
Last synced: 30 Oct 2024
https://github.com/unclechu/midihaskey
MIDIHasKey — Virtual MIDI keyboard suitable for microtonal music
audio audio-processing cplusplus cpp haskell jack jackaudio keyboard microtonal midi midi-keyboard wxwidgets
Last synced: 11 Oct 2024
https://github.com/lenguyenthedat/aws-redshift-to-rds
A simple command-line tool to copy tables from Amazon Redshift to Amazon RDS (PostgreSQL).
amazon-rds amazon-redshift aws aws-redshift haskell rds
Last synced: 15 Oct 2024
https://github.com/typeclasses/unfork
Make any action thread safe
concurrency haskell haskell-library
Last synced: 05 Dec 2024
https://github.com/carlosmchica/haskellbook
Code snippets and exercises for the Haskell book
Last synced: 01 Nov 2024
https://github.com/ocharles/listenbrainz-client
A client to the ListenBrainz project
haskell listenbrainz metabrainz musicbrainz
Last synced: 23 Oct 2024
https://github.com/aupiff/keccak
Keccak hash functions
haskell keccak pure-haskell sha3 shake sponge
Last synced: 28 Oct 2024
https://github.com/vyorkin/haskbot
:construction: Haskell interpreter telegram bot. WIP.
Last synced: 12 Nov 2024
https://github.com/marcusbuffett/newreads
The code for the newreads site
books functional-programming hacktoberfest halogen haskell purescript
Last synced: 28 Oct 2024
https://github.com/matsubara0507/servant-kotlin
Automatically derive Kotlin functions to query servant webservices
haskell haskell-library haskell-servant kotlin servant-client
Last synced: 08 Nov 2024
https://github.com/iconnect/rails-session
Decrypt Ruby on Rails sessions in Haskell
Last synced: 01 Oct 2024
https://github.com/typeclasses/leanpub
Haskell client for the Leanpub API
haskell haskell-library leanpub leanpub-api wreq
Last synced: 08 Nov 2024
https://github.com/dschrempf/elynx
Analyze, modify and simulate molecular sequence data and phylogenetic trees in a reproducible way.
bioinformatics haskell phylogenetics
Last synced: 12 Oct 2024
https://github.com/tristancacqueray/pipewire.hs
Haskell bindings to Pipewire Multimedia Framework
Last synced: 12 Oct 2024
https://github.com/diasbruno/language-js
Parser for es6 and es7.
ast es6 es7 haskell javascript parser
Last synced: 23 Oct 2024
https://github.com/mratsim/haskell-numbertheory
Exploration of primes, factorization and number theory through haskell
factorization haskell number-theory prime-numbers
Last synced: 23 Oct 2024
https://github.com/laserpants/fuzzyset-haskell
:sheep: A fuzzy string set implementation in Haskell.
fuzzy-matching haskell search string
Last synced: 28 Oct 2024
https://github.com/sighingnow/mxnet-haskell
MXNet interface in Haskell.
deep-learning ffi-bindings haskell mxnet
Last synced: 14 Oct 2024
https://github.com/dduan/brainass
A Brainfuck to WebAssembly compiler written in Haskell
brainfuck haskell wasm wasm-example webassembly
Last synced: 31 Dec 2024
https://github.com/arsalan0c/cdp-hs
Haskell library for the Chrome DevTools Protocol
chrome chrome-devtools-protocol haskell
Last synced: 02 Nov 2024
https://github.com/jship/s3k
Do more with stack by typing less!
alias build-tool haskell regex regular-expression stack
Last synced: 14 Oct 2024
https://github.com/soulomoon/haskell-katas
Home for my CodeWars Haskell practice
codewars-kata codewars-solutions haskell haskell-exercises haskell-learning
Last synced: 14 Oct 2024
https://github.com/pirate/experiments
:sparkles: Random (sometimes xkcd-inspired) Python, Haskell, and JS experiments involving data science and algorithm fun.
algorithms computer-science data-science data-structures game-theory haskell javascript machine-learning math python random snippets statistics test-bed
Last synced: 28 Oct 2024
https://github.com/ryota-ka/markov-bot
Generates random sentences from your tweet history using the Markov chain, and post them into Twitter.
Last synced: 16 Oct 2024
https://github.com/ryota-ka/duration
A tiny compile-time time utility library, inspired by zeit/ms.
Last synced: 16 Oct 2024
https://github.com/morphismtech/free-categories
free categories
functor haskell isomorphism morphisms quivers
Last synced: 29 Oct 2024
https://github.com/typeclasses/assoc-list
An association list conceptually signifies a mapping, but is represented as a list (of key-value pairs)
association-list haskell haskell-library
Last synced: 05 Dec 2024
https://github.com/jaalonso/examenes_de_pf_con_haskell
Exámenes de programación funcional con Haskell
functional-programming haskell
Last synced: 06 Dec 2024
https://github.com/obsidiansystems/constraints-extras
Convenience functions and template haskell for working with constraints
Last synced: 07 Nov 2024
https://github.com/dmjio/miso-from-html
Lex, parse and pretty print HTML as Miso View syntax
haskell lexer miso parser parser-combinators pretty-print
Last synced: 16 Nov 2024
https://github.com/sgraf812/datafix
Fixing data-flow problems in expression trees
compiler-optimization data-flow-analysis haskell
Last synced: 12 Oct 2024
https://github.com/alhassy/multistage-programming-taha
A Haskell implementation of the code within Walid Taha's ``A Gentle Introduction to Multi-stage Programming''
cheatsheet haskell metaocaml multi-stage-programming ocaml
Last synced: 10 Oct 2024
https://github.com/lysxia/show-combinators
Minimalistic Haskell pretty-printing library
Last synced: 28 Oct 2024
https://github.com/lysxia/roll-your-own-irc-bot
Roll your own IRC bot (2019 version) https://wiki.haskell.org/Roll_your_own_IRC_bot
Last synced: 28 Oct 2024
https://github.com/picnoir/DobadoBots
Videogame in which you program robots AI
haskell haskell-game sdl2 sdl2-ttf videogame
Last synced: 30 Nov 2024
https://github.com/picnoir/dobadobots
Videogame in which you program robots AI
haskell haskell-game sdl2 sdl2-ttf videogame
Last synced: 08 Nov 2024
https://github.com/tomeraberbach/programming-in-haskell-exercises
My solutions for the exercises presented in Graham Hutton's Programming in Haskell.
exercises-solutions functional-programming graham-hutton haskell programming-in-haskell pure-functional textbook-exercises
Last synced: 11 Oct 2024
https://github.com/verement/decimal-arithmetic
A Haskell implementation of General Decimal Arithmetic
Last synced: 12 Oct 2024
https://github.com/simonmichael/haskell-links
Exploratory project to gather Haskell links
Last synced: 28 Oct 2024
https://github.com/cosmo0920/ahblog
A simple Blog engine powered by Haskell language, Yesod and Bootstrap 3.
Last synced: 12 Oct 2024
https://github.com/pjones/openid-connect
An OpenID Connect library that does all the heavy lifting for you
Last synced: 28 Oct 2024
https://github.com/ixmatus/pub
A CLI tool for piping from stdin to a redis pub/sub channel.
command-line haskell piping pub redis redis-channel
Last synced: 11 Oct 2024
https://github.com/martinbaillie/slack-export-indexer
Parses Slack export archives into an ElasticSearch index for exploring with Kibana.
elasticsearch exporter haskell kibana slack
Last synced: 09 Nov 2024
https://github.com/plapadoo/matrix-bot
Provide a simple, script-friendly interface to posting stuff on matrix channels
automation haskell http matrix riot-web
Last synced: 16 Dec 2024
https://github.com/josefilipeferreira/haskhell3d
Haskell-Gloss Doom-like 3D shooter
Last synced: 16 Dec 2024
https://github.com/airalab/robonomics-tools
Robonomics network provider software (xrtd) and other cli tools
aira airalab ethereum haskell robonomics
Last synced: 09 Dec 2024
https://github.com/dagit/logict-sequence
A variation of the LogicT monad with better asymptotics from the Reflection without Remorse paper
Last synced: 08 Nov 2024
https://github.com/taffybar/gtk-traymanager
A wrapper around eggtraymanager for Haskell/gtk2hs
gtk2hs haskell tray-widget xembed
Last synced: 08 Nov 2024
https://github.com/unclechu/xlib-keys-hack
Keyboard behavior customization utility
haskell keyboard keyboard-layout linux x11 xkb xlib xmobar xmonad
Last synced: 08 Jan 2025
https://github.com/betaveros/bcodex
A command-line utility in Haskell (as well as tiny JS app) for flexibly converting between puzzlehunt-y "encodings"
Last synced: 07 Nov 2024
https://github.com/juspay/hoogleverse
Host Hoogle via Nix / NixOS, with handpicked list of packages
haskell hoogle nix self-hosted
Last synced: 12 Nov 2024
https://github.com/kowainik/crocodealer
🐊 Manage GitHub organization files, labels, issues
github haskell labels management open-source organization workflow workflows
Last synced: 12 Nov 2024
https://github.com/cdepillabout/servant-on-heroku
Example app showing how to release a Haskell web app on Heroku
database deployment docker example haskell heroku postgresql servant
Last synced: 14 Nov 2024
https://github.com/phlummox/hs-perl5
embedded Perl 5 interpreter in Haskell, forked from https://github.com/perl6/Pugs.hs. Candidate package on hackage at https://hackage.haskell.org/package/hs-perl5-0.1.0/candidate. pre-alpha stage software
Last synced: 16 Nov 2024
https://github.com/haskell-hvr/otp
Haskell implementation of One-Time Passwords algorithms
2fa-security haskell hotp oath totp
Last synced: 21 Nov 2024
https://gitlab.com/gilmi/giml-lang
https://giml-lang.org A functional programming language with emphasis on structural typing.
compiler haskell parsing type inference
Last synced: 07 Nov 2024
https://github.com/martinsos/aoc-2023-haskell-template
Template for solving Advent of Code 2023 in Haskell
advent-of-code advent-of-code-2023 haskell
Last synced: 19 Nov 2024
https://github.com/mariari/misc-ml-scripts
Various ideas in OCaml, Haskell, and F*
Last synced: 07 Dec 2024
https://github.com/gitpod-samples/template-haskell
The Haskell template, configured for Gitpod (www.gitpod.io) to give you pre-built, ephemeral development environments in the cloud.
Last synced: 24 Nov 2024
https://github.com/gregorias/findata-fetcher
A scraper of personal financial data from websites
Last synced: 20 Nov 2024
https://github.com/hellwolf/yul-dsl-monorepo
The monorepo of YulDSL (a DSL for Solidity/Yul) and its programming frontend Yolc.
category-theory compiler dsl haskell linear-types solidity symmetric-monoidal-categories yul
Last synced: 15 Nov 2024
https://github.com/gergoerdi/brainfuck
Brainfuck interpreter & compiler written in Haskell, with focus on readability instead of performance
brainfuck compiler haskell interpreter
Last synced: 16 Nov 2024
https://github.com/adetokunbo/tmp-proc
Use docker to run 'tmp' processes in haskell integration tests
docker haskell haskell-library testing
Last synced: 07 Nov 2024
https://github.com/alexandru/days-since
Simple command line for showing the number of passed days since a certain date
Last synced: 09 Nov 2024
https://github.com/petertseng/adventofcode-hs-2022
Solutions to https://adventofcode.com/2022 (complete)
advent-of-code advent-of-code-2022 haskell
Last synced: 13 Nov 2024
https://github.com/haskell-github-trust/true-name
Template Haskell hack to violate another module's abstractions
Last synced: 12 Dec 2024
https://github.com/oisdk/type-indexed-queues
Queues with verified and unverified versions
data-structures dependent-types haskell
Last synced: 21 Nov 2024
https://github.com/iijlab/direct-hs
Client library for https://direct4b.com in Haskell
bot bot-framework direct4b haskell
Last synced: 08 Nov 2024
https://github.com/gusenov/stepik-functional-programming-hs
:mortar_board: Функциональное программирование на языке Haskell.
course examples haskell problem-solving problemsolving stepik
Last synced: 08 Nov 2024
https://github.com/tfausak/haskell-package-checklist
:ballot_box_with_check: Write better Haskell packages
Last synced: 17 Nov 2024
https://github.com/tejasbubane/haskell-book-code
[Complete] Solutions to exercises from "Haskell Book" along with study notes
exercises haskell haskell-learning learning-by-book
Last synced: 13 Nov 2024
https://github.com/vmchale/language-xats
Language library for manipulating ATS3 in Haskell.
Last synced: 10 Nov 2024
https://github.com/aztek/atp
Haskell interface to automated theorem provers
atp automated-theorem-provers first-order-logic formal-methods haskell logic prover theorem-proving tptp
Last synced: 16 Nov 2024
