rustfoundation / safety-critical-rust-consortiumLinks
Documentation, code and information for the Safety Critical Rust Consortium
☆75Updated this week
Alternatives and similar repositories for safety-critical-rust-consortium
Users that are interested in safety-critical-rust-consortium are comparing it to the libraries listed below
Sorting:
- A toolkit to create better Rust device drivers, faster☆193Updated this week
- Coding Guidelines for Safety Critical Rust developed by the Safety Critical Rust Consortium.☆19Updated last week
- Library facilitating safe pinned initialization☆41Updated this week
- A test harness and runner for embedded devices☆115Updated last month
- ☆33Updated 3 months ago
- An RPC layer for postcard based protocols☆157Updated 3 weeks ago
- A set of rust crates for making stack dumps and getting stack traces out of them☆75Updated last year
- Rust userland library for Tock☆177Updated 5 months ago
- ☆45Updated 8 months ago
- Statically allocated, runtime initialized cell.☆49Updated 2 months ago
- ☆125Updated 4 years ago
- Lints for kernel or embedded system development.☆108Updated last week
- Rust Board Support Package for the STM32F3DISCOVERY☆53Updated 2 years ago
- Rust microbenchmarking harness based on paired-testing methodology☆118Updated 2 weeks ago
- Mocks for testing embedded-hal based drivers without hardware access.☆129Updated last month
- Code coverage support for Rust `no_std` and embedded programs☆57Updated 6 months ago
- Rust crate for bitfields and bit-enums☆59Updated 2 months ago
- An investigation into what adhering to each MISRA-C rule looks like in Rust. The intention is to decipher how much we "get for free" from…☆127Updated last year
- Library and tools for managing ecosystem wide call graphs and llvm-ir analysis☆170Updated 3 weeks ago
- Time(ing) library (Instant/Duration/Clock/Timer/Period/Frequency) for bare-metal embedded systems☆94Updated 3 years ago
- Tiny Rust Async Linux Executor☆102Updated last month
- An Embedded Network Abstraction Layer☆187Updated 8 months ago
- Pluggable critical section☆138Updated 5 months ago
- An attribute to create an atomic wrapper around a C-style enum☆43Updated 11 months ago
- Linux SocketCAN access in Rust☆166Updated 3 weeks ago
- The AeroRust Nanosat embedded workshop with 2 subsystems - Onboard computer and power system including some peripheral crates☆32Updated 2 months ago
- A heap allocator for embedded systems☆386Updated 3 months ago
- A framework for writing plugins that integrate with the Rust compiler☆151Updated last month
- ☆36Updated last week
- Cargo subcommand for viewing LLVM optimization remarks.☆176Updated last year