Skip to content


The website is generated with Material for MkDocs from the contents of the assets/ directory. It hosted by GitHub pages from the gh-pages branch.

Install Material for MkDocs and the required plugins with:

$ pip3 install mkdocs-material mkdocs-mermaid2-plugin mkdocs-redirects mkdocs-simple-hooks

Test the website locally by running:

$ cd assets/
$ mkdocs serve

and visiting

Deploy the website with:

$ mkdocs gh-deploy