Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / akissinger / chyp
An interactive theorem prover for string diagrams
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/akissinger%2Fchyp
Stars: 97
Forks: 5
Open Issues: 1
License: apache-2.0
Language: Python
Repo Size: 351 KB
Dependencies:
0
Created: over 1 year ago
Updated: 10 days ago
Last pushed: 3 months ago
Last synced: 5 days ago
Files
Loading...
Readme
Loading...
No dependencies found