Safe, performant, user-friendly and lightweight Haskell library
The Agda standard library
Enhanced Emacs 25.1+ distribution
Cloud native application architecture practice handbook
The Zenburn colour theme ported to Emacs
Tool for scaffolding batteries-included production-level Haskell
A formalization of Haskell's standard prelude in Isabelle/HOLCF.
Perl5 library that adds something to the language, like lazy lists
A Full Conversion Amnesia Custom Story by Shy
A new desktop experience