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

The Haskell-Scriptable Editor

Cryptol: The Language of Cryptography

A simple library for reporting compiler/interpreter errors

Yet another yet another recursion scheme library in Haskell.

Interpret Haskell programs into any cartesian closed category.

⭐ it's a starcraft clone but with a dope typesystem

deprecated in favor of -XQualifiedDo

Haskell to C compiler via Categorifier

Companies without centralization. A system for people who want to work together to build things, but don't want hierarchy or central control.

Automatic type class law checking.