Ecosyste.ms: Repos

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

GitHub / rems-project / sail

Sail architecture definition language

JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/rems-project%2Fsail

Stars: 516
Forks: 83
Open Issues: 126

License: other
Language: Isabelle
Repo Size: 48.5 MB
Dependencies: 15

Created: over 6 years ago
Updated: about 1 month ago
Last pushed: about 1 month ago
Last synced: about 1 month ago

Commit Stats

Commits: 5191
Authors: 76
Mean commits per author: 68.3
Development Distribution Score: 0.78
More commit stats: https://commits.ecosyste.ms/hosts/GitHub/repositories/rems-project/sail

Files
    Loading...
    Readme
    Loading...
    Dependencies
    .github/workflows/build.yml actions
    .github/workflows/coverage.yml actions
    .github/workflows/formatting.yml actions
    .github/workflows/lower-bounds.yml actions
    .github/workflows/test-results.yml actions
    lib/coverage/Cargo.toml cargo
    editors/vscode/sail/package.json npm
    doc/Dockerfile docker