REST API for any Postgres database

Parsing, analyzing, and comparing source code across many languages

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

Haskell API search engine

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

Simple, fast, purely functional k-means clusterization algorithm in Haskell

Haskell library for (C++) symbol name demangling

Solver for Hanayama O'Gear cast puzzle