Universal markup converter

A friendly programming language from the future

A statically typed lisp, without a GC, for real-time applications.

Agda is a dependently typed programming language / interactive theorem prover.

Lenses, Folds, and Traversals - Join us on web.libera.chat #haskell-lens

Easy dependency management for Nix projects

The official formatter for Nix code

Pipe your nix-build output through the nix-output-monitor a.k.a nom to get additional information while building.

Miscellaneous articles. The readme is the table of contents.

Liquid Types For Haskell

A fast Haskell JSON library

Cryptol: The Language of Cryptography

Command line client for Nix binary cache hosting:

Interactively browse dependency graphs of Nix derivations.

hpack: A modern format for Haskell packages

Updating nixpkgs packages since 2018

An easy to use, fast extensible effects library with seamless integration with the existing Haskell ecosystem.

Hackage-Server: A Haskell Package Repository

Generate Nix build instructions from a Cabal file

An implementation of Python's doctest for Haskell

Haskell interactive serverside web framework inspired by HTMX, Elm, and Phoenix LiveView

Frank compiler

A modern step-through debugger for GHC Haskell

Software Transactional Memory

A reactive notebook for Haskell

Single file Lambda Calculus implementations demonstrating various type system features and interpretation techniques

Build, cache, and run possibly compiled scripts with dependencies using the Nix package manager