Ecosyste.ms: Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub / EugeneLoy / coq_jupyter

Jupyter kernel for Coq

JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/EugeneLoy%2Fcoq_jupyter

Stars: 89
Forks: 7
Open Issues: 12

License: apache-2.0
Language: Python
Repo Size: 411 KB
Dependencies: 14

Created: over 5 years ago
Updated: 4 months ago
Last pushed: 4 months ago
Last synced: 3 days ago

Commit Stats

Commits: 141
Authors: 6
Mean commits per author: 23.5
Development Distribution Score: 0.213
More commit stats: https://commits.ecosyste.ms/hosts/GitHub/repositories/EugeneLoy/coq_jupyter

Topics: coq, dependent-types, jupyter, jupyter-extension, jupyter-kernels, jupyter-notebook, kernel, proof-assistant, python-pa, theorem-proving

Files
    Loading...
    Readme
    Loading...
    Dependencies
    setup.py pypi
    .github/workflows/ci-tests.yml actions
    .github/workflows/package.yml actions
    .github/workflows/release.yml actions