ShellCheck, a static analysis tool for shell scripts

Dockerfile linter, validate inline bash, written in Haskell

A modern proof language

Functional Programming concepts, examples and patterns illustrated in Haskell, Ocaml and Python

💥💻💥 A data-parallel functional programming language

Liquid Types For Haskell

A toy programming language with time travel

🎀 An incredibly cute placeholder service

A simple implementation of the algebra of pictures in Haskell outlined in Peter Henderson's "Functional Geometry".

🍃 Generate TypeScript interfaces from regular Mongoose schemas.