ferrous-systems / sealed-rustLinks
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
Sorting:
- This crate guarantees that your application is free of panicking branches☆178Updated 6 years ago
- How to bootstrap support for a no_std target☆216Updated this week
- QuickCheck bug hunting in Rust standard library data structures☆162Updated 6 years ago
- Rust support for the coz Causal profiler, code now lives upstream -- https://github.com/plasma-umass/coz☆217Updated 6 years ago
- Unit `#[test]`ing for microcontrollers and other `no_std` systems☆125Updated 4 years ago
- Check your crate for (possible) no_std compatibility☆213Updated 2 years ago
- Easily create type-safe `Future`s from state machines — without the boilerplate.☆333Updated 6 years ago
- What's Knurling all about?☆141Updated 4 years ago
- a smaller, faster and panic-free alternative to core::fmt☆373Updated last year
- ☆182Updated 3 years ago
- A tool to detect code paths leading to Rust's panic handler☆217Updated 4 years ago
- Implements a fixed-capacity stack-allocated Vec alternative backed by an array, using const generics.☆266Updated 2 years ago
- A derive macro for implementing the display Trait via a doc comment and string interpolation☆345Updated 9 months ago
- Ferrous Systems Embedded Trainings☆117Updated 5 years ago
- Efficient transactional memory in rust.☆210Updated 4 years ago
- Rust macro to generate self-referential structs☆210Updated 4 years ago
- Execute your code on the Rust ecosystem.☆184Updated last month
- A compiler plugin to insert flame calls☆386Updated 2 years ago
- ☆78Updated 4 years ago
- [deprecated] Avoid memcpy calls when working with standard containers☆279Updated 3 years ago
- a cargo extension for programming microcontrollers☆249Updated 2 years ago
- Amazing documentation tooling for Rust☆153Updated 7 years ago
- tracking performance of rustc-generated binaries over time☆102Updated 2 years ago
- Lightweight logging framework for resource constrained devices☆47Updated 5 years ago
- Fast, ergonomic metrics for Rust☆341Updated 11 months ago
- A State Machine Language DSL procedual macro for Rust☆227Updated 8 months ago
- Test your Rust Markdown documentation via Cargo☆298Updated last year
- Extremely generic linear algebra libary for Rust☆228Updated 11 months ago
- Compile-time dimensional analysis for various unit systems using Rust's type system.☆311Updated 2 years ago
- Rust option parser with custom derive support☆234Updated 10 months ago