Language, engine, and tooling for expressing, testing, and evaluating composable language rules on input strings.

Interactively browse dependency graphs of Nix derivations.

A statically-typed linear functional language with graded modal types for fine-grained program reasoning

A demo implementation of a simple dependently-typed language

A prompt engineering functional programming language

Scripts and instructions for using CI services (e.g. Travis CI or Appveyor) with multiple GHC configurations

A formal logic framework that runs in the browser

A modern, extensible and well-documented prettyprinter.

A drop-in replacement for nix-serve that is faster and more reliable

Inspection Testing for Haskell

Fast parsing from bytestrings

Hey! Hey! Can u rel8?

My slides and compilation of resources.

an implementation of stuck macros

scriptable strace

Library for generating Haskell source files and code fragments.

ClickHouse Native protocol driver in Haskell

Haskell job queue with admin UI and loads of other features.

Staged push/pull fusion with typed Template Haskell

A Terminal User Interface for the Glasgow Haskell Compiler Interactive Mode

A really small example of the Backpack module system for Haskell

🎯 IO with Exceptions tracked on the type-level

A GHC plugin and library for analysing GHC Core

fleet-footed ByteString builder

A Haskell library for on-disk tables based on LSM-Trees

A Haskell library for fast, memory-efficient decoding of JSON documents using the simdjson C++ library

CI assistant

Prune unused Haskell dependencies.

Chapelure is a diagnostic library for Haskell