ferrocene / specification

Related projects ⓘ

Alternatives and complementary repositories for specification

• RalfJung / cargo-careful
  Execute Rust code carefully, with extra checking along the way
  ☆388Updated 3 months ago
• pacak / cargo-show-asm
  cargo subcommand showing the assembly, LLVM-IR and MIR generated for Rust code
  ☆712Updated this week
• knurling-rs / defmt
  Efficient, deferred formatting for logging on embedded systems
  ☆859Updated this week
• tnballo / scapegoat
  Safe, fallible, embedded-friendly ordered set/map via a scapegoat tree. Validated against BTreeSet/BTreeMap.
  ☆255Updated 2 years ago
• rust-diplomat / diplomat
  Experimental Rust tool for generating FFI definitions allowing many other languages to call Rust code
  ☆532Updated this week
• minirust / minirust
  A precise specification for "Rust lite / MIR plus"
  ☆818Updated this week
• cbiffle / lilos
  A wee async RTOS for Cortex-M
  ☆708Updated last week
• ferrocene / ferrocene
  Source code of Ferrocene, safety-critical Rust toolchain
  ☆1,312Updated this week
• jamesmunns / postcard
  A no_std + serde compatible message library for Rust
  ☆930Updated this week
• rust-lang / rustc_codegen_gcc
  libgccjit AOT codegen for rustc
  ☆926Updated this week
• knurling-rs / flip-link
  Adds zero-cost stack overflow protection to your embedded programs
  ☆284Updated 3 weeks ago
• ZettaScaleLabs / stabby
  A Stable ABI for Rust with compact sum-types
  ☆335Updated 2 months ago
• probe-rs / cargo-flash
  a cargo extension for programming microcontrollers
  ☆248Updated last year
• rust-embedded / embedonomicon
  How to bootstrap support for a no_std target
  ☆209Updated 7 months ago
• rust-lang / a-mir-formality
  a model of MIR and the Rust type/trait system
  ☆285Updated last month
• rust-secure-code / cargo-supply-chain
  Gather author, contributor and publisher data on crates in your dependency graph.
  ☆319Updated 8 months ago
• hawkw / mycelium
  🍄 an alleged 'operating system'
  ☆548Updated last month
• bytecodealliance / cap-std
  Capability-oriented version of the Rust standard library
  ☆662Updated this week
• flux-rs / flux
  Refinement Types for Rust
  ☆656Updated this week
• dtolnay / prettyplease
  A minimal `syn` syntax tree pretty-printer
  ☆621Updated 2 weeks ago
• mozilla / cargo-vet
  supply-chain security for Rust
  ☆667Updated last month
• matthieu-m / static-rc
  Compile-time reference counting
  ☆437Updated last year
• bheisler / iai
  Experimental one-shot benchmarking/profiling harness for Rust
  ☆586Updated 3 months ago
• rust-analyzer / smol_str
  ☆448Updated last month
• tarcieri / micromath
  Embedded Rust arithmetic, 2D/3D vector, and statistics library
  ☆400Updated 2 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…
  ☆119Updated 8 months ago
• sunfishcode / eyra
  Rust programs written entirely in Rust
  ☆772Updated last month
• rust-lang / libm
  A port of MUSL's libm to Rust.
  ☆547Updated last week
• rust-lang / wg-allocators
  Home of the Allocators working group: Paving a path for a standard set of allocator traits to be used in collections!
  ☆213Updated 3 years ago
• taiki-e / cargo-hack
  Cargo subcommand to provide various options useful for testing and continuous integration.
  ☆636Updated this week