Copilot-Language/copilot
A stream-based runtime-verification framework for generating hard real-time C code.
Specifications are written in Haskell using a high-level stream DSL, then compiled to constant-time, constant-memory C99 monitors suitable for embedded systems. The framework includes theorem-proving extensions for formal verification of monitor properties, and supports both interpretation for testing and code generation workflows. Integration points include NASA's Ogma tool, Arduino, and Zephyr RTOS platforms.
811 stars. Actively maintained with 32 commits in the last 30 days.
Stars
811
Forks
76
Language
Haskell
License
—
Category
Last pushed
Mar 08, 2026
Commits (30d)
32
Get this data via API
curl "https://pt-edge.onrender.com/api/v1/quality/ai-coding/Copilot-Language/copilot"
Open to everyone — 100 requests/day, no key needed. Get a free key for 1,000/day.
Related tools
FidelusAleksander/ghcertified
Prepare for GitHub Certification exams!
microsoft/Mastering-GitHub-Copilot-for-Paired-Programming
A multi-module course teaching everything you need to know about using GitHub Copilot as an AI...
skills/getting-started-with-github-copilot
Learn, build, debug, and ship faster than ever with your favorite AI pair programmer.
microsoft/mastering-github-copilot-for-dotnet-csharp-developers
Master GitHub Copilot for C#/.NET development via this curriculum! Learn AI-driven paired...
skills/build-applications-w-copilot-agent-mode
GitHub Copilot: The agent awakens - Building applications with GitHub Copilot Agent Mode