Copilot-Language/copilot

copilot

✅ Recently maintained

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

839Stars
82Forks
+17-day stars

Haskell · License unverified · Last push 2026-10-18

Official repository & installation ↗
runtime-verificationrvembedded-systemschaskellstreamcopilotrequirementsrequirements-engineeringruntime-monitoring

Star history

2025-09-292026-11-01
View historical data
DateStars
2026-10-03834
2026-10-04834
2026-10-05834
2026-10-06834
2026-10-07834
2026-10-08834
2026-10-09834
2026-10-10834
2026-10-11834
2026-10-12834
2026-10-13834
2026-10-14836
2026-10-15836
2026-10-16836
2026-10-17837
2026-10-18837
2026-10-19837
2026-10-20837
2026-10-21837
2026-10-22837
2026-10-23837
2026-10-24837
2026-10-25837
2026-10-26839
2026-10-27839
2026-10-28839
2026-10-29839
2026-10-30839
2026-10-31839
2026-11-01839

Get the project

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

Related projects & alternative candidates

Related domains do not imply feature parity. Review official documentation and licenses.

postgrest

REST API for any Postgres database

★ 27,739lvgl

LVGL is a free, full-featured embedded UI library for devices from small MCUs to 3D-capable MPUs, enhanced by LVGL Pro, a professional editor and tooling.

★ 25,072goaccess

GoAccess is a real-time web log analyzer and interactive viewer that runs in a terminal in *nix systems or through your browser.

★ 21,109