Copilot-Language / copilot

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

nasa / ogma

Generator of runtime monitors for flight and robotics applications.

zqc3117 / Spotter

Official codebase for Spotter: Let the Embodied Model Lead, and the VLM Reflect for It