Dockerfile linter, validate inline bash, written in Haskell

Parsing, analyzing, and comparing source code across many languages

Compiler for Elm, a functional language for reliable webapps.

Cryptographic currency implementing Ouroboros PoS protocol

An unobtrusive, developer-friendly way to add comments

Work in progress. Best alternative: https://matrix.org/docs/spec/appendices.html#canonical-json

A web interface for monitoring and controlling Philips Hue lights

GIFs on the command line

Play Minesweeper by formally proving your moves in Idris