acl2-kernel
by tani
Jupyter Kernel for ACL2
AI summary
Jupyter kernel
A Jupyter kernel extension that integrates ACL2 theorem proving into interactive computing environments.
- stars
- 4
- forks
- 1
- watching
- 5
- awesome list
- 1
Similar projects
Found by comparing what the projects do, not just their names.
Coq IDE kernel
A Jupyter notebook kernel for interactive theorem proving with Coq
Matlab Notebook Interface
A Jupyter kernel implementation for interacting with Matlab from within a notebook
Jupyter kernel
A Jupyter Notebook kernel that integrates with SuperCollider's sclang, enabling interactive coding and syntax highlighting.
Nim Jupyter kernel
A Jupyter kernel for the Nim programming language.
MicroPython Kernel
A Jupyter kernel for interacting with MicroPython boards over USB/Serial or WebREPL connections.
R notebook kernel
A Jupyter Notebook kernel that enables R integration and provides a native interface for working with R within the Jupyter environment.
Test kernel
An IPython kernel specifically designed for Robot Framework testing and execution in Jupyter Notebooks and Lab environments.
Jupyter integration library
A Jupyter kernel and notebook extension that integrates Xonsh shell into interactive computing environments.
Jupyter testing library
A Jupyter kernel implementation that integrates Robot Framework test automation with the Jupyter Notebook environment.
Notebook versioner
Automates versioning of JupyterLab notebooks after each save
Formatter
Facilitates invocation of code formatters in JupyterLab
Kernel
An implementation of a Clojure kernel for the Jupyter environment.
Git client
An extension that integrates version control using Git into the JupyterLab environment.
Terminal viewer
Displays Jupyter notebooks in the terminal
Polyglot runtime
A polyglot Jupyter kernel for GraalVM
Featured in 1 awesome list
Each link jumps to the spot where the list mentions acl2-kernel.
