A friendly programming language from the future

A statically typed lisp, without a GC, for real-time applications.

A modern proof language

A GHC-based Haskell to JavaScript compiler

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

Shell programming, Haskell style

Minimal implementations for dependent type checking and elaboration

A Haskell library for typesafe music composition

React bindings for Haskell

Generalized bananas, lenses and barbed wire

Type inference and checking for a safer JavaScript.

A simple expressions language with polymorphic extensible row types.

Website for hosting and searching PureScript API documentation

Pure Haskell commonmark parsing library, designed to be flexible and extensible

An event sourced, purely functional application platform.

Example row-polymorphism implementations

An error-tolerant live programming environment (my Master's thesis)

Material UI in Haskell!

Sunlight lang is a dynamic, lazy, and functional programming language that compiles to Lua and JS

A structural syntactic editor