Universal markup converter

ShellCheck, a static analysis tool for shell scripts

REST API for any Postgres database

Dockerfile linter, validate inline bash, written in Haskell

Parsing, analyzing, and comparing source code across many languages

A wiki using HAppS, pandoc, and git

Cryptol: The Language of Cryptography

A distributed note taker and task manager.

a container wrapper

A library to work with Puppet manifests, test them and eventually replace everything ruby.