Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / Copilot-Language / copilot
A stream-based runtime-verification framework for generating hard real-time C code.
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Copilot-Language%2Fcopilot
Stars: 595
Forks: 47
Open Issues: 14
License: None
Language: Haskell
Repo Size: 4.38 MB
Dependencies:
0
Created: almost 9 years ago
Updated: 7 days ago
Last pushed: 7 days ago
Last synced: 6 days ago
Topics: c, copilot, embedded-systems, haskell, runtime-verification, rv, stream
Files
Loading...
Readme
Loading...
No dependencies found