Copilot-Language/copilot

Generator of runtime monitors for flight and robotics applications.

An open-source collection of embedded development and debugging skills for Claude Code, Copilot, TRAE, and other AI coding assistants that support the Skill protocol. Once installed, the AI assistant can directly operate compilers, debuggers, and communication buses, automating the full workflow from code generation to hardware verification.

Source code for the book Real-Time C++, by Christopher Kormanyos

Forall (∀) is a coding harness from Astrio that helps developers build correct software by generating spec-driven code alongside machine-checkable proofs.

Real-Time Interrupt-driven Concurrency (RTIC) framework for ARM Cortex-M microcontrollers

The verifiable coding agent runtime. Define your coding agent's process in natural language with stages, checks, and approval gates instead of hoping it follows your instructions. Primitives for verifiable software factories.

Specula: An agentic tool for finding deep bugs in system code using TLA+

modm: a C++23 library generator for AVR and ARM Cortex-M devices

🟢 Super-fast, tiny C/C++ tracing with printf look-and-feel, even in interrupts ⚡, plus real-time PC logging 💻