← All repos

Copilot-Language/copilot

View on GitHub ↗ ★ 840 Haskell

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

6 mentions on Hacker News by 6 people: 1 story, 5 comments · first 2022-08-27 · latest 2025-11-09