cadabra-server1
The server backend for running cadabra2 notebooks
Usage
cadabra-server
Overview
On starting cadabra-server, it will print a port number on stdout, where connections to the cadabra kernel can be made. All interaction with the server is through that port on the localhost interface.
Releases
Unchanged in 2 releases since Debian 11 (Bullseye).