ssaavedra

A container with Mono, Dafny and Z3 installed, based on library/mono:5

Tryton based off openlabs/tryton but adapted to be leaner.

Tox with several Python versions already installed with pyenv.

SBT with Docker, to be able to use the DockerPlugin in sbt.

StackEdit fork correctly supporting CouchDB login.

Tracks is a task management system to get things done.