Jupyter Kernel for ACL2
- acl2
- theorem-prover
- jupyter
- jupyter-kernel
47,133 repositories indexed
97–105 of 105 · Most stars
Jupyter Kernel for ACL2
A JupyterLab extension to jump to the line in the file of the stack trace, search Google for the error in Stack Overflow, or ask Bing Chat for help.
Mass management of IPython notebook servers with Supervisord and a Django/Pinax front-end
JupyterLab Top Bar extension
Store,Version and Run jupyter notebook via ReST api
Common Lisp JupyterLite kernel using JSCL
Cytoscape widget for common-lisp-jupyter
Data Science Notebook for F# interactive
Kekule widget for common-lisp-jupyter