rustfoundation / safety-critical-rust-consortiumLinks
Documentation, code and information for the Safety Critical Rust Consortium
☆117Updated 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:
- An RPC layer for postcard based protocols☆190Updated 3 weeks ago
- A toolkit to create better Rust device drivers, faster☆255Updated this week
- Coding Guidelines for Safety Critical Rust developed by the Safety Critical Rust Consortium.☆39Updated this week
- A test harness and runner for embedded devices☆155Updated last month
- A set of rust crates for making stack dumps and getting stack traces out of them☆78Updated 2 months ago
- Rust userland library for Tock☆191Updated 2 months ago
- A heap allocator for embedded systems☆431Updated last month
- A crate for storing data in flash memory with minimal need for erasing pages☆157Updated last week
- High-performance asynchronous computation framework for system simulation☆256Updated last week
- The FLS☆470Updated this week
- Generate Rust structs for messages from a dbc (CAN bus definition) file.☆66Updated 2 weeks ago
- Library and tools for managing ecosystem wide call graphs and llvm-ir analysis☆178Updated 7 months ago
- Rust Protobuf library targetting embedded systems and no_std environments without an allocator☆111Updated this week
- Mocks for testing embedded-hal based drivers without hardware access.☆141Updated last month
- Linux SocketCAN access in Rust☆188Updated 2 weeks ago
- Target side implementation of the RTT (Real-Time Transfer) I/O protocol☆168Updated last month
- A framework for PLCs and real-time micro-services☆209Updated this week
- An async no_std HTTP server suitable for bare-metal environments, heavily inspired by axum☆338Updated last month
- A Rust crate that provides hard-to-misuse rigid body transforms (aka "spatial math") for engineers with other things to worry about than …☆427Updated last month
- Rust Board Support Package for the STM32F3DISCOVERY☆56Updated 3 years ago
- Implementation of the `embedded-hal` traits for Linux devices☆293Updated last month
- Adds zero-cost stack overflow protection to your embedded programs☆385Updated last week
- Example projects using Real-Time Interrupt-driven Concurrency (RTIC) on different MCUs☆142Updated last year
- ☆58Updated last year
- An Embedded Network Abstraction Layer☆197Updated 2 months ago
- Implementation of the Precision Time Protocol (PTP) in Rust☆271Updated this week
- Rust wrapper for Eclipse iceoryx™ - true zero-copy inter-process-communication☆91Updated last year
- 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
- Key-value store for embedded systems, for raw NOR flash, using an LSM-Tree.☆106Updated last week
- Eloquence in Messaging☆136Updated last week