Safety Critical
Showing 11 of 11 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.
A command-line tool for generating runtime monitors for flight and robotics applications from formal specifications.
A programming language and verification toolset for engineering high-reliability, safety-critical, and secure applications.
C++ library providing safe numeric types that throw exceptions on arithmetic errors like overflow and underflow.
A toolset for formal specification and generation of verifiable binary parsers, message generators, and protocol state machines.
A high-precision, grid-based C++ library for ground segmentation in LiDAR point clouds, designed for safety-critical autonomous driving and robotics.
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.