Safety Critical
Showing 6 of 6 projects
An open-source operating system that upgrades driver assistance systems in 300+ supported cars.
A Python API and CAN database for controlling and reading data from modern cars with ADAS interfaces.
A bit-precise model checker for verifying safety and correctness properties in Rust code.
A tool for statically verifying the correctness of Rust code using formal specifications and automated solvers.
An efficient and lightweight WebAssembly interpreter designed for embedded and constrained systems.
A curated list of resources about programming practices for writing safety-critical software.
Related Tags
Found a gem we're missing?
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.