A modern proof language

lamdu - towards the next generation IDE

A proper subset of Haskell that compiles to JavaScript

A statically typed concatenative systems programming language.

Cgrep: a context-aware grep for source codes

A Haskell library for creating WebSocket-capable servers

a fast, extensible, type driven Haskell ECS framework for games

Bridge from Ruby to Haskell

OwnCloud for owls done via The Microservice Architecture

A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR

Elsa is a lambda calculus evaluator

Algebraic type based schema system

A small Haskell implementation of Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism

Compositional type checking for Haskell

A Haskell implementation of the Stripe API.