copilot
A stream-based runtime-verification framework for generating hard real-time C code.
AI summary
Runtime verification framework
A framework for generating hard real-time C code from simple specifications to ensure safety and correctness in embedded systems.
- stars
- 660
- forks
- 57
- watching
- 33
Similar projects
Found by comparing what the projects do, not just their names.
Stream compiler
A language and toolset for generating hard real-time C code from a domain-specific stream language
ccob/bof.net682
C runtime framework
A .NET runtime framework for developing and executing malicious C code in a managed environment.
Formal verification toolkit
A collection of formal verification tools and libraries for writing secure and reliable software using the Coq proof assistant
onqtam/rcrl413
C compiler engine
An interactive C++ compiler and runtime environment for rapid development and live coding
Testing framework
Convenient unit testing framework for the C programming language
Unit testing framework
A single-file cross-platform unit testing framework for C/C++ with a polished API and granular control.
Concurrency framework
A C++ concurrency implementation inspired by Golang's style
Test framework
A C++14 unit test framework providing a toolbox of features for writing and running tests
Verification framework
Provides reusable and modular VHDL verification components for creating testbenches and verifying digital circuits.
Test framework
A C++20 unit testing framework providing a toolbox of features for writing tests
Runtime modification tool
Enables developers to make and test changes to C++ code at runtime without requiring compilation.
Monoid library
A formalisation of Partial Commutative Monoids (PCMs) for verification of concurrent programs.
Hardware compiler framework
Builds hardware descriptions into executable code using an LLVM-style compiler framework.
Recursive language compiler
A compiler for a language that supports recursion and concatenative data structures with features like dependent types and partial evaluation
RISC-V core simulator
Functional verification project for RISC-V cores
