🧪 | A test framework for Lean 4.

🌐 | HTTP primitives for Lean 4

Nix, the purely functional package manager

An incremental parsing system for programming tools

type level sets

Easy dependency management for Nix projects

Deterministic Maven builds using Nix [maintainer=@icetan]

🌟 For when you really just want to serve some files over HTTP right now!

An Emacs command for updating fetch declarations in place

Nix and Haskell in production

Numerical computation in native Haskell

SXML/SSAX porting to Chez Scheme.

Functional programming with fewer indirections

Nix Packages collection & NixOS