ferrous-systems / sealed-rust

Related projects: ⓘ

• rust-embedded / embedonomicon
  How to bootstrap support for a no_std target
  ☆206Updated 5 months ago
• knurling-rs / meta
  What's Knurling all about?
  ☆143Updated 3 years ago
• blt / bughunt-rust
  QuickCheck bug hunting in Rust standard library data structures
  ☆160Updated 5 years ago
• alexcrichton / coz-rs
  Rust support for the coz Causal profiler, code now lives upstream -- https://github.com/plasma-umass/coz
  ☆215Updated 4 years ago
• fitzgen / state_machine_future
  Easily create type-safe `Future`s from state machines — without the boilerplate.
  ☆324Updated 5 years 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…
  ☆117Updated 6 months ago
• absw / loadstone
  ☆184Updated 2 years ago
• japaric / utest
  Unit `#[test]`ing for microcontrollers and other `no_std` systems
  ☆125Updated 3 years ago
• ferrocene / specification
  Ferrocene Language Specification
  ☆400Updated last week
• japaric / panic-never
  This crate guarantees that your application is free of panicking branches
  ☆176Updated 5 years ago
• nvzqz / static-assertions
  Ensure correct assumptions about constants, types, and more in Rust
  ☆571Updated 10 months ago
• probe-rs / cargo-flash
  a cargo extension for programming microcontrollers
  ☆249Updated last year
• steveklabnik / doxidize
  Amazing documentation tooling for Rust
  ☆151Updated 6 years ago
• magnet / metered-rs
  Fast, ergonomic metrics for Rust
  ☆335Updated 8 months ago
• dtolnay / semver-trick
  How to avoid complicated coordinated upgrades
  ☆427Updated 5 months ago
• yaahc / displaydoc
  A derive macro for implementing the display Trait via a doc comment and string interpolation
  ☆326Updated 2 months ago
• tarcieri / micromath
  Embedded Rust arithmetic, 2D/3D vector, and statistics library
  ☆399Updated last week
• withoutboats / fehler
  Rust doesn't have exceptions
  ☆627Updated 4 years ago
• japaric / ufmt
  a smaller, faster and panic-free alternative to core::fmt
  ☆347Updated 7 months ago
• ferrous-systems / async-on-embedded
  ☆92Updated 4 years ago
• rust-embedded / cortex-m-rt
  Minimal startup / runtime for Cortex-M microcontrollers
  ☆357Updated 2 years ago
• maciejhirsz / beef
  Faster, more compact implementation of std::Cow
  ☆332Updated last year
• ferrous-systems / embedded-trainings-2020
  ☆246Updated last year
• mtak- / swym
  Efficient transactional memory in rust.
  ☆209Updated 3 years ago
• jpernst / rental
  Rust macro to generate self-referential structs
  ☆211Updated 3 years ago
• hobofan / cargo-nono
  Check your crate for (possible) no_std compatibility
  ☆209Updated last year
• loiclec / fuzzcheck-rs
  Modular, structure-aware, and feedback-driven fuzzing engine for Rust functions
  ☆432Updated last month
• edef1c / libfringe
  a Rust library implementing safe, lightweight context switches, without relying on kernel services
  ☆507Updated 3 years ago
• rust-secure-code / safety-dance
  Auditing crates for unsafe code which can be safely replaced
  ☆534Updated 2 years ago
• rustic-games / sm
  🚀 SM – a static State Machine library
  ☆193Updated 3 years ago