acl2-kernel
Jupyter kernel
A Jupyter kernel extension that integrates ACL2 theorem proving into interactive computing environments.
Jupyter Kernel for ACL2
4 stars
5 watching
1 forks
Language: Jupyter Notebook
last commit: about 1 year ago
Linked from 1 awesome list
acl2jupyterjupyter-kerneltheorem-prover
codyreichert/awesome-clRelated projects:
| Repository | Description | Stars |
|---|---|---|
 eugeneloy/coq_jupyter | A Jupyter notebook kernel for interactive theorem proving with Coq | 94 |
 calysto/matlab_kernel | A Jupyter kernel implementation for interacting with Matlab from within a notebook | 470 |
 andrewdavis33/sckernel | A Jupyter Notebook kernel that integrates with SuperCollider's sclang, enabling interactive coding and syntax highlighting. | 17 |
 stisa/jupyternim | A Jupyter kernel for the Nim programming language. | 164 |
 carglglz/jupyter_upydevice_kernel | A Jupyter kernel for interacting with MicroPython boards over USB/Serial or WebREPL connections. | 14 |
 irkernel/irkernel | A Jupyter Notebook kernel that enables R integration and provides a native interface for working with R within the Jupyter environment. | 1,666 |
 robots-from-jupyter/robotkernel | An IPython kernel specifically designed for Robot Framework testing and execution in Jupyter Notebooks and Lab environments. | 75 |
 xonsh/xontrib-jupyter | A Jupyter kernel and notebook extension that integrates Xonsh shell into interactive computing environments. | 35 |
 jupyter-xeus/xeus-robot | A Jupyter kernel implementation that integrates Robot Framework test automation with the Jupyter Notebook environment. | 31 |
 timkpaine/jupyterlab_autoversion | Automates versioning of JupyterLab notebooks after each save | 82 |
 jupyterlab-contrib/jupyterlab_code_formatter | Facilitates invocation of code formatters in JupyterLab | 856 |
 clojupyter/clojupyter | An implementation of a Clojure kernel for the Jupyter environment. | 836 |
 jupyterlab/jupyterlab-git | An extension that integrates version control using Git into the JupyterLab environment. | 1,461 |
 kracekumar/jut | Displays Jupyter notebooks in the terminal | 183 |
 hpi-swa/ipolyglot | A polyglot Jupyter kernel for GraalVM | 93 |