A friendly programming language from the future

Koka language compiler and interpreter

Very low feature GHCi based IDE

A dependently-typed programming language with static memory management

Peer-to-peer encrypted message exchange

Add ACID guarantees to any serializable Haskell data structure

The Ermine Programming Language - Join us on irc.freenode.net #ermine

Systematic concurrency testing meets Haskell.

restricted boltzmann machine

Semi-naïve typed Datalog backend with runtime, transformations, and foreign predicate support

Haskell bindings for my Shamir secret sharing library