ferrous-systems / sealed-rust
Bringing Rust to the Safety Critical Domain
☆218Updated 5 years ago
Alternatives and similar repositories for sealed-rust:
Users that are interested in sealed-rust are comparing it to the libraries listed below
- How to bootstrap support for a no_std target☆210Updated last year
- This crate guarantees that your application is free of panicking branches☆176Updated 5 years ago
- QuickCheck bug hunting in Rust standard library data structures☆162Updated 6 years ago
- What's Knurling all about?☆141Updated 3 years ago
- Rust support for the coz Causal profiler, code now lives upstream -- https://github.com/plasma-umass/coz☆218Updated 5 years ago
- a cargo extension for programming microcontrollers☆248Updated 2 years ago
- 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…☆123Updated last year
- Implements a fixed-capacity stack-allocated Vec alternative backed by an array, using const generics.☆268Updated last year
- Unit `#[test]`ing for microcontrollers and other `no_std` systems☆125Updated 3 years ago
- Embedded Rust arithmetic, 2D/3D vector, and statistics library☆406Updated 6 months ago
- Easily create type-safe `Future`s from state machines — without the boilerplate.☆330Updated 5 years ago
- Faster, more compact implementation of std::Cow☆346Updated last year
- Check your crate for (possible) no_std compatibility☆212Updated last year
- ☆183Updated 2 years ago
- Amazing documentation tooling for Rust☆152Updated 6 years ago
- ☆91Updated 4 years ago
- Breaking your Rust code for fun and profit☆631Updated last year
- Minimal startup / runtime for Cortex-M microcontrollers☆358Updated 3 years ago
- A derive macro for implementing the display Trait via a doc comment and string interpolation☆331Updated 3 months ago
- Rust macro to generate self-referential structs☆210Updated 3 years ago
- A rustc plugin to check for numerical instability☆174Updated 8 years ago
- Test your Rust Markdown documentation via Cargo☆290Updated last year
- A point of coordination for all things Rust and Async☆224Updated 5 years ago
- [deprecated] Avoid memcpy calls when working with standard containers☆277Updated 2 years ago
- A State Machine Language DSL procedual macro for Rust☆209Updated last month
- A collection of books and other documents about embedded Rust☆84Updated 10 months ago
- Type-safe transmutations between layout-compatible types.☆122Updated 4 years ago
- Execute your code on the Rust ecosystem.☆184Updated last week
- Fast, ergonomic metrics for Rust☆340Updated 5 months ago
- Ferrocene Language Specification☆404Updated last month