Parsing, analyzing, and comparing source code across many languages

A strongly-typed language that compiles to JavaScript

A friendly programming language from the future

A modern proof language

💥💻💥 A data-parallel functional programming language

The Eta Programming Language, a dialect of Haskell on the JVM

Official upstream development repository for Cabal and cabal-install

Lambda the ultimate Pattern Factory: FP, Haskell, Typeclassopedia vs Software Design Patterns

Functional Reactive Programming domain-specific language for efficient hybrid systems

Interpret Haskell programs into any cartesian closed category.

Type inference from scratch - Material for my talk at F(by)19

Haskell to C compiler via Categorifier