Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / HoTT / EPIT-2020
EPIT 2020 - Spring School on Homotopy Type Theory
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/HoTT%2FEPIT-2020
Stars: 100
Forks: 12
Open Issues: 3
License: mit
Language: TeX
Repo Size: 154 MB
Dependencies:
0
Created: about 3 years ago
Updated: 6 months ago
Last pushed: almost 3 years ago
Last synced: 2 months ago
Files
Loading...
Readme
Loading...
No dependencies found