rustfoundation / safety-critical-rust-consortium
Documentation, code and information for the Safety Critical Rust Consortium
☆28Updated 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
- A toolkit to create better Rust device drivers, faster☆154Updated 2 weeks 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…☆121Updated 9 months ago
- A set of rust crates for making stack dumps and getting stack traces out of them☆76Updated last year
- Macro to generate bitfields for structs that allow for modular use of enums.☆170Updated 2 months ago
- Ferrocene Language Specification☆402Updated this week
- ☆183Updated 2 years ago
- Rust support for seL4 userspace☆125Updated last month
- A dynamic binary tracing tool☆66Updated 2 years ago
- `fugit` provides a comprehensive library of `Duration` and `Instant` for the handling of time in embedded systems, doing all it can at co…☆56Updated 7 months ago
- Generate Rust structs for messages from a dbc (CAN bus definition) file.☆52Updated last month
- ☆41Updated last year
- Lints for kernel or embedded system development.☆100Updated last week
- Project group working on the "safe transmute" feature☆87Updated 4 months ago
- An RPC layer for postcard based protocols☆122Updated this week
- Cargo subcommand for viewing LLVM optimization remarks.☆172Updated 8 months ago
- An experimental linting interface for Rust. Let's make custom lints a reality☆146Updated last year
- High-performance asynchronous computation framework for system simulation☆188Updated this week
- a cargo extension for programming microcontrollers☆248Updated 2 years ago
- What if we could check declarative macros before using them?☆48Updated 2 months ago
- Adds zero-cost stack overflow protection to your embedded programs☆303Updated last week
- Use bitsized types as if they were a feature of rust.☆176Updated 8 months ago
- ☆123Updated 3 years ago
- A test harness and runner for embedded devices☆70Updated last week
- An Embedded Storage Abstraction Layer☆70Updated last month
- Mocks for testing embedded-hal based drivers without hardware access.☆124Updated 4 months ago
- How to bootstrap support for a no_std target☆208Updated 9 months ago
- ☆66Updated 10 months ago
- Time(ing) library (Instant/Duration/Clock/Timer/Period/Frequency) for bare-metal embedded systems☆92Updated 3 years ago
- Experimenting with Rust's fundamental data model☆50Updated 3 months ago
- Ariel OS is a library operating system for secure, memory-safe, low-power Internet of Things, written in Rust☆75Updated this week