Universal markup converter

ShellCheck, a static analysis tool for shell scripts

Parsing, analyzing, and comparing source code across many languages

Homomorphic machine learning

HTTP server & command-line for managing UTxOs and HD wallets in Cardano.

Automatic testing of Haskell programs.

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

A service to help with testing of sending the right emails

A toy implementation of the Raft protocol in Haskell, with an experimental BFT variant.

hastatic is a tiny static content web server for Docker

Hackage security framework based on TUF (The Update Framework)

Enforce HTTPS in Wai server app safely.