rustfoundation / safety-critical-rust-coding-guidelinesLinks
Coding Guidelines for Safety Critical Rust developed by the Safety Critical Rust Consortium.
☆20Updated this week
Alternatives and similar repositories for safety-critical-rust-coding-guidelines
Users that are interested in safety-critical-rust-coding-guidelines are comparing it to the libraries listed below
Sorting:
- Documentation, code and information for the Safety Critical Rust Consortium☆75Updated this week
- A set of rust crates for making stack dumps and getting stack traces out of them☆75Updated last year
- Library facilitating safe pinned initialization☆41Updated this week
- uProtocol Language Specific Library for Rust☆19Updated last week
- Compile Rust compiler using Buck2☆46Updated 3 weeks ago
- Experiments with safe DMA abstractions in Rust☆18Updated 4 years ago
- Rust DLT (Diagnostic Log and Trace) packet parser☆31Updated 11 months ago
- Like Rust's built-in assert_eq macro, but for token streams. Passes them through rustfmt, and shows a pretty diff☆14Updated last year
- A trait + derive to recursively compute / print the memory usage of a data structure.☆33Updated 3 months ago
- Verify that registry crates in your Cargo.lock are reproducible from the git repository☆42Updated last month
- Supplementary materials for RustConf 2023 talk on signal handling☆34Updated 9 months ago
- Integer types with customizable niche values☆46Updated 6 months ago
- Read trait fixed to soundly work with uninitalized memory☆25Updated last year
- A simple, single-future, non-blocking executor intended for building state machines. Designed to be no-std and embedded friendly.☆85Updated last year
- Discovering and describing Rust's design axioms☆72Updated last year
- ☆31Updated 11 months ago
- Rust wrapper for Eclipse iceoryx™ - true zero-copy inter-process-communication☆91Updated last year
- rust utility for temporarily changing directory☆15Updated 2 years ago
- Rust crate to get the IANA time zone for the current system☆41Updated last month
- A trait-based system for creating async Wakers. Because RawWakers are healthier after they've been cooked.☆21Updated 4 years ago
- Rust serialize/deserialize/access reflection for trees (no_std, no alloc)☆30Updated 2 weeks ago
- Making Hubris available to external applications.☆50Updated 4 months ago
- Type-erased core::Discriminant<T>☆38Updated 2 weeks ago
- Lock ordering enforcement at compile time in Rust☆17Updated 2 months ago
- ☆26Updated last year
- String formatting utilities that return impl Display and are 100% no_std compatible☆39Updated 4 years ago
- Reduce the visibility of elements in a Rust code base☆17Updated last year
- Umbrella repository for Krabcake experiments☆46Updated 3 months ago
- Backported standard Rust library to older compilers.☆22Updated 2 years ago
- Minimal float parser primitives with a focus on compile times.☆22Updated 2 years ago