Dockerfile linter, validate inline bash, written in Haskell

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

An interpreter for learning and exploring pure λ-calculus