Universal markup converter

ShellCheck, a static analysis tool for shell scripts

A strongly-typed language that compiles to JavaScript

Compiler for Elm, a functional language for reliable webapps.

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

The Haskell Tool Stack

Pattern language

A wiki using HAppS, pandoc, and git

Lenses, Folds, and Traversals - Join us on web.libera.chat #haskell-lens

😎 The open-source, Haskell-built video editor for GIF makers.

A Testing Framework for Haskell

Haskell implemented with combinators

A functional language for the working hacker

Make interactive games in Haskell using GIF streams that can be shown in the web browser

Elsa is a lambda calculus evaluator

A cellular automaton for studying self-modifying agents which are embedded in their environment

constructive abstract algebra

A reimplementation of gitit in Yesod

A symbolic model checker for Dynamic Epistemic Logic.

A Haskell library for parsing, pretty-printing, and evaluating the Ninja build language.

lojban parser

gba emulator in haskell

🕵️🤥 A Model Checker for the Hardest Logic Puzzle Ever