Pattern language
A curated package set and set of tools that let you build Haskell
A feature-rich Unix terminal client for the Mattermost chat system
A functional, systems programming language with linear types
Parsing, analyzing, and comparing source code across many languages
dependently typed functional programming language