Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
conda-forge.org "jupyter-extension" keyword
coq-jupyter 1.6.0
Jupyter kernel for Coq5 versions - Latest release: over 2 years ago - 80 stars on GitHub