ShellCheck, a static analysis tool for shell scripts

Dockerfile linter, validate inline bash, written in Haskell

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

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

Haskell Programming From First Principles - Follow-up Resources