rust-lang / flsLinks
The FLS
☆447Updated 3 weeks ago
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☆443Updated last month
- A precise specification for "Rust lite / MIR plus"☆918Updated 2 weeks ago
- a model of MIR and the Rust type/trait system☆310Updated last week
- 🍄 an alleged 'operating system'☆651Updated this week
- A port of MUSL's libm to Rust.☆634Updated 3 months ago
- Capability-oriented version of the Rust standard library☆703Updated 3 months ago
- Rust programs written entirely in Rust☆845Updated 3 months ago
- A no_std + serde compatible message library for Rust☆1,161Updated this week
- Library and tools for managing ecosystem wide call graphs and llvm-ir analysis☆173Updated 3 months ago
- Safe, fallible, embedded-friendly ordered set/map via a scapegoat tree. Validated against BTreeSet/BTreeMap.☆262Updated 3 years ago
- cargo subcommand showing the assembly, LLVM-IR and MIR generated for Rust code☆842Updated last month
- A heap allocator for embedded systems☆400Updated 6 months ago
- A wee async RTOS for Cortex-M☆778Updated 2 months ago
- Count lines of LLVM IR per generic function☆465Updated 3 weeks ago
- Rust implementations of compiler-rt and libm☆438Updated last week
- Experimental Rust tool for generating FFI definitions allowing many other languages to call Rust code☆646Updated last week
- libgccjit AOT codegen for rustc☆1,019Updated this week
- A Stable ABI for Rust with compact sum-types☆384Updated 2 months ago
- Adds zero-cost stack overflow protection to your embedded programs☆352Updated 2 months ago
- Source code of Ferrocene, safety-critical Rust toolchain☆1,444Updated this week
- Experimental one-shot benchmarking/profiling harness for Rust☆621Updated 11 months ago
- An implementation of Joshua Yanovski's Ghost Cell paper.☆480Updated last year
- List and diff the public API of Rust library crates between releases and commits. Detect breaking API changes and semver violations via C…☆488Updated this week
- How to bootstrap support for a no_std target☆214Updated 2 weeks ago
- a cargo extension for programming microcontrollers☆248Updated 2 years ago
- Refinement Types for Rust☆755Updated last week
- property testing and verification front-end for Rust☆213Updated last month
- supply-chain security for Rust☆736Updated last month
- Embedded Rust arithmetic, 2D/3D vector, and statistics library☆434Updated 11 months ago
- Auditing crates for unsafe code which can be safely replaced☆551Updated 3 years ago