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

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

A categorical programming language with effects

An experimental proof assistant based on a type theory for synthetic ∞-categories.

A small implementation of graded modal dependent type theory. A younger cousin to Granule.

seamless management of source dependencies with nix