Jupyter kernel for Coq
Repository Index
47,133 repositories indexed
1–5 of 5 · Most stars
A simple utility for the calculation and analysis of IP subnet values, designed to simplify network configuration tasks.
A micro workers class that easily manages a pool of threads to optimise simultaneous jobs and jobs endings, for MicroPython (used on Pycom modules & ESP32)
- pycom
- micropython
- lopy
- wipy
Cryptographic Dataset Generation & Modelling Framework
Xonsh Jupyter kernel allows to run Xonsh shell code in Jupyter, JupyterLab, Euporie, etc.
- xonsh
- xontrib
- jupyter
- jupyter-notebook