ShellCheck, a static analysis tool for shell scripts

REST API for any Postgres database

Dockerfile linter, validate inline bash, written in Haskell

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

A Haskell library that simplifies access to remote data, such as databases or web-based services.

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

C to Rust translator

Cryptol: The Language of Cryptography

Huge list of videos, talks, courses for Haskell programming language.

The Oden Programming Language (NO LONGER IN ACTIVE DEVELOPMENT)

haskell source code formatter

Hackage-Server: A Haskell Package Repository

Packages for defining APIs, running them, generating client code and documentation.

Fast Haskell XML parser

Program Round-off Error Certifier via Static Analysis

Fuse-based filesystem to decode and present Sereal-encoded files

🍄 Hakyll shakespearen template compiler