This website use cactus as static website generator. To build it locally, you have to install the dependencies:
pip install cactus pygments
And then start the local server:
cd src cactus serve
http://127.0.0.1:8000 URL now point on a local version of this site. Make
your changes, commit them and then push to Github to deploy.
Commits to master are automatically build and published using Travis
Documentation is automatically build and deployed from each repository.