Alternatives and similar repositories for safety-critical-rust-coding-guidelines

Users that are interested in safety-critical-rust-coding-guidelines are comparing it to the libraries listed below

• rustfoundation / safety-critical-rust-consortium
  Documentation, code and information for the Safety Critical Rust Consortium
  ☆78Updated last week
• tweedegolf / stackdump
  A set of rust crates for making stack dumps and getting stack traces out of them
  ☆75Updated last year
• dflemstr / femtopb
  ☆33Updated 4 months ago
• matthunz / async-hal
  ☆26Updated 2 years ago
• AeroRust / WorkingGroup
  Issues tracker for ideas, ongoing work, looking for mentors, mentors available. Join here!
  ☆38Updated 4 years ago
• dtolnay / buck2-rustc-bootstrap
  Compile Rust compiler using Buck2
  ☆47Updated last month
• YuhanLiin / micropb
  Rust Protobuf library targetting embedded systems and no_std environments without an allocator
  ☆79Updated last week
• jamesmunns / pretty-hal-machine
  ☆61Updated 2 years ago
• M4SS-Code / cargo-goggles
  Verify that registry crates in your Cargo.lock are reproducible from the git repository
  ☆42Updated 2 months ago
• embassy-rs / noproto
  no-std no-alloc Rust protobufs.
  ☆35Updated last year
• diondokter / device-driver
  A toolkit to create better Rust device drivers, faster
  ☆205Updated this week
• PTaylor-us / tlsf
  A Two Level Segregated Fit (TLSF) allocator optimized for memory-constrained systems
  ☆20Updated 5 years ago
• jbeaurivage / embedded-trace
  A Future tracing utility for embedded systems
  ☆15Updated last year
• zommiommy / mem_dbg-rs
  A trait + derive to recursively compute / print the memory usage of a data structure.
  ☆33Updated 4 months ago
• titanclass / embassy-start
  ☆27Updated 2 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…
  ☆128Updated last year
• AntoineMugnier / kaori-hsm
  State machine framework in Rust
  ☆21Updated last year
• Lucretiel / cooked-waker
  A trait-based system for creating async Wakers. Because RawWakers are healthier after they've been cooked.
  ☆21Updated 4 years ago
• Rust-for-Linux / pin-init
  Library facilitating safe pinned initialization
  ☆43Updated this week
• Shnatsel / http-denial-of-potatoes
  Scripts attempting trivial denial-of-service attacks on HTTP clients
  ☆55Updated 3 years ago
• rustfoundation / typomania
  A toolbox to check for typosquatting in package registries
  ☆24Updated last year
• dataphract / acid_alloc
  Bare-metal allocators.
  ☆76Updated 2 years ago
• djmcgill / form
  A utility to split autogenerated rust files into human-workable projects with the correct _form_
  ☆37Updated last month
• diondokter / nrf-modem
  ☆38Updated 3 weeks ago
• wasmerio / loupe
  Profiling tool for Rust code.
  ☆43Updated 5 months ago
• probe-rs / embedded-test
  A test harness and runner for embedded devices
  ☆120Updated this week
• japaric / stlog
  Lightweight logging framework for resource constrained devices
  ☆47Updated 5 years ago
• 197g / static-alloc
  Data structures like Rust `alloc` which reuse user allocated memory
  ☆57Updated 9 months ago
• ivmarkov / ruwm
  [Ru]st [W]ater [M]eter - my explorations into an embedded, async, real-world project
  ☆55Updated last year
• rick-de-water / nonany
  Integer types with customizable niche values
  ☆46Updated 7 months ago