ferrous-systems / sealed-rust
Bringing Rust to the Safety Critical Domain
☆219Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for sealed-rust
- How to bootstrap support for a no_std target☆208Updated 7 months ago
- This crate guarantees that your application is free of panicking branches☆177Updated 5 years ago
- What's Knurling all about?☆142Updated 3 years ago
- Rust support for the coz Causal profiler, code now lives upstream -- https://github.com/plasma-umass/coz☆217Updated 5 years ago
- QuickCheck bug hunting in Rust standard library data structures☆160Updated 5 years ago
- Check your crate for (possible) no_std compatibility☆210Updated last year
- Easily create type-safe `Future`s from state machines — without the boilerplate.☆326Updated 5 years ago
- Implements a fixed-capacity stack-allocated Vec alternative backed by an array, using const generics.☆267Updated last year
- A derive macro for implementing the display Trait via a doc comment and string interpolation☆330Updated 4 months ago
- Breaking your Rust code for fun and profit☆628Updated last year
- Embedded Rust arithmetic, 2D/3D vector, and statistics library☆400Updated 2 months 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…☆119Updated 8 months ago
- A State Machine Language DSL procedual macro for Rust☆204Updated 3 months ago
- a cargo extension for programming microcontrollers☆247Updated last year
- Ensure correct assumptions about constants, types, and more in Rust☆579Updated last year
- Ferrocene Language Specification☆400Updated this week
- Error handling project group☆265Updated 2 years ago
- Faster, more compact implementation of std::Cow☆338Updated last year
- ☆183Updated 2 years ago
- A collection of books and other documents about embedded Rust☆84Updated 6 months ago
- ☆92Updated 4 years ago
- Automatic checking for semantic versioning in library crates☆638Updated last year
- Unit `#[test]`ing for microcontrollers and other `no_std` systems☆125Updated 3 years ago
- Fast, ergonomic metrics for Rust☆338Updated last month
- a smaller, faster and panic-free alternative to core::fmt☆352Updated 9 months ago
- Minimal startup / runtime for Cortex-M microcontrollers☆356Updated 2 years ago
- Amazing documentation tooling for Rust☆151Updated 6 years ago
- Test your Rust Markdown documentation via Cargo☆289Updated 7 months ago
- Safe, fast, zero-panic, zero-crashing, zero-allocation parsing of untrusted inputs in Rust.☆198Updated last year
- Rust macro to generate self-referential structs☆211Updated 3 years ago