Pattern language
The Universal Plug-in System. Extend anything with WebAssembly
A curated package set and set of tools that let you build Haskell
Parsing, analyzing, and comparing source code across many languages
dependently typed functional programming language