A statically typed lisp, without a GC, for real-time applications.

Language, engine, and tooling for expressing, testing, and evaluating composable language rules on input strings.

Terminal-based presentations using Pandoc

Servant is a Haskell DSL for describing, serving, querying, mocking, documenting web applications and more!

A multilingual package manager for Arch Linux and the AUR.

A declarative Unix terminal UI library written in Haskell

♊ higher-order, no-boilerplate monads

Functional reactive web and mobile applications, with batteries included.

Industrial-strength monadic parser combinator library

A standard library for Haskell

Haskell game engine library for roguelike dungeon crawlers; please offer feedback, e.g., after trying out the sample game with the web frontend at

Empire strikes back

Main source code repository of the Tamarin prover for security protocol verification.

Pandoc based document editor and converter in your browser.

Haskell bindings to the SDL2 library

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

Convert Pandoc Markdown-style footnotes into sidenotes

Haskell on-disk B* tree implementation

Strict markdown processor for writers

Translate servant API to purescript code, with the help of purescript-bridge.

Give your dependencies stars on GitHub! 🌟

Classic games recreated in netwire

Named parameters (keyword arguments) for Haskell

2D game engine written in Haskell

Generate reflex client functions for querying a servant API

type-level errors for Servant APIs.

Tools for building 3D interactive programs in Haskell

git protocol and storage in pure haskell

Coveralls support for Stack projects