ShellCheck, a static analysis tool for shell scripts

REST API for any Postgres database

Parsing, analyzing, and comparing source code across many languages

A strongly-typed language that compiles to JavaScript

A friendly programming language from the future

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

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

lamdu - towards the next generation IDE

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

Deprecated; see https://github.com/unused-code/unused

Haskell Elasticsearch client and query DSL

HarmTrace (Harmony Analysis and Retrieval of Music with Type-level Representations of Abstract Chords Entities) is a system for automatic harmony analysis of music.