Alternatives and similar repositories for specification:

Users that are interested in specification are comparing it to the libraries listed below

• rust-lang / rustc_codegen_gcc
  libgccjit AOT codegen for rustc
  ☆959Updated 2 weeks ago
• RalfJung / cargo-careful
  Execute Rust code carefully, with extra checking along the way
  ☆403Updated 7 months ago
• minirust / minirust
  A precise specification for "Rust lite / MIR plus"
  ☆841Updated last week
• rust-lang / a-mir-formality
  a model of MIR and the Rust type/trait system
  ☆296Updated last week
• dtolnay / prettyplease
  A minimal `syn` syntax tree pretty-printer
  ☆676Updated last week
• pacak / cargo-show-asm
  cargo subcommand showing the assembly, LLVM-IR and MIR generated for Rust code
  ☆788Updated last week
• bytecodealliance / cap-std
  Capability-oriented version of the Rust standard library
  ☆677Updated last month
• flux-rs / flux
  Refinement Types for Rust
  ☆705Updated this week
• SFBdragon / talc
  A fast and flexible allocator for no_std and WebAssembly
  ☆453Updated 4 months ago
• rust-diplomat / diplomat
  Experimental Rust tool for generating FFI definitions allowing many other languages to call Rust code
  ☆572Updated this week
• sunfishcode / eyra
  Rust programs written entirely in Rust
  ☆814Updated 2 weeks ago
• cbiffle / lilos
  A wee async RTOS for Cortex-M
  ☆760Updated 4 months ago
• taiki-e / cargo-hack
  Cargo subcommand to provide various options useful for testing and continuous integration.
  ☆687Updated this week
• knurling-rs / defmt
  Efficient, deferred formatting for logging on embedded systems
  ☆966Updated this week
• matthieu-m / ghost-cell
  An implementation of Joshua Yanovski's Ghost Cell paper.
  ☆458Updated last year
• jamesmunns / postcard
  A no_std + serde compatible message library for Rust
  ☆1,051Updated last month
• dtolnay / linkme
  Safe cross-platform linker shenanigans
  ☆711Updated last week
• matthieu-m / static-rc
  Compile-time reference counting
  ☆441Updated last year
• rust-embedded / cargo-binutils
  Cargo subcommands to invoke the LLVM tools shipped with the Rust toolchain
  ☆529Updated 5 months ago
• ZettaScaleLabs / stabby
  A Stable ABI for Rust with compact sum-types
  ☆358Updated 2 weeks ago
• knurling-rs / flip-link
  Adds zero-cost stack overflow protection to your embedded programs
  ☆315Updated 3 weeks ago
• bheisler / iai
  Experimental one-shot benchmarking/profiling harness for Rust
  ☆601Updated 7 months ago
• tnballo / scapegoat
  Safe, fallible, embedded-friendly ordered set/map via a scapegoat tree. Validated against BTreeSet/BTreeMap.
  ☆259Updated 3 years ago
• creusot-rs / creusot
  Creusot helps you prove your code is correct in an automated fashion.
  ☆1,230Updated this week
• rust-lang / libm
  A port of MUSL's libm to Rust.
  ☆623Updated this week
• winnow-rs / winnow
  Making parsing a breeze
  ☆690Updated this week
• probe-rs / cargo-flash
  a cargo extension for programming microcontrollers
  ☆248Updated 2 years ago
• rust-embedded / embedded-alloc
  A heap allocator for embedded systems
  ☆373Updated last month
• hydro-project / rust-sitter
  Use Tree Sitter to parse your own languages in Rust
  ☆634Updated last month
• matklad / cargo-xtask
  ☆947Updated 8 months ago