Ecosyste.ms: Repos

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

GitHub / tnelson / Forge

Forge: A Tool and Language for Teaching Formal Methods

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

Stars: 64
Forks: 8
Open Issues: 21

License: None
Language: Racket
Repo Size: 91 MB
Dependencies: 10

Created: almost 5 years ago
Updated: 17 days ago
Last pushed: 17 days ago
Last synced: 10 days ago

Commit Stats

Commits: 1724
Authors: 26
Mean commits per author: 66.31
Development Distribution Score: 0.866
More commit stats: https://commits.ecosyste.ms/hosts/GitHub/repositories/tnelson/Forge

Files
    Loading...
    Readme
    Loading...
    Dependencies
    .github/workflows/continuousIntegration.yml actions
    .github/workflows/semanticVersionUpdater.yml actions
    forge/logging/requirements.txt pypi