rust-lang / flsLinks
The FLS
☆464Updated last week
Alternatives and similar repositories for fls
Users that are interested in fls are comparing it to the libraries listed below
Sorting:
- Execute Rust code carefully, with extra checking along the way☆454Updated 3 months ago
- An implementation of Joshua Yanovski's Ghost Cell paper.☆490Updated last year
- Capability-oriented version of the Rust standard library☆723Updated 3 weeks ago
- a model of MIR and the Rust type/trait system☆318Updated this week
- 🍄 an alleged 'operating system'☆692Updated 2 weeks ago
- Safe, fallible, embedded-friendly ordered set/map via a scapegoat tree. Validated against BTreeSet/BTreeMap.☆263Updated 3 years ago
- A port of MUSL's libm to Rust.☆632Updated 7 months ago
- Library and tools for managing ecosystem wide call graphs and llvm-ir analysis☆175Updated 6 months ago
- A precise specification for "Rust lite / MIR plus"☆943Updated 3 weeks ago
- How to bootstrap support for a no_std target☆224Updated last month
- Experimental Rust tool for generating FFI definitions allowing many other languages to call Rust code☆707Updated this week
- A no_std + serde compatible message library for Rust☆1,226Updated this week
- cargo subcommand showing the assembly, LLVM-IR and MIR generated for Rust code☆883Updated 2 weeks ago
- Support crate for rustc's self-profiling feature☆373Updated 4 months ago
- Home of the Allocators working group: Paving a path for a standard set of allocator traits to be used in collections!☆235Updated 4 years ago
- Count lines of LLVM IR per generic function☆482Updated this week
- property testing and verification front-end for Rust☆220Updated this week
- A minimal `syn` syntax tree pretty-printer☆725Updated last month
- Experimental one-shot benchmarking/profiling harness for Rust☆637Updated last year
- Rust programs written entirely in Rust☆858Updated 6 months ago
- libgccjit AOT codegen for rustc☆1,062Updated last week
- A heap allocator for embedded systems☆426Updated 2 months ago
- A Stable ABI for Rust with compact sum-types☆401Updated 6 months ago
- supply-chain security for Rust☆766Updated last month
- Efficient, deferred formatting for logging on embedded systems☆1,082Updated last week
- Rust implementations of compiler-rt and libm☆453Updated last month
- Cargo subcommands to invoke the LLVM tools shipped with the Rust toolchain☆576Updated last month
- Forum for discussion about what unsafe code can and can't do☆715Updated 3 months ago
- List and diff the public API of Rust library crates between releases and commits. Detect breaking API changes and semver violations via C…☆511Updated this week
- Minimalistic snapshot testing for Rust.☆296Updated 11 months ago