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

GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.

🚧 a work in progress effect system for Haskell 🚧

A prompt engineering functional programming language

Parser combinators with highlighting, slicing, layout, literate comments, Clang-style diagnostics and the kitchen sink

Extensible Records for Haskell. Pull requests welcome! Come visit us on #vinyl on freenode.

🚧 a work in progress effect system for Haskell 🚧

Build system

The Helium compiler, Helium-as-a-library, and the texthint interpreter

Haskell library implementing "Data Types a la Carte"

Automatically trace all (showable) binds in do expressions

Command line version of Wordle.

Monomorphize polymorphic functions for testing

Elara is a purely-functional programming language targetting the JVM

Practical type inference for arbitrary-rank types