Universal markup converter

REST API for any Postgres database

Parsing, analyzing, and comparing source code across many languages

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

🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness

Koka language compiler and interpreter

What I Wish I Knew When Learning Haskell

A wiki using HAppS, pandoc, and git

A statically-typed linear functional language with graded modal types for fine-grained program reasoning

The LLVM LHC Haskell Optimization System

An either-or-both data type, with corresponding hybrid error/writer monad transformer.

Fast polynomial arithmetic in Haskell (dense and sparse, univariate and multivariate, usual and Laurent)