You can see it here: http://algos.herokuapp.com/

Currently it is hosted using heroku free plan (so disasters — and 30 seconds of waiting — are to be expected). If You want to use it locally (assuming You already have python), then:

1) git clone https://github.com/JonothorDarry/Nothingness

2) cd Nothingness && pip install -r requirements.txt

3) python base.py

4) go in the browser to localhost:5000

I wanted to see something like https://cp-algorithms.com/ , but with more thorough proofs and visualizations. While it is unfinished, some of You may find it useful; besides, I don't think moving further without any feedback is a valid idea.

Beware, however; I was the only person using and sanity-checking this website (and proofs), so there are probably myriads of bugs, problems, ambiguous statements and outright botched proofs.