ShellCheck, a static analysis tool for shell scripts

Compiler for Elm, a functional language for reliable webapps.

Ethereum smart contract fuzzer

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

Liquid Types For Haskell

a small .pdf management tool with a command-line UI

Haskell Programming From First Principles - Follow-up Resources

The Haskell Phrasebook: a quick intro to Haskell via small annotated example programs

A distributed note taker and task manager.

Command-line spaced-repetition learning software. CL (command line) + Anki (popular spaced-repetition software) = Clanki.

Downloads and converts a properly set up Html book or a blog into mobi format