REST API for any Postgres database

A strongly-typed language that compiles to JavaScript

Haskell web framework inspired by Ruby's Sinatra, using WAI and Warp (Official Repository)

A GHC-based Haskell to JavaScript compiler

Minimal implementations for dependent type checking and elaboration

Cloud Haskell core libraries

Course materials for Stanford CS240h, "Functional Systems in Haskell"

Learn Haskell, with tiny lessons.

A distributed computing framework for Haskell

Type inference and checking for a safer JavaScript.

A simple expressions language with polymorphic extensible row types.

The Disco Discus Compiler

rslt, take five-ish

🦖 Implementations of various type inference algorithms. The new project is now at https://github.com/cu1ch3n/type-inference-zoo-frontend.

Interactive, client-side web apps in Haskell

Unification and type inference algorithms

Experimental Malfunction backend for Idris

A Haskell web application server.

Write PostgreSQL functions in Haskell

Haskell distributed parallel Haskell

Implementations of F-ing modules and 1ML, as well as bibliography of (mainly ML-style) modules

Edit distance library for Haskell

Cross Media Publishing for Substance documents