REST API for any Postgres database

Parsing, analyzing, and comparing source code across many languages

A strongly-typed language that compiles to JavaScript

Compiler for Elm, a functional language for reliable webapps.

A collection of awesome Haskell links, frameworks, libraries and software. Inspired by awesome projects line.

Research language for array processing in the Haskell/ML family

The Plutus language implementation and tools

📜 Haskell course info, plan, video lectures, slides

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

Haskell API search engine

Minimal implementations for dependent type checking and elaboration

Experimental implementation of Cubical Type Theory

The fastest PostgreSQL libpq-based driver for Haskell

The Software Analysis Workbench

The Ivory EDSL

New home of Esqueleto, please file issues so we can get things caught up!

A toy programming language with time travel

A DSL for embedded hard realtime applications.

An experimental proof assistant based on a type theory for synthetic ∞-categories.

Fast parsing from bytestrings

The Haskell Thrift Compiler. This is an implementation of the Thrift spec that generates code in Haskell. It depends on the fbthrift project for the implementation of the underlying transport.

Library to access the GPIO pins on a Raspberry Pi from Haskell.

The elf-edit library provides a datatype suitable for reading and writing Elf files.

Free Algebras in Haskell

Embedded C code generation DSL for Haskell.

Playing with DSLs in Haskell

Purely functional Haskell "Magic: The Gathering" card model and game engine.

A Haskell eDSL for the TON VM Assembler