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: 2026-01-26 00:11:00 UTC
- JSON Representation
https://github.com/typeclasses/invert
Automatically generate a function’s inverse
functions haskell haskell-library
Last synced: 31 Jul 2025
https://github.com/csabahruska/dsl-experiment
Basic implementation of Hindley-Milner Type System and variants.
functional-programming haskell hindley-milner parser type-checker
Last synced: 12 Apr 2025
https://github.com/typeclasses/dsv
DSV (delimiter-separated values)
csv delimiter-separated-fields haskell haskell-library
Last synced: 31 Jul 2025
https://github.com/lettier/matrix-inverse-calculator
Input a square matrix and calculate its inverse if possible.
functional-programming haskell interactive javascript matrix-math purescript
Last synced: 10 Jun 2025
https://github.com/karupayun/scoresim
competition haskell html scoreboard simulator
Last synced: 18 Aug 2025
https://github.com/kadena-io/chainweb-api
Common types for communicating with a Chainweb Node.
Last synced: 29 Jun 2025
https://github.com/haskell-hvr/windns
Domain Name Service (DNS) lookup via the Windows dnsapi standard library
dns dnsapi haskell haskell-library win32
Last synced: 13 Aug 2025
https://github.com/m4lvin/mchlpe
🕵️🤥 A Model Checker for the Hardest Logic Puzzle Ever
agent-types epistemic-logic haskell model-checking puzzle
Last synced: 13 Apr 2025
https://github.com/vaclavsvejcar/vcs-ignore
📜 Haskell library handling files ignored by VCS
git haskell haskell-library vcs
Last synced: 22 Apr 2025
https://github.com/joom/herbrand-prolog
A pseudo-Prolog that tries to answer queries by building the least Herbrand model.
Last synced: 18 Sep 2025
https://github.com/aztek/voogie
A verification conditions generator for Boogie programs
boogie haskell tptp vampire verification verification-conditions
Last synced: 02 Jul 2025
https://github.com/aiya000/hs-gorira
He is Twitter bot that made by Haskell.
Last synced: 09 May 2025
https://github.com/norfairking/template-cli
Template Command-Line Interface
Last synced: 08 Apr 2025
https://github.com/matsubara0507/test-extensible
Haskell の extensible パッケージのテストリポジトリ
Last synced: 01 Sep 2025
https://github.com/basvandijk/usb-example
Example how to use the usb library
Last synced: 11 Apr 2025
https://github.com/dylex/haskell-nfs
Haskell NFS libraries including ONC (Sun) RPC and NFSv4 Client
Last synced: 04 Jul 2025
https://github.com/minad/quickcheck-special
Edge cases and special values for QuickCheck Arbitrary instances
Last synced: 11 Apr 2025
https://github.com/prikhi/bodyweight-server
A Haskell REST Server for a BodyWeight Workout Log Application.
Last synced: 29 Oct 2025
https://github.com/mrkkrp/plan-b
*DEPRECATED* Failure-tolerant file and directory editing for Haskell
Last synced: 30 Oct 2025
https://github.com/foxhound-systems/hs-obfuscate
Library for easy obfuscation and deobfuscation of integer IDs in custom data types
Last synced: 05 May 2025
https://github.com/typeclasses/options
Powerful and easy command-line option parser
command-line-parser haskell haskell-library
Last synced: 31 Jul 2025
https://github.com/redneb/hsopenssl-x509-system
Use the system's native CA certificate store with HsOpenSSL
cross-platform haskell openssl
Last synced: 13 May 2025
https://github.com/fused-effects/fused-effects-parser
Parsing w/ fused-effects inspired by trifecta
algebraic-effects haskell parser
Last synced: 30 Apr 2025
https://github.com/kleidukos/pg-transact-effectful
pg-transact for the Effectful ecosystem
effect-system effectful haskell postgresql
Last synced: 03 Jul 2025
https://github.com/ppkfs/haskell-roguelike-tutorial
A tutorial series of building a roguelike with Haskell.
Last synced: 24 Dec 2025
https://github.com/leventerkok/floatinghex
Hexadecimal Floats for Haskell
floating-point haskell hexadecimal-floats ieee754
Last synced: 09 Apr 2025
https://github.com/agrafix/grabcite
Haskell: Library/Executable to extract citations from scientific papers
citation extraction haskell nlp paper text
Last synced: 12 Sep 2025
https://github.com/sulami/hmenu
⌨️ Fuzzy finder and launcher for your command line
fuzzy-search haskell launcher terminal
Last synced: 29 Mar 2025
https://github.com/sjoerdvisscher/discrete-space-map
A discrete space map implemented as a zipper on an infinite perfect binary tree.
Last synced: 14 Apr 2025
https://github.com/prolic/schnorr-cli
Schnorr-CLI tool
bitcoin haskell haskell-application schnorr schnorr-signatures
Last synced: 18 Mar 2025
https://github.com/jasonzhu1313/interactiveexpressionparser
This project focus on using functional programing to parse the expression, I use Haskell to develop an interactive expression parser using a lot of features of Haskell, you can use haskell compiler such as GHCI to run the program, Let's begin.
expression-evaluator functional-programming ghci haskell haskell-compiler interactive parse
Last synced: 19 Mar 2025
https://github.com/abhiroop/haskal
A collection of Data Structures and Algorithms written in Haskell.
algorithms data-structures haskell
Last synced: 11 Apr 2025
https://github.com/thomasvrgn/love
Imperative programming language that brings love by its simplicity.
compiler haskell language programming-language
Last synced: 29 Apr 2025
https://github.com/symtegration/symtegration
Haskell library for symbolic integration.
haskell mathematics symbolic-integration
Last synced: 11 Apr 2025
https://github.com/ivanperez-keera/games-voldemort
Game implemented during ZuriHac2015
Last synced: 05 Apr 2025
https://github.com/nikita-volkov/lawful-conversions
Lawful typeclasses for conversion between types
conversions haskell typeclasses
Last synced: 04 Jul 2025
https://github.com/metric-space/hex-chessboard-generator
Hexagonal Chessboard Image Generator
diagrams haskell hexagonal-chessboard
Last synced: 11 Apr 2025
https://github.com/pasqu4le/yesod-notes
Yesod-notes: a small yesod app to take notes
haskell note-taking notes webapp website yesod
Last synced: 07 May 2025
https://github.com/prikhi/wai-middleware-clacks
Add An "X-Clacks-Overhead" Header To Wai Responses.
clacks discworld gnu-terry-pratchett haskell header middleware wai x-clacks-overhead
Last synced: 29 Oct 2025
https://github.com/alkesst/datastructures
Some data structures implemented in java and haskell
algorithms data-structures data-structures-algorithms datastructures haskell java
Last synced: 16 Jul 2025
https://github.com/ento/worker-haskell-template
Wrangler template for a Cloudflare Workers + Haskell (Asterius) project
asterius cloudflare-workers haskell
Last synced: 08 May 2025
https://github.com/ndmitchell/lasagna
Checker for Haskell layering violations
Last synced: 13 May 2025
https://github.com/juhp/stack-all
build Haskell projects over Stackage LTS major versions
Last synced: 12 Apr 2025
https://github.com/minoki/lambdaquest
An implementation of System F, System Fsub (F_{<:}) and Finter (F_∧)
haskell lambda-calculus type-system
Last synced: 13 Apr 2025
https://github.com/dmjio/trie
This Trie is so fly
data-structures fly haskell tree trie
Last synced: 14 Apr 2025
https://github.com/noteed/exploring
These are notes and code to explore Another World, Eric Chahi's 1991 video game.
game-engine haskell retrogaming
Last synced: 10 Apr 2025
https://github.com/takenobu-hs/processor-creative-kit
haskell prrocessor-creative-kit
Last synced: 13 Apr 2025
https://github.com/arowm/haskell-bookkeeping-jp
Helper functions of Haskell bookkeeping module for Japanese bookkeeping.
bookkeeping haskell haskell-bookkeeping japanese
Last synced: 10 Apr 2025
https://github.com/prikhi/build-run-watch
Library for Writing Scripts To Build, Run, & Watch Projects.
build-automation build-system build-tool haskell npm stack
Last synced: 15 Jul 2025
https://github.com/simre1/reactive-markup-old
A haskell library for declarative GUI programming.
declarative-programming declarative-ui dynamic-markup gtk gui haskell hot-reload markup
Last synced: 13 Apr 2025
https://github.com/iamrecursion/absol
Formally correct DSLs
dissertation domain-specific-language dsl formal-semantics formal-verification haskell metacompiler metalanguage
Last synced: 05 Apr 2025
https://github.com/azur1s/atacamite
An interpreted stack-based programming language
haskell proglangs-discord programming-language stack-based-language
Last synced: 13 Apr 2025
https://github.com/portnov/hcheckers
HCheckers is a relatively simple implementation of checkers board game (also known as "draughts")
checkers checkers-game haskell python qt5
Last synced: 13 Apr 2025
https://github.com/fgaz/shine-varying
FRP interface for shine
frp graphics hacktoberfest haskell
Last synced: 13 Apr 2025
https://github.com/prikhi/hkredmine
A Redmine CLI Client and API Library Written in Haskell.
cli haskell redmine redmine-cli-client
Last synced: 29 Oct 2025
https://github.com/mrkkrp/lame
A high-level Haskell binding to the LAME encoder
Last synced: 21 Mar 2025
https://github.com/prikhi/sleepanarchy
The PureScript Frontend & Haskell Backend That Powers the SleepAnarchy.com Blog
blog docker docker-compose haskell haskell-servant molokai purescript purescript-halogen website
Last synced: 29 Oct 2025
https://github.com/caneroj1/sqlite-simple-errors
Light wrapper around errors from sqlite-simple to make working with constraint errors a bit easier.
Last synced: 11 Apr 2025
https://github.com/kitlangton/eulerplate
A tool for generating Haskell boilerplate for solving Hacker Rank challenges.
Last synced: 17 Jul 2025
https://github.com/dahlia/bencodex-haskell
Bencodex reader/writer for Haskell
Last synced: 12 May 2025
https://github.com/athanclark/websockets-rpc
A simple subscription-esque RPC mechanism using WebSockets
haskell rpc-call websockets websockets-rpc
Last synced: 19 Oct 2025
https://github.com/duetosymmetry/game-about-squares-solver-haskell
A Haskell solver for Game About Squares (gameaboutsquares.com)
Last synced: 27 Mar 2025
https://github.com/yurrriq/advent-of-code
Semi-literate polyglot solutions to Advent of Code problems.
advent-of-code-2015 advent-of-code-2016 advent-of-code-2017 advent-of-code-2018 advent-of-code-2019 advent-of-code-2020 advent-of-code-2021 advent-of-code-2022 advent-of-code-2023 gap haskell idris lfe literate-programming nix noweb picat tufte-latex xelatex
Last synced: 30 Oct 2025
https://github.com/andrewnetwork/haskelltwitchbot
A simple educational twitch chat bot written in Haskell.
Last synced: 13 Apr 2025
https://github.com/redneb/hs-adler32
A haskell library implementing the Adler-32 checksum, with support for rolling checksum operation
adler-32 crc haskell rolling-crc rolling-hash-functions
Last synced: 25 Jun 2025
https://github.com/haskell-github-trust/fgl-visualize
Convert FGL to Graphviz DOT format
Last synced: 26 Mar 2025
https://github.com/catsmells/aoc
advent of code solutions in whatever languages i use for them (2019)
advent-of-code advent-of-code-2019 aoc aoc2019 asm haskell r
Last synced: 07 Jul 2025
https://github.com/keera-studios/ifelse
Anaphoric and miscellaneous useful control-flow
conditional-statements haskell monad monads
Last synced: 30 Nov 2025
https://github.com/jaalonso/i1m
Código Haskell usado en el curso de I1M (Informática de 1º de Matemática)
Last synced: 28 Jul 2025
https://github.com/kutyel/mu-haskell-berlin-fp-talk
Code example and slides for my talk in the Berlin Functional Programming Group
graphql-server haskell mdx-deck mu-graphql mu-haskell
Last synced: 10 Jul 2025
https://github.com/nikita-volkov/isomorphism-class
Isomorphism typeclass solving the conversion problem
Last synced: 21 Mar 2025
https://github.com/jneira/wai-servlet-handler-jetty
Wai handler to run wai applications in a embedded jetty server
eta haskell jetty wai webdevelopment
Last synced: 02 Mar 2025
https://github.com/trskop/lock-file
Provide exclusive access to a resource using lock file.
Last synced: 10 Apr 2025
https://github.com/typeclasses/fractal-sets
Escape-time fractals created with Haskell and GD.
Last synced: 31 Jul 2025
https://github.com/haskell-hvr/deepseq-generics
GHC.Generics-based Control.DeepSeq.rnf implementation
Last synced: 11 Jul 2025
https://github.com/kleidukos/diff-package-api
Workflow to have golden tests on your Haskell package's API
Last synced: 10 Apr 2025
https://github.com/slotthe/hmenu
Dmenu wrapper for fun and profit! // GitHub Mirror
Last synced: 12 Apr 2025
https://github.com/3noch/drifter-project-m36
Drifter migration backend for Project:M36
database drifter haskell migration project-m36
Last synced: 02 Nov 2025
https://github.com/kutyel/trolleys
🛒 Haskell program to schedule trolleys and shifts randomly!
haskell haskell-application haskell-cli random random-shuffle schedule scheduler
Last synced: 15 Apr 2025
https://github.com/kutyel/argo
📇 Zero-dep JSON parser with Haskell and Nix
haskell haskell-library haskell-parser hlint json-parser nix nix-haskell ormolu
Last synced: 27 Mar 2025
https://github.com/kakkun61/kinf-template
A static site generator template powered by Shake, Lucid and Hint.
Last synced: 05 Apr 2025
https://github.com/flandrade/lambda-calculus-haskell
The λ-calculus in Haskell
beta-reduction church-encoding church-numerals haskell lambda-calculus
Last synced: 14 Jul 2025
https://github.com/mjepronk/apie
Apie: a simple event sourcing and content addressable storage API (Warp and CGI)
cgi content-addressable-storage event-sourcing haskell
Last synced: 28 Mar 2025
https://github.com/pravda-lang/pravda
A functional programming language that best of both worlds between Haskell and Lisp
functional-paradigm haskell interpreter lisp pravda programming-language
Last synced: 10 Apr 2025
https://github.com/quchen/lambda-ski
A lambda and SKI calculus playground
haskell lambda-calculus ski-calculus
Last synced: 10 Apr 2025
https://github.com/saschagrunert/seer
A collaborative resource planning tool 🔮
collaboration haskell planning productvision resource roadmap schedule tool vision
Last synced: 03 Nov 2025
