REST API for any Postgres database

Dockerfile linter, validate inline bash, written in Haskell

A strongly-typed language that compiles to JavaScript

Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces.

Cryptol: The Language of Cryptography

TLS/SSL implementation in haskell

Haskell XML Toolbox