Parsing, analyzing, and comparing source code across many languages

Cryptographic currency implementing Ouroboros PoS protocol

Official Haskell IDE support via the language server protocol (LSP)

The engine for haskell ide-integration. Not an IDE

Servant is a Haskell DSL for describing, serving, querying, mocking, documenting web applications and more!

Easy dependency management for Nix projects

Haskell library for building declarative animations based on SVG graphics

Haskell code prettifier

A wayland compositor based on ideas from and inspired by xmonad

A standard library for Haskell

Shake build system

🌀 Safe, performant, user-friendly and lightweight Haskell standard library

A fast, flexible, fused effect system for Haskell

A full stack, reactive architecture for general purpose programming. Algebraic and monadically composable primitives for concurrency, parallelism, event handling, transactions, multithreading, Web,…

A type-safe Haskell SQL library

Updating nixpkgs packages since 2018

Learn Haskell, with tiny lessons.

🚧 a work in progress effect system for Haskell 🚧

The fastest PostgreSQL libpq-based driver for Haskell

A fast Haskell library for parsing ByteStrings

Generically derive traversals, lenses, and prisms.

PostgreSQL + Websockets

New home of Esqueleto, please file issues so we can get things caught up!

The Incredible Proof Machine

Functional workflows

Mu (μ) is a purely functional framework for building micro services.

Classic Algorithm W for type inference.

Extensional capabilities and deriving combinators

Binary serialisation in the CBOR format

Algorithmic Information Theory, using Binary Lambda Calculus