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 11 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☆209Updated 10 months ago
- Abstractions common to microcontrollers☆119Updated 2 years ago
- Bringing Rust to the Safety Critical Domain☆219Updated 5 years ago
- Ferrocene Language Specification☆404Updated last week
- A CMSIS-SVD file parser☆74Updated this week
- Lightweight logging framework for resource constrained devices☆47Updated 5 years ago
- Low level access to Cortex-A processors☆121Updated 2 years ago
- Bootstrapping Embedded Development in Rust☆55Updated 5 years ago
- ☆123Updated 3 years ago
- ☆183Updated 2 years ago
- Yocto layer for installing Rust toolchain from pre-built binaries☆111Updated 2 weeks ago
- Issues tracker for ideas, ongoing work, looking for mentors, mentors available. Join here!☆39Updated 3 years ago
- ☆92Updated 4 years ago
- Ethernet bootloader for STM32 written in Rust☆117Updated 3 years ago
- A set of rust crates for making stack dumps and getting stack traces out of them☆76Updated last year
- Rust userland library for Tock☆172Updated last month
- A collection of items that are not yet awesome in Embedded Rust☆126Updated 9 months ago
- a cargo extension for programming microcontrollers☆248Updated 2 years ago
- A collection of books and other documents about embedded Rust☆84Updated 9 months ago
- The Rust Embedded WG Blog☆73Updated last year
- ☆66Updated last year
- Implementation of the `embedded-hal` traits for Linux devices☆249Updated 2 weeks ago
- Easier and safer interface between Rust, C, and other languages☆106Updated 8 months ago
- A State Machine Language DSL procedual macro for Rust☆207Updated 3 weeks ago
- What's Knurling all about?☆141Updated 3 years ago
- Adds zero-cost stack overflow protection to your embedded programs☆312Updated last month
- Awesome embedded projects by the Rust community!☆91Updated last year
- Mocks for testing embedded-hal based drivers without hardware access.☆124Updated this week
- Minimal and reusable non-blocking I/O layer☆92Updated last year
- 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