Copilot-Language/copilot
A stream-based runtime-verification framework for generating hard real-time C code.
837
Stars
81
Forks
0.0
Radar Score
Declining
Momentum
Scoring Breakdown
Impact0.0
Velocity0.0
Health0.0
Growth Metrics
7-Day Stars
+0
30-Day Stars
+0
Acceleration
x
Language
Haskell