Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / emina / rosette
The Rosette solver-aided host language, sample solver-aided DSLs, and demos
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/emina%2Frosette
Stars: 624
Forks: 71
Open Issues: 9
License: other
Language: Racket
Repo Size: 10.2 MB
Dependencies:
0
Created: almost 10 years ago
Updated: 2 months ago
Last pushed: 3 months ago
Last synced: 2 months ago
Commit Stats
Commits: 877
Authors: 34
Mean commits per author: 25.79
Development Distribution Score: 0.16
More commit stats: https://commits.ecosyste.ms/hosts/GitHub/repositories/emina/rosette
Files
No dependencies found