Alternatives and similar repositories for regmock-rs

Users that are interested in regmock-rs are comparing it to the libraries listed below

• Infineon / svd2pac
  Repository will contain a tool to generate Peripheral Access Crates in Rust.
  ☆14Updated last week
• cryspen / hax
  A Rust verification tool
  ☆261Updated this week
• seL4 / rust-sel4
  Rust support for seL4 userspace
  ☆153Updated last month
• rustfoundation / safety-critical-rust-consortium
  Documentation, code and information for the Safety Critical Rust Consortium
  ☆70Updated this week
• brummer-simon / text_to_morse
  A linux kernel module to convert text to morse code written in Rust!
  ☆29Updated 11 months ago
• IoTS-P / trustzone-m-rs
  Rust TrustZone-M application
  ☆52Updated 2 years ago
• MaderNoob / galloc
  ☆40Updated 2 years ago
• rust-lang / fls
  The FLS
  ☆434Updated this week
• rust-lang / a-mir-formality
  a model of MIR and the Rust type/trait system
  ☆299Updated last month
• librasn / rasn
  A Safe #[no_std] ASN.1 Codec Framework
  ☆295Updated last week
• rust-osdev / virtio-spec-rs
  Definitions from the Virtual I/O Device (VIRTIO) specification.
  ☆18Updated 7 months ago
• endorlabs / MIRAI
  ☆143Updated 2 months ago
• cryspen / libcrux
  The formally verified crypto library for Rust
  ☆123Updated this week
• cognitive-engineering-lab / rustc_plugin
  A framework for writing plugins that integrate with the Rust compiler
  ☆151Updated last month
• oxidecomputer / phbl
  Pico Host Boot Loader
  ☆109Updated 3 weeks ago
• rust-formal-methods / rust-formal-methods.github.io
  ☆12Updated 2 weeks ago
• repnop / fdt
  Rust crate for Flattened Devicetree parsing
  ☆47Updated 4 months ago
• mhatzl / mantra
  Manuels Anforderungs-Tracing
  ☆12Updated last month
• jyao1 / rust-spdm
  a rust version SPDM protocol implementation
  ☆16Updated last year
• samitbasu / rhdl
  A Hardware Description Language based on the Rust Programming Language
  ☆205Updated this week
• jfrimmel / cargo-valgrind
  A cargo subcommand, that runs valgrind and displays its output in a helpful manner. Tailored to Rust.
  ☆145Updated last month
• hermit-os / uhyve
  A specialized hypervisor for Hermit.
  ☆263Updated this week
• rust-osdev / volatile
  ☆79Updated 11 months ago
• jklmnn / gpr-rust
  Rust binding for gpr
  ☆16Updated 2 months ago
• Vanille-N / tree-borrows
  Overview of the Tree Borrows rules for detecting violations of the aliasing discipline in Rust
  ☆25Updated last year
• rust-secure-code / cargo-supply-chain
  Gather author, contributor and publisher data on crates in your dependency graph.
  ☆330Updated 4 months ago
• canonical / rust-best-practices
  A set of guidelines to avoid arguments over code-quality
  ☆63Updated last week
• chipsalliance / caliptra-sw
  Caliptra software (ROM, FMC, runtime firmware), and libraries/tools needed to build and test
  ☆111Updated this week
• Amanieu / minicov
  Code coverage support for Rust `no_std` and embedded programs
  ☆55Updated 6 months ago
• parallaxsecond / rust-tss-esapi
  TSS 2.0 Enhanced System API (ESAPI) Rust wrapper
  ☆101Updated this week