Jupyter kernel for Coq
Repository Index
47,133 repositories indexed
1–4 of 4 · Most stars
Xonsh Jupyter kernel allows to run Xonsh shell code in Jupyter, JupyterLab, Euporie, etc.
- xonsh
- xontrib
- jupyter
- jupyter-notebook
Python3 script that transfers files in Google Colab 10-50x faster, using multi-threaded parallel copying between Google Drive locations.
- colab-notebook
- multithreading
- parallel-computing
- copy
Jupyter MicroPython Kernel made with upydevice