Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / idris-hackers / software-foundations
Software Foundations in Idris
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/idris-hackers%2Fsoftware-foundations
Stars: 446
Forks: 34
Open Issues: 15
License: mit
Language: Idris
Repo Size: 4.25 MB
Dependencies:
0
Created: almost 8 years ago
Updated: about 2 months ago
Last pushed: about 5 years ago
Last synced: about 1 month ago
Topics: book, computer-science, idris, theorem-proving
Files
Loading...
Readme
Loading...
No dependencies found