Are We Safety Critical Yet?
It depends 🤔, we have a few certified compilers, a few certification products in-progress and a few use cases.
Coding Guidelines
TODO: fill in the description
Tooling
Aims to define and maintain a minimal, community-identified set of tools suggested for certifying Rust in safety-critical applications. It maintains documentation on these tools and their development status, helping guide adoption and compliance efforts.
Liaison
TODO: fill in the description