Compiler for Elm, a functional language for reliable webapps.

A Dependently Typed Functional Programming Language

A functionally reactive game engine, with headgear to protect you from the headache of game development provided.

Inline C & Objective-C in Haskell

Tools for making it easier to integrate Haskell and Objective-C.

Reactive Extensions for Haskell (experimental)

A Mac application for democratic handling of music at parties, using libspotify.

The C Preprocessor Preprocessor. Like quasi-quotation in C / Objective-C.

A Dependently Typed Functional Programming Language