ShellCheck, a static analysis tool for shell scripts

Dockerfile linter, validate inline bash, written in Haskell

Translates a plain text description of a relational database schema to a graphical entity-relationship diagram.

Easy dependency management for Nix projects

Espial is an open-source, web-based bookmarking server.

A modern syntax for the λ-calculus.