Do I have alternatives to the interactive notebook?¶
If mybinder.org does not work or match your needs, you have a number of alternatives:
Download the Python code (using the menu at the top) and edit and run it in your favorite environment. This is easy to do and does not require lots of resources. Download the Jupyter Notebooks (using the menu at the top) and open them in Jupyter. Here's how to install jupyter notebook on your machine.
For details, see our article on Using Debuggingbook Code in your own Programs.
As another alternative, you can also use our Docker images (experimental). Install Docker and then run
$ docker pull zeller24/debuggingbook $ docker run -it --rm -p 8888:8888 zeller24/debuggingbook
and then in your Web browser, open the URL ( http://127.0.0.1/... or http://localhost/... ) given in the console output. This should give you the same environment as in mybinder.org.
If you want to create your own Docker images, use our Dockerfile as a starting point.