CL

Copilot-Language/copilot

A stream-based runtime-verification framework for generating hard real-time C code.

HaskellNo licenselicense Last commit 12 hours ago copilot-language.github.io(opens in new tab)

Growth

Last 24 hours
+0
stars
Last 7 days
+0
stars
Last 30 days
+1
stars
Total stars
835
834 a month ago
Forks
80
0 contributors

Star history

828830832834836Jul 28Aug 11Aug 25Sep 8Sep 22Oct 6

Last 12 weeks · weekly cumulative stars · computed from public GitHub star events

Rank in its topics

Position among repos ranked in each topic (min. 20 stars gained)
Rank of Copilot-Language/copilot in each topic for today, this week and this month
TopicTodayThis weekThis month
Embedded–––

README

README.md