Alternatives and similar repositories for sealed-rust:

Users that are interested in sealed-rust are comparing it to the libraries listed below

• rust-embedded / embedonomicon
  How to bootstrap support for a no_std target
  ☆209Updated 10 months ago
• japaric / panic-never
  This crate guarantees that your application is free of panicking branches
  ☆176Updated 5 years ago
• blt / bughunt-rust
  QuickCheck bug hunting in Rust standard library data structures
  ☆162Updated 5 years ago
• mtak- / swym
  Efficient transactional memory in rust.
  ☆209Updated 3 years ago
• hobofan / cargo-nono
  Check your crate for (possible) no_std compatibility
  ☆212Updated last year
• japaric / ufmt
  a smaller, faster and panic-free alternative to core::fmt
  ☆354Updated last year
• alexcrichton / coz-rs
  Rust support for the coz Causal profiler, code now lives upstream -- https://github.com/plasma-umass/coz
  ☆217Updated 5 years ago
• nvzqz / static-assertions
  Ensure correct assumptions about constants, types, and more in Rust
  ☆603Updated last year
• tarcieri / micromath
  Embedded Rust arithmetic, 2D/3D vector, and statistics library
  ☆405Updated 5 months ago
• 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…
  ☆121Updated 11 months ago
• Technolution / rustig
  A tool to detect code paths leading to Rust's panic handler
  ☆215Updated 3 years ago
• fitzgen / state_machine_future
  Easily create type-safe `Future`s from state machines — without the boilerplate.
  ☆330Updated 5 years ago
• korken89 / smlang-rs
  A State Machine Language DSL procedual macro for Rust
  ☆207Updated 3 weeks ago
• knurling-rs / meta
  What's Knurling all about?
  ☆141Updated 3 years ago
• steveklabnik / doxidize
  Amazing documentation tooling for Rust
  ☆152Updated 6 years ago
• yaahc / displaydoc
  A derive macro for implementing the display Trait via a doc comment and string interpolation
  ☆330Updated 2 months ago
• probe-rs / cargo-flash
  a cargo extension for programming microcontrollers
  ☆248Updated 2 years ago
• withoutboats / fehler
  Rust doesn't have exceptions
  ☆631Updated 4 years ago
• magnet / metered-rs
  Fast, ergonomic metrics for Rust
  ☆340Updated 4 months ago
• absw / loadstone
  ☆183Updated 2 years ago
• slightlyoutofphase / staticvec
  Implements a fixed-capacity stack-allocated Vec alternative backed by an array, using const generics.
  ☆268Updated last year
• llogiq / momo
  A Rust proc_macro_attribute to outline conversions from generic functions
  ☆268Updated 8 months ago
• rust-embedded / rust-embedded.github.io
  A collection of books and other documents about embedded Rust
  ☆84Updated 9 months ago
• maciejhirsz / beef
  Faster, more compact implementation of std::Cow
  ☆342Updated last year
• Robbepop / modular-bitfield
  Macro to generate bitfields for structs that allow for modular use of enums.
  ☆180Updated 3 months ago
• rust-lang-nursery / wg-verification
  Verification working group
  ☆104Updated 6 years ago
• interact-rs / interact
  Online introspection for Rust
  ☆417Updated 2 years ago
• tnballo / scapegoat
  Safe, fallible, embedded-friendly ordered set/map via a scapegoat tree. Validated against BTreeSet/BTreeMap.
  ☆258Updated 3 years ago
• BurntSushi / cargo-benchcmp
  A small utility to compare Rust micro-benchmarks.
  ☆344Updated 5 months ago
• jethrogb / rust-reduce
  `rust-reduce` will try to make the source file smaller by interpreting it as valid Rust code and intelligently removing parts of the code…
  ☆98Updated 7 months ago