Stars
A Haskell library that simplifies access to remote data, such as databases or web-based services.
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
The Eta Programming Language, a dialect of Haskell on the JVM
Lenses, Folds, and Traversals - Join us on web.libera.chat #haskell-lens
Another Haskell web framework for rapid development
Course materials for Stanford CS240h, "Functional Systems in Haskell"
A full stack, reactive architecture for general purpose programming. Algebraic and monadically composable primitives for concurrency, parallelism, event handling, transactions, multithreading, Web,…
The fastest PostgreSQL libpq-based driver for Haskell
A powerful but simple library for measuring the performance of Haskell code.
Haskell Elasticsearch client and query DSL
Search for old versions of Nix packages
A Haskell library for typesafe music composition
Examples of Dependently-typed programs in Haskell
Fast linear time sorting and discrimination for a large class of data types
A Common Intermediate Language backend for Idris 1
Python backend for Idris (generates Python source, not bytecode).
Retry combinators for monadic actions that may fail
Check properties on standard classes and data structures
A Haskell library for the Docker Engine API
Code accompanying the paper Reflection without Remorse:Revealing a hidden sequence to speed up monadic reflection
Clojure transducers in a typed setting, in Haskell
Source material for "Functional Pearl: Getting a Quick Fix on Comonads"