ShellCheck, a static analysis tool for shell scripts

REST API for any Postgres database

Parsing, analyzing, and comparing source code across many languages

Compiler for Elm, a functional language for reliable webapps.

A friendly programming language from the future

A Dependently Typed Functional Programming Language

A wiki using HAppS, pandoc, and git

Bluespec Compiler (BSC)

Kit: a magical, high performance programming language, designed for game development.

Domain-Specific Languages of Mathematics

🍃 🌳 🍂 Efficient implementation of the implicit treap data structure