Compiler for Elm, a functional language for reliable webapps.

A Dependently Typed Functional Programming Language

Optics as an abstract interface

A categorical programming language with effects

optics for Haskell with the most amazing type errors you've seen

Telegram Bot API for Haskell

Play Minesweeper by formally proving your moves in Idris

A REPL for Elm

an automated solver for problems of competitive programming

cat, but for colors 😼

Coordinate-free hypersurfaces as Haskell types

A codegolf language for mortals

Type-driven syntactic and semantic effectful parsing for NL

A normalizing interpreter for the untyped λ-calculus in 292 characters of Haskell

Project seeking the supreme (shortest) Lazy K program.