Ecosyste.ms: Repos

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

GitHub / cpitclaudel / alectryon

A collection of tools for writing technical documents that mix Coq code and prose.

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

Stars: 217
Forks: 34
Open Issues: 36

License: mit
Language: HTML
Repo Size: 1.91 MB
Dependencies: 204

Created: about 4 years ago
Updated: about 2 months ago
Last pushed: 2 months ago
Last synced: 19 days ago

Commit Stats

Commits: 976
Authors: 10
Mean commits per author: 97.6
Development Distribution Score: 0.049
More commit stats: https://commits.ecosyste.ms/hosts/GitHub/repositories/cpitclaudel/alectryon

Files
    Loading...
    Readme
    Loading...
    Dependencies
    .github/workflows/pypi.yml actions
    pyproject.toml pypi
    setup.py pypi
    recipes/backstop/package-lock.json npm