Universal markup converter

ShellCheck, a static analysis tool for shell scripts

REST API for any Postgres database

A strongly-typed language that compiles to JavaScript

A Dependently Typed Functional Programming Language

Ethereum smart contract fuzzer

A RESTful Haskell web framework built on WAI.

Haskell to JavaScript compiler, based on GHC

Dapp, Seth, Hevm, and more

lamdu - towards the next generation IDE

Detexify Backend written in Haskell

Library for functional reactive programming in Haskell.

Work in progress. Best alternative: https://matrix.org/docs/spec/appendices.html#canonical-json

A strict, impure, curried, partially applied programming language with rather peculiar syntax.

A programming language that runs in Haskell's type system.

Become a conflict resolution hero