ShellCheck, a static analysis tool for shell scripts

REST API for any Postgres database

Dockerfile linter, validate inline bash, written in Haskell

Parsing, analyzing, and comparing source code across many languages

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

A modern proof language

Agda is a dependently typed programming language / interactive theorem prover.

Homomorphic machine learning

Find broken links in text documents