rustfoundation / safety-critical-rust-consortiumLinks
Documentation, code and information for the Safety Critical Rust Consortium
☆95Updated last 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☆225Updated this week
- An RPC layer for postcard based protocols☆179Updated 2 weeks ago
- A test harness and runner for embedded devices☆134Updated 2 weeks ago
- A set of rust crates for making stack dumps and getting stack traces out of them☆76Updated last month
- Library and tools for managing ecosystem wide call graphs and llvm-ir analysis☆174Updated 4 months ago
- Mocks for testing embedded-hal based drivers without hardware access.☆135Updated 3 weeks ago
- Ariel OS is a library operating system for secure, memory-safe, low-power Internet of Things, written in Rust☆540Updated this week
- Rust crate for bitfields and bit-enums☆72Updated this week
- Rust Protobuf library targetting embedded systems and no_std environments without an allocator☆91Updated 3 months ago
- A crate for storing data in flash memory with minimal need for erasing pages☆153Updated 3 weeks ago
- A heap allocator for embedded systems☆406Updated 2 weeks ago
- Eloquence in Messaging☆87Updated this week
- High-performance asynchronous computation framework for system simulation☆239Updated last week
- The FLS☆459Updated this week
- Statically allocated, runtime initialized cell.☆51Updated 3 weeks ago
- Implementation of the Precision Time Protocol (PTP) in Rust☆258Updated last week
- Target side implementation of the RTT (Real-Time Transfer) I/O protocol☆147Updated 6 months ago
- Adds zero-cost stack overflow protection to your embedded programs☆363Updated this week
- Rust userland library for Tock☆185Updated this week
- Example projects using Real-Time Interrupt-driven Concurrency (RTIC) on different MCUs☆142Updated last year
- Implementation of the `embedded-hal` traits for Linux devices☆275Updated 7 months ago
- How to bootstrap support for a no_std target☆214Updated last month
- Rust microbenchmarking harness based on paired-testing methodology☆139Updated 3 weeks ago
- Tiny Rust Async Linux Executor☆104Updated 4 months ago
- Key-value store for embedded systems, for raw NOR flash, using an LSM-Tree.☆104Updated last month
- 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…☆133Updated last year
- Generate Rust structs for messages from a dbc (CAN bus definition) file.☆62Updated 9 months ago
- A State Machine Language DSL procedual macro for Rust☆225Updated 7 months ago
- Time(ing) library (Instant/Duration/Clock/Timer/Period/Frequency) for bare-metal embedded systems☆94Updated 3 years ago
- Low level access to Cortex-R and Cortex-A processors☆34Updated last week