Jupyter kernel for Coq
Repository Index
47,133 repositories indexed
1–3 of 3 · Most stars
Xonsh Jupyter kernel allows to run Xonsh shell code in Jupyter, JupyterLab, Euporie, etc.
- xonsh
- xontrib
- jupyter
- jupyter-notebook
Jupyter MicroPython Kernel made with upydevice