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.
☆119Updated 8 months ago
Related projects ⓘ
Alternatives and complementary repositories for misra-rust
- How to bootstrap support for a no_std target☆208Updated 7 months ago
- ☆92Updated 4 years ago
- What's Knurling all about?☆142Updated 3 years ago
- Bringing Rust to the Safety Critical Domain☆219Updated 4 years ago
- A toolkit to create better Rust device drivers, faster☆126Updated this week
- a cargo extension for programming microcontrollers☆247Updated last year
- ☆183Updated 2 years ago
- Mocks for testing embedded-hal based drivers without hardware access.☆121Updated 2 months ago
- Lightweight logging framework for resource constrained devices☆45Updated 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…☆160Updated last year
- Awesome embedded projects by the Rust community!☆91Updated last year
- Ethernet bootloader for STM32 written in Rust☆113Updated 2 years ago
- Bootstrapping Embedded Development in Rust☆54Updated 4 years ago
- A set of rust crates for making stack dumps and getting stack traces out of them☆74Updated last year
- The Rust Embedded WG Blog☆72Updated 10 months ago
- ☆62Updated 9 months ago
- Implementation of the `embedded-hal` traits for Linux devices☆238Updated 9 months ago
- Work-in progress minimal CDC-ACM (USB serial port) class for usb-device☆118Updated 7 months ago
- ☆123Updated 3 years ago
- Firmware for the volume control hardware, targeting an STM32F4 board☆74Updated 7 months ago
- A collection of items that are not yet awesome in Embedded Rust☆123Updated 6 months ago
- Rust userland library for Tock☆168Updated last week
- A (micro) framework for building bare-metal AMP (Asymmetric Multi-Processing) applications☆57Updated 3 years ago
- Ferrocene Language Specification☆400Updated this week
- Ferrous Systems Embedded Trainings☆114Updated 4 years ago
- An IoT project focused on teaching embedded, rustlang, and IoT concepts through coding streams☆150Updated 4 years ago
- Adds zero-cost stack overflow protection to your embedded programs☆284Updated 3 weeks ago
- Time(ing) library (Instant/Duration/Clock/Timer/Period/Frequency) for bare-metal embedded systems☆91Updated 3 years ago
- Yocto layer for installing Rust toolchain from pre-built binaries☆109Updated last month
- Easier and safer interface between Rust, C, and other languages☆106Updated 5 months ago