Bringing Rust to the Safety Critical Domain
☆218Feb 13, 2020Updated 6 years ago
Alternatives and similar repositories for sealed-rust
Users that are interested in sealed-rust are comparing it to the libraries listed below
Sorting:
- Issues tracker for ideas, ongoing work, looking for mentors, mentors available. Join here!☆38Mar 15, 2021Updated 4 years ago
- Coordination repository of the embedded devices Working Group☆2,112Feb 24, 2026Updated last week
- A fuzzing library for rust hardware drivers☆27Nov 20, 2025Updated 3 months ago
- ☆92May 6, 2020Updated 5 years ago
- This crate guarantees that your application is free of panicking branches☆178May 23, 2019Updated 6 years ago
- Cortex-M Interrupt Move☆26Mar 2, 2020Updated 6 years ago
- Kari, an embeddable programming language, written in and for Rust☆29Jan 6, 2023Updated 3 years ago
- A modern Rust debugging library 🦀☆891May 15, 2022Updated 3 years ago
- Ferrous Systems Embedded Trainings☆118Aug 6, 2020Updated 5 years ago
- a cargo extension for programming microcontrollers☆248Jan 14, 2023Updated 3 years ago
- Awesome embedded projects by the Rust community!☆96Updated this week
- Rust doesn't have exceptions☆634Aug 17, 2020Updated 5 years ago
- A `#[safe]` attribute for explaining why `unsafe { ... }` is OK.☆81Jun 17, 2019Updated 6 years ago
- ☆14Dec 8, 2021Updated 4 years ago
- An IoT project focused on teaching embedded, rustlang, and IoT concepts through coding streams☆150Apr 1, 2020Updated 5 years ago
- Register access layer in Rust for all STM32 microcontrollers☆34Jul 10, 2022Updated 3 years ago
- A utility to split autogenerated rust files into human-workable projects with the correct _form_☆37May 7, 2025Updated 9 months ago
- The Rust Embedded WG Blog☆75Feb 11, 2026Updated 2 weeks ago
- This book has been moved to https://github.com/rust-embedded/embedonomicon☆22Sep 18, 2018Updated 7 years ago
- Fast json encoder in rust, that encodes the structure of JSON values in their types☆83Aug 30, 2022Updated 3 years ago
- Non-intrusive ITM tracing/replay toolset for RTIC programs with nanosecond timestamp accuracy.☆18Jul 22, 2023Updated 2 years ago
- Verification working group☆103Jan 15, 2019Updated 7 years ago
- Rust to F* toolchain☆43Apr 16, 2019Updated 6 years ago
- ☆142Jan 7, 2022Updated 4 years ago
- ☆34Mar 11, 2023Updated 2 years ago
- Abstractions for asynchronous programming on the STM32F1xx family of microcontrollers.☆24Oct 23, 2021Updated 4 years ago
- Breaking your Rust code for fun and profit☆639May 29, 2023Updated 2 years ago
- `rust-reduce` will try to make the source file smaller by interpreting it as valid Rust code and intelligently removing parts of the code…☆102Jul 10, 2024Updated last year
- Recommendations for secure applications development with Rust☆636Feb 17, 2026Updated 2 weeks ago
- An Embedded Storage Abstraction Layer☆84Dec 16, 2025Updated 2 months ago
- Minimal startup / runtime for Cortex-M microcontrollers☆362Jan 23, 2022Updated 4 years ago
- UNIC: Unicode and Internationalization Crates for Rust☆245Dec 16, 2025Updated 2 months ago
- Installer for various Rust reimaginations of coreutils. These are not drop-in replacements.☆94Jun 21, 2023Updated 2 years ago
- Modular, structure-aware, and feedback-driven fuzzing engine for Rust functions☆449Jan 22, 2026Updated last month
- ☆17Aug 20, 2022Updated 3 years ago
- Platform-agnostic Rust driver for the VEML6030 and VEML7700 high-accuracy ambient light sensors.☆10Jun 27, 2025Updated 8 months ago
- Defines the Rust borrow checker.☆1,582Jun 6, 2025Updated 8 months ago
- Source code of Ferrocene, safety-critical Rust toolchain☆1,588Updated this week
- Error management☆1,417May 2, 2020Updated 5 years ago