Formalchemy_project is a project mainly written in PYTHON and SHELL, it's free.
One package to rule them all
formalchemy_project README