Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / GarridoY / Our-Compiler
A programming language for Arduino controllers, using UPPAAL for time verification.
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/GarridoY%2FOur-Compiler
Stars: 1
Forks: 0
Open Issues: 0
License: None
Language: Java
Repo Size: 3.84 MB
Dependencies:
0
Created: over 3 years ago
Updated: over 3 years ago
Last pushed: over 3 years ago
Last synced: over 1 year ago
Topics: compiler, programming-language, real-time, uppaal, verification
Files
Loading...
Readme
Loading...
No dependencies found