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☆212Updated last year
- What's Knurling all about?☆141Updated 3 years ago
- This crate guarantees that your application is free of panicking branches☆177Updated 5 years ago
- Easily create type-safe `Future`s from state machines — without the boilerplate.☆332Updated 5 years ago
- QuickCheck bug hunting in Rust standard library data structures☆162Updated 6 years ago
- Embedded Rust arithmetic, 2D/3D vector, and statistics library☆419Updated 8 months ago
- a smaller, faster and panic-free alternative to core::fmt☆368Updated last year
- 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
- Check your crate for (possible) no_std compatibility☆213Updated 2 years ago
- Efficient transactional memory in rust.☆210Updated 3 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…☆126Updated last year
- a (WIP) Rust frontend for gcc / a gcc backend for rustc☆204Updated 3 years ago
- A derive macro for implementing the display Trait via a doc comment and string interpolation☆335Updated 4 months ago
- The FLS☆434Updated last week
- Error handling project group☆263Updated 3 years ago
- Unit `#[test]`ing for microcontrollers and other `no_std` systems☆125Updated 4 years ago
- A State Machine Language DSL procedual macro for Rust☆212Updated 3 months ago
- Amazing documentation tooling for Rust☆152Updated 6 years ago
- A tool to detect code paths leading to Rust's panic handler☆215Updated 3 years ago
- Ensure correct assumptions about constants, types, and more in Rust☆616Updated last year
- Test your Rust Markdown documentation via Cargo☆292Updated last year
- Rust doesn't have exceptions☆632Updated 4 years ago
- Minimal startup / runtime for Cortex-M microcontrollers☆358Updated 3 years ago
- Breaking your Rust code for fun and profit☆632Updated last year
- Automatically cross-compiles the sysroot crates core, compiler_builtins, and alloc.☆262Updated 2 years ago
- Rust macro to generate self-referential structs☆210Updated 4 years ago
- Safe, fallible, embedded-friendly ordered set/map via a scapegoat tree. Validated against BTreeSet/BTreeMap.☆260Updated 3 years ago
- ☆92Updated 5 years ago
- ☆255Updated last year