rustfoundation / safety-critical-rust-consortiumLinks
Documentation, code and information for the Safety Critical Rust Consortium
☆115Updated 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:
- Coding Guidelines for Safety Critical Rust developed by the Safety Critical Rust Consortium.☆34Updated this week
- A toolkit to create better Rust device drivers, faster☆253Updated this week
- An RPC layer for postcard based protocols☆189Updated this week
- The FLS☆470Updated this week
- A test harness and runner for embedded devices☆151Updated last month
- A set of rust crates for making stack dumps and getting stack traces out of them☆77Updated last month
- Library and tools for managing ecosystem wide call graphs and llvm-ir analysis☆175Updated 7 months ago
- High-performance asynchronous computation framework for system simulation☆255Updated this week
- Mocks for testing embedded-hal based drivers without hardware access.☆141Updated 2 weeks ago
- How to bootstrap support for a no_std target☆224Updated last month
- A heap allocator for embedded systems☆429Updated last week
- Generate Rust structs for messages from a dbc (CAN bus definition) file.☆65Updated last week
- Target side implementation of the RTT (Real-Time Transfer) I/O protocol☆166Updated last month
- Rust userland library for Tock☆191Updated last month
- Low level access to ARM Aarch32 (Cortex-R and Cortex-A) processors☆42Updated last week
- async + no_std + no-alloc implementations of various network protocols☆196Updated 2 weeks ago
- Example projects using Real-Time Interrupt-driven Concurrency (RTIC) on different MCUs☆142Updated last year
- Ariel OS is a library operating system for secure, memory-safe, low-power Internet of Things, written in Rust☆621Updated this week
- Learning materials for the Rust Training courses by Ferrous Systems☆293Updated last week
- Implementation of the `embedded-hal` traits for Linux devices☆290Updated 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…☆132Updated last year
- A crate for storing data in flash memory with minimal need for erasing pages☆155Updated last week
- Linux SocketCAN access in Rust☆188Updated 6 months ago
- A State Machine Language DSL procedual macro for Rust☆234Updated 10 months ago
- Adds zero-cost stack overflow protection to your embedded programs☆384Updated last week
- Rust Protobuf library targetting embedded systems and no_std environments without an allocator☆110Updated 3 weeks ago
- Manuels Anforderungs-Tracing☆30Updated 2 weeks ago
- An Embedded Network Abstraction Layer☆196Updated 2 months ago
- rustBoot is a standalone bootloader written entirely in `Rust`, designed to run on anything from a microcontroller to a system on chip. I…☆284Updated last year
- A framework for PLCs and real-time micro-services☆204Updated 5 months ago