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: 6 months ago
Linked from 1 awesome list
acl2jupyterjupyter-kerneltheorem-prover
Related projects:
Repository | Description | Stars |
---|---|---|
| A Jupyter notebook kernel for interactive theorem proving with Coq | 94 |
| A Jupyter kernel implementation for interacting with Matlab from within a notebook | 470 |
| A Jupyter Notebook kernel that integrates with SuperCollider's sclang, enabling interactive coding and syntax highlighting. | 17 |
| A Jupyter kernel for the Nim programming language. | 164 |
| A Jupyter kernel for interacting with MicroPython boards over USB/Serial or WebREPL connections. | 14 |
| A Jupyter Notebook kernel that enables R integration and provides a native interface for working with R within the Jupyter environment. | 1,666 |
| An IPython kernel specifically designed for Robot Framework testing and execution in Jupyter Notebooks and Lab environments. | 75 |
| A Jupyter kernel and notebook extension that integrates Xonsh shell into interactive computing environments. | 35 |
| A Jupyter kernel implementation that integrates Robot Framework test automation with the Jupyter Notebook environment. | 31 |
| Automates versioning of JupyterLab notebooks after each save | 82 |
| Facilitates invocation of code formatters in JupyterLab | 856 |
| An implementation of a Clojure kernel for the Jupyter environment. | 836 |
| An extension that integrates version control using Git into the JupyterLab environment. | 1,461 |
| Displays Jupyter notebooks in the terminal | 183 |
| A polyglot Jupyter kernel for GraalVM | 93 |