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.
☆124Updated last year
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☆211Updated last year
- Bringing Rust to the Safety Critical Domain☆218Updated 5 years ago
- Ferrocene Language Specification☆430Updated this week
- ☆66Updated last year
- R3-OS — Experimental static (μITRON-esque) RTOS kernel for deeply embedded systems, testing the limit of Rust's compile-time evaluation a…☆163Updated 2 years ago
- A CMSIS-SVD file parser☆75Updated last month
- Lightweight logging framework for resource constrained devices☆47Updated 5 years ago
- Bootstrapping Embedded Development in Rust☆55Updated 5 years ago
- Abstractions common to microcontrollers☆120Updated 2 years ago
- ☆92Updated 4 years ago
- Low level access to Cortex-A processors☆121Updated 2 years ago
- A collection of books and other documents about embedded Rust☆84Updated 11 months ago
- Rust userland library for Tock☆176Updated 3 months ago
- a cargo extension for programming microcontrollers☆248Updated 2 years ago
- Documentation, code and information for the Safety Critical Rust Consortium☆61Updated last week
- What's Knurling all about?☆141Updated 3 years ago
- The Rust Embedded WG Blog☆74Updated last year
- Yocto layer for installing Rust toolchain from pre-built binaries☆116Updated 2 weeks ago
- A Rust wrapper for FreeRTOS.☆237Updated 4 years ago
- ☆125Updated 4 years ago
- A set of rust crates for making stack dumps and getting stack traces out of them☆75Updated last year
- Ethernet bootloader for STM32 written in Rust☆117Updated 3 years ago
- Mocks for testing embedded-hal based drivers without hardware access.☆127Updated 2 months ago
- Initialization code ("crt0") written in Rust☆70Updated 3 years ago
- Tiny C library written in Rust☆56Updated 4 months ago
- Rust library providing access to spidev devices under Linux☆125Updated last month
- ☆183Updated 2 years ago
- Awesome embedded projects by the Rust community!☆92Updated 2 years ago
- Implementation of the `embedded-hal` traits for Linux devices☆259Updated 2 months ago
- Issues tracker for ideas, ongoing work, looking for mentors, mentors available. Join here!☆39Updated 4 years ago