Jupyter kernel for Coq
-
Updated
Sep 3, 2024 - Python
Jupyter kernel for Coq
Set of iPython and Jupyter extensions to improve user experience
Xonsh jupyter kernel allows to run Xonsh shell code in Jupyter, JupyterLab, Euporia, etc.
Jupyter plugin that provides a tab for TACC Lmod (https://github.com/TACC/Lmod)
Jupyter extension for Rust.
Advancing QGrid, an interactive grid for exploring DataFrames in JupyterLab/Notebook
IPython as a system shell and documentation
Jupyter anywidget and magic for working with pglite (single use postgres wasm build)
An extension enabling the monitoring of Apache Airflow DAGs directly from Jupyter notebooks. Tailored for developers and data scientists, it simplifies tracking specific DAGs, reduces unnecessary friction, and allows severity levels setup for failed DAGs.
Add a description, image, and links to the jupyter-extension topic page so that developers can more easily learn about it.
To associate your repository with the jupyter-extension topic, visit your repo's landing page and select "manage topics."