Alternatives and similar repositories for fls

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

• RalfJung / cargo-careful
  Execute Rust code carefully, with extra checking along the way
  ☆476Updated last month
• rust-lang / a-mir-formality
  a model of MIR and the Rust type/trait system
  ☆325Updated this week
• matthieu-m / ghost-cell
  An implementation of Joshua Yanovski's Ghost Cell paper.
  ☆498Updated 2 years ago
• pacak / cargo-show-asm
  cargo subcommand showing the assembly, LLVM-IR and MIR generated for Rust code
  ☆919Updated 2 weeks ago
• bytecodealliance / cap-std
  Capability-oriented version of the Rust standard library
  ☆740Updated 2 weeks ago
• minirust / minirust
  A precise specification for "Rust lite / MIR plus"
  ☆960Updated last week
• tnballo / scapegoat
  Safe, fallible, embedded-friendly ordered set/map via a scapegoat tree. Validated against BTreeSet/BTreeMap.
  ☆263Updated 3 years ago
• knurling-rs / flip-link
  Adds zero-cost stack overflow protection to your embedded programs
  ☆390Updated last month
• sunfishcode / eyra
  Rust programs written entirely in Rust
  ☆868Updated 9 months ago
• jamesmunns / postcard
  A no_std + serde compatible message library for Rust
  ☆1,320Updated this week
• hawkw / mycelium
  🍄 an alleged 'operating system'
  ☆733Updated last month
• dtolnay / prettyplease
  A minimal `syn` syntax tree pretty-printer
  ☆737Updated last month
• flux-rs / flux
  Refinement Types for Rust
  ☆825Updated this week
• rust-lang / libm
  A port of MUSL's libm to Rust.
  ☆637Updated 9 months ago
• knurling-rs / defmt
  Efficient, deferred formatting for logging on embedded systems
  ☆1,128Updated last week
• ZettaScaleLabs / stabby
  A Stable ABI for Rust with compact sum-types
  ☆409Updated 3 weeks ago
• bheisler / iai
  Experimental one-shot benchmarking/profiling harness for Rust
  ☆644Updated last year
• rustfoundation / painter
  Library and tools for managing ecosystem wide call graphs and llvm-ir analysis
  ☆178Updated 9 months ago
• dtolnay / cargo-llvm-lines
  Count lines of LLVM IR per generic function
  ☆497Updated last month
• rust-lang / compiler-builtins
  Rust implementations of compiler-rt and libm
  ☆473Updated last week
• ferrocene / ferrocene
  Source code of Ferrocene, safety-critical Rust toolchain
  ☆1,573Updated this week
• matthieu-m / static-rc
  Compile-time reference counting
  ☆456Updated 8 months ago
• rust-embedded / embedonomicon
  How to bootstrap support for a no_std target
  ☆225Updated 2 weeks ago
• rust-lang / annotate-snippets-rs
  Library for snippet annotations
  ☆481Updated 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!
  ☆237Updated 4 years ago
• nvzqz / static-assertions
  Ensure correct assumptions about constants, types, and more in Rust
  ☆644Updated 2 years ago
• rust-embedded / cargo-binutils
  Cargo subcommands to invoke the LLVM tools shipped with the Rust toolchain
  ☆581Updated 4 months ago
• mozilla / cargo-vet
  supply-chain security for Rust
  ☆793Updated 3 weeks ago
• cbiffle / lilos
  A wee async RTOS for Cortex-M
  ☆806Updated 4 months ago
• cargo-public-api / cargo-public-api
  List and diff the public API of Rust library crates between releases and commits. Detect breaking API changes and semver violations via C…
  ☆523Updated this week