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.
☆127Updated last year
Alternatives and similar repositories for misra-rust
Users that are interested in misra-rust are comparing it to the libraries listed below
Sorting:
- How to bootstrap support for a no_std target☆212Updated last year
- Documentation, code and information for the Safety Critical Rust Consortium☆71Updated this week
- Bringing Rust to the Safety Critical Domain☆218Updated 5 years ago
- What's Knurling all about?☆141Updated 3 years ago
- Abstractions common to microcontrollers☆120Updated 2 years ago
- The FLS☆434Updated this week
- Mocks for testing embedded-hal based drivers without hardware access.☆127Updated 3 weeks ago
- Rust userland library for Tock☆177Updated 4 months ago
- a cargo extension for programming microcontrollers☆248Updated 2 years ago
- Implementation of the `embedded-hal` traits for Linux devices☆261Updated 3 months ago
- ☆66Updated last year
- Yocto layer for installing Rust toolchain from pre-built binaries☆116Updated last month
- Lightweight logging framework for resource constrained devices☆47Updated 5 years ago
- Ethernet bootloader for STM32 written in Rust☆117Updated 3 years ago
- A CMSIS-SVD file parser☆77Updated last month
- ☆125Updated 4 years ago
- A collection of books and other documents about embedded Rust☆84Updated last year
- Low level access to Cortex-A processors☆120Updated 2 years ago
- Ferrous Systems Embedded Trainings☆118Updated 4 years ago
- R3-OS — Experimental static (μITRON-esque) RTOS kernel for deeply embedded systems, testing the limit of Rust's compile-time evaluation a…☆165Updated 2 years ago
- A set of rust crates for making stack dumps and getting stack traces out of them☆75Updated last year
- A Rust wrapper for FreeRTOS.☆237Updated 4 years ago
- A book capturing different approaches or patterns for solving problems in Embedded Rust☆15Updated 6 years ago
- ☆183Updated 2 years ago
- ☆92Updated 5 years ago
- Bootstrapping Embedded Development in Rust☆55Updated 5 years ago
- Rust library providing access to spidev devices under Linux☆127Updated 2 months ago
- An Embedded Network Abstraction Layer☆186Updated 7 months ago
- A collection of items that are not yet awesome in Embedded Rust☆134Updated last year
- a cargo extension for working with microcontrollers☆289Updated 2 years ago