Copilot-Language / copilot

git clone https://github.com/Copilot-Language/copilot.git

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

—

stars, 24h

—

stars, 7 days

—

stars, 30 days

837

★ total

81

forks · 12 open issues

Star history starts 2026-10-20; the chart appears after the second daily snapshot.

LanguageHaskell

License—

Created2015-06-09 (11y ago)

Last push2d ago

OwnerOrganization

GitHub topics

c copilot embedded-systems haskell requirements requirements-engineering runtime-assurance runtime-monitoring runtime-monitoring-system runtime-verification rv stream

Links

GitHub: github.com/Copilot-Language/copilot
Homepage: http://copilot-language.github.io
Releases · Issues · Hacker News mentions