Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / uwdb / Cosette
Cosette is an automated SQL solver.
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/uwdb%2FCosette
Stars: 655
Forks: 53
Open Issues: 27
License: bsd-2-clause
Language: Lean
Repo Size: 5.55 MB
Dependencies:
0
Created: almost 8 years ago
Updated: 22 days ago
Last pushed: over 2 years ago
Last synced: 20 days ago
Topics: coq, database, rosette, sql, verification
Files
Loading...
Readme
Loading...
No dependencies found