🏆 A ranked list of awesome Jupyter Notebook, Hub and Lab projects (exte...
Jupyter kernel for Coq
a collection of awesome Jupyter Notebook, Hub and Lab projects (extensio...
Set of iPython and Jupyter extensions to improve user experience