Ansible is a radically simple IT automation platform that makes your applications and systems easier to deploy. Avoid writing scripts or custom code to deploy and update your applications— automate in a language that approaches plain English, using SSH, with no agents to install on remote systems.
It's like portal, but in ASCII. And 2D. Sweet look-through mechanic, tho. This repo provides experimental features; it gets merged to the main repo from time to time. I usually hang out on #asciiportal on freenode. There are beta builds available at:
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.