A strongly-typed language that compiles to JavaScript

Pattern language

Functional Programming Course

Functional reactive web and mobile applications, with batteries included.

Project: M36 Relational Algebra Engine

EulerHS: full-fledged framework for creating web backends

The Ntha Programming Language

A library for patches (diffs) on vectors: composable, mergeable and invertible

A wiki based on firm theoretical foundations

Reactive Extensions for Haskell (experimental)