PolySync / misra-rust
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 the Rust compiler.
☆121Updated 9 months ago
Alternatives and similar repositories for misra-rust:
Users that are interested in misra-rust are comparing it to the libraries listed below
- How to bootstrap support for a no_std target☆208Updated 9 months ago
- ☆66Updated 10 months ago
- a cargo extension for programming microcontrollers☆248Updated 2 years ago
- Documentation, code and information for the Safety Critical Rust Consortium☆28Updated this week
- Ferrocene Language Specification☆402Updated this week
- A collection of books and other documents about embedded Rust☆84Updated 8 months ago
- Issues tracker for ideas, ongoing work, looking for mentors, mentors available. Join here!☆39Updated 3 years ago
- What's Knurling all about?☆142Updated 3 years ago
- ☆92Updated 4 years ago
- Bringing Rust to the Safety Critical Domain☆219Updated 4 years ago
- ☆123Updated 3 years ago
- ☆183Updated 2 years ago
- Low level access to Cortex-A processors☆121Updated 2 years ago
- Mocks for testing embedded-hal based drivers without hardware access.☆124Updated 4 months ago
- The Rust Embedded WG Blog☆73Updated last year
- Lightweight logging framework for resource constrained devices☆47Updated 5 years ago
- Rust userland library for Tock☆169Updated 2 weeks ago
- Abstractions common to microcontrollers☆119Updated 2 years ago
- Time(ing) library (Instant/Duration/Clock/Timer/Period/Frequency) for bare-metal embedded systems☆92Updated 3 years ago
- Madgwick's orientation filter☆39Updated 5 years ago
- Awesome embedded projects by the Rust community!☆91Updated last year
- a cargo extension for working with microcontrollers☆289Updated 2 years ago
- A State Machine Language DSL procedual macro for Rust☆206Updated 5 months ago
- A collection of items that are not yet awesome in Embedded Rust☆125Updated 8 months ago
- R3-OS — Experimental static (μITRON-esque) RTOS kernel for deeply embedded systems, testing the limit of Rust's compile-time evaluation a…☆162Updated last year
- ☆248Updated last year
- A CMSIS-SVD file parser☆72Updated last week
- Implementation of the `embedded-hal` traits for Linux devices☆246Updated 11 months ago
- Minimal startup / runtime for Cortex-M microcontrollers☆358Updated 2 years ago
- Bootstrapping Embedded Development in Rust☆55Updated 5 years ago