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.
Advancing QGrid, an interactive grid for exploring DataFrames in JupyterLab/Notebook
Jupyter plugin that provides a tab for TACC Lmod (https://github.com/TACC/Lmod)
Jupyter extension for Rust.
🔵 D2: Declarative Diagramming in Python via AnyWidget
IPython as a system shell and documentation
Python-async is a Jupyter/IPython extension that enables non-blocking, asynchronous execution of shell and Python jupyter notebooks cells across multiple environments (bash, cmd, PowerShell, etc.). It supports live output streaming and seamless multitasking directly within notebooks.
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."