5 open source projects by evertedsphere

optics for Haskell with the most amazing type errors you've seen

Predictable Haskell development environments with Cabal and Nix.

Highly polymorphic algebraic structures with custom deriving strategies

freshly-fermented, dependently-typed mustard, with a substructural aftertaste

A tiny dependent typechecker in Haskell, translated from @andrejbauer's OCaml