hamroctopus

https://github.com/typescript-tools/rust-implementation

Promela / SPIN 6.4.5 formal verification container

Serverspec test environment in docker

Build environment for LaTeX projects compiled with cmake

Ubuntu 14.04.4 container providing graphviz-2.38.0