Universal markup converter

Compiler for Elm, a functional language for reliable webapps.

A friendly programming language from the future

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

A modern proof language

A static website compiler library in Haskell

A proper subset of Haskell that compiles to JavaScript

A formatter for Haskell source code

hpack: A modern format for Haskell packages

Compiler for the Gren programming language

A fourk of ormolu that uses four space indentation and allows arbitrary configuration. Don't like it? PRs welcome!

A categorical programming language with effects

Material for Haskell training

🍒 An EXPERIMENTAL library with basic functions.

a categorical programming language (WIP)