rustfoundation / safety-critical-rust-coding-guidelinesLinks
Coding Guidelines for Safety Critical Rust developed by the Safety Critical Rust Consortium.
☆59Updated 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☆130Updated last week
- ☆90Updated 4 months ago
- An RPC layer for postcard based protocols☆197Updated 3 weeks ago
- Rust Protobuf library targetting embedded systems and no_std environments without an allocator☆116Updated 3 weeks ago
- A toolkit to create better Rust device drivers, faster☆269Updated this week
- The AeroRust Nanosat embedded workshop with 2 subsystems - Onboard computer and power system including some peripheral crates☆38Updated 10 months ago
- A test harness and runner for embedded devices☆158Updated 3 months ago
- A set of rust crates for making stack dumps and getting stack traces out of them☆78Updated 3 months ago
- cargo extension that can generate BitBake recipes utilizing the classes from meta-rust☆92Updated 3 weeks ago
- A crate for storing data in flash memory with minimal need for erasing pages☆161Updated 3 weeks ago
- Tiny Rust Async Linux Executor☆111Updated 9 months ago
- Mocks for testing embedded-hal based drivers without hardware access.☆141Updated 2 months ago
- Rust Board Support Package for the STM32F3DISCOVERY☆57Updated 3 years ago
- Rust macro to split up fields of a Peripherals struct into new structs☆52Updated 10 months ago
- A Mender (https://mender.io/) - client for Esp32 in Rust. Enabling Update AI model for the Edge☆66Updated 6 months ago
- Rust bindings for the nRF SoftDevice Controller☆44Updated 2 weeks ago
- ☆188Updated 2 months ago
- Ector is an open source async, no-alloc actor framework for embedded devices.☆63Updated 2 months ago
- Eloquence in Messaging☆138Updated 3 weeks ago
- A set of guidelines to avoid arguments over code-quality☆88Updated last month
- A framework for PLCs and real-time micro-services☆215Updated last week
- ☆41Updated 3 months ago
- High-performance asynchronous computation framework for system simulation☆262Updated this week
- async + no_std + no-alloc implementations of various network protocols☆206Updated last month
- Rust macro for generating flexible bitfields, useful for low-level code (embedded or emulators).☆53Updated last week
- Library and tools for managing ecosystem wide call graphs and llvm-ir analysis☆178Updated 9 months ago
- [Ru]st [W]ater [M]eter - my explorations into an embedded, async, real-world project☆54Updated last year
- Key-value store for embedded systems, for raw NOR flash, using an LSM-Tree.☆111Updated this week
- Implementation of the `embedded-hal` traits for Linux devices☆299Updated 3 months ago
- Example projects using Real-Time Interrupt-driven Concurrency (RTIC) on different MCUs☆142Updated last year