Copilot-Language/copilot

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

Coding agents & assistantsHaskell 83created 2015-06-09

Website GitHub

Stars

840

1-day growth

—

7-day growth

—

30-day growth

—

Star history

Tracked since 2026-11-13

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

Top contributors

Not collected yet (contributors job).