ShellCheck, a static analysis tool for shell scripts

A strongly-typed language that compiles to JavaScript

The Haskell Tool Stack

Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)

A Testing Framework for Haskell

The Oden Programming Language (NO LONGER IN ACTIVE DEVELOPMENT)

The Pact Smart Contract Language

A Haskell framework that facilitates writing ABCI applications

Maker Purple paper on tendermint

Bindings to libnotify