REST API for any Postgres database

🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness

A Haskell library that simplifies access to remote data, such as databases or web-based services.

Haskell to JavaScript compiler, based on GHC

A wiki using HAppS, pandoc, and git

Translates a plain text description of a relational database schema to a graphical entity-relationship diagram.

A fast Haskell JSON library

Bluespec Compiler (BSC)

A stream-based runtime-verification framework for generating hard real-time C code.

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

Generator of runtime monitors for flight and robotics applications.

A language for intent-centric and declarative decentralised applications

A modern syntax for the λ-calculus.

An implementation of Python 3

A DSL for embedded hard realtime applications.

A small strongly typed language that compiles to Erlang (not JavaScript)

This repository has been moved to https://gitlab.com/twittner/zeromq-haskell

A Haskell library supporting flexible, dynamic file-based configuration.

A toy implementation of the Raft protocol in Haskell, with an experimental BFT variant.

A high-performance striped resource pooling implementation for Haskell

Framework for running and organising QuickCheck test properties and HUnit test cases

An Actionscript 3 to haXe source converter written in Haskell

Slides and examples from my Haskell workshop at Strange Loop.

Translating HTN planning problems to PDDL

Redis Sharding on Haskell

Haskell to Javascript compiler (via GHC)

A Haskell implementation of the OpenID 2.0 spec

Haskell binding to OGRE

A Haskell style checker