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.
A GHC plugin and library for analysing GHC Core
A symbolic model checker for Dynamic Epistemic Logic.
Language agnostic scripting engine with a custom bytecode JIT
Tricorder provides simple, fast, focused feedback when hacking on Haskell (with or without LLM agents).
Exercises from the readers of the Haskell Book
Vim Haskell Hindent integration plugin
The paranoid bot (framework)
YAML 1.2 implementation in pure Haskell
MinIO Client SDK for Haskell
A Haskell implementation of realworld.io
Hoogle search integration for Telescope
Unofficial OpenAI Haskell Bindings
Haskell's IO simulator which closely follows core packages (base, async, stm).
🚧 WIP: Bartosz Milewski's "Category Theory for Programmers" Korean translation 📚
A experimental NES emulator written in Haskell
A library to work with Puppet manifests, test them and eventually replace everything ruby.
Easy Haskell Language Server tooling with Nix!
Lobby and matchmaking server for openage in Haskell
GSD (Get your Stuff Done) | Basic Todo list for demonstrating CQRS/Command Sourcing in Haskell
enumerative property-based testing for Haskell
AsciiDoc parser that can be used as a Pandoc front-end, written in Haskell
A library for building bots compositionally.
The Keelung Language. A Haskell-embedded DSL for privacy-preserving computation, designed to optimize zero-knowledge proof generation with support for...
Write Mac apps entirely in Haskell
A Haskell library for on-disk tables based on LSM-Trees
Unpacked containers using backpack
SuperHacker is the ultimate utility to make you look like a hacker.
Source code examples from Real World Haskell book
A language parsing quasiquoter for Haskell based heavily on ANTLR4.
A CLI tool for generating images of ferns 🌿 and other Iterated Function Systems
A standalone implementation of the timeout command.
Dumain Bruteforcer - a fast and flexible domain bruteforcer
A Haskell regular expressions library that doesn't suck | now on https://codeberg.org/valpackett/pcre-heavy
Template Haskell Workshop
A fast Haskell client library for the Riak decentralized data store
Julia embedded in Haskell
Madlang is a language for generative literature
An EDSL implemented in Haskell for programming the Nintendo Game Boy.
Constraint-based generics
A Haskell library for fast, memory-efficient decoding of JSON documents using the simdjson C++ library
GNOLL is an efficient dice notation parser for multiple programming languages that supports a wide set of dice notation
Lightweight notification daemon displaying notifications as EWW widgets
:secret: Google Translate API
:hourglass: Type-safe time units in Haskell
Alleviate your back pain using Haskell and a webcam
Time script = Vim script + static typing
An interpreter for Monkey with parser combinator written in Haskell
A terminal client for Up Bank written in Haskell ⚡.
Source code error pretty printing
GHC language extension support checker across compiler versions.