nilqed/ispad repository overview

⁠Quick start

iSPAD -- Jupyter kernel for FriCAS/OpenAxiom based on cl-jupyter.

docker run -d -p 443:8888 -e "PASSWORD=MakeOne" nilqed/ispad /notebook.sh

Then (for instance) point your browser to https://localhost and login with the password set above. If you want to use http instead of https then add -e "USE_HTTP=1" to the run command.

A convenient way to use the notebook might be to name the container (otherwise you have to use the id, e.g. from docker ps -a):

$ docker run --name ispad <as above ...>

such that it can be stopped and started by:

$ docker stop ispad $ docker start ispad

then the saved notebooks persist. Note that newly created containers do not contain your saved notebooks unless you do a commit.

See also: https://hub.docker.com/r/ipython/notebook/⁠

⁠Latest

• Jupyter 4
• Fricas 1.2.6
• cl-jupyter 0.6 (Common Lisp kernel)
• ispad 0.9.2 (SPAD kernel based on cl-jupyter)

⁠Other commands

FriCAS ... docker run -t -i nilqed/ispad fricas -nox Bash ... docker run -t -i nilqed/ispad /bin/bash SBCL ... docker run -t -i nilqed/ispad sbcl Cheat sheet ... https://github.com/wsargent/docker-cheat-sheet⁠