rust-lang / flsLinks
The FLS
☆443Updated 3 weeks ago
Alternatives and similar repositories for fls
Users that are interested in fls are comparing it to the libraries listed below
Sorting:
- Run embedded programs just like native ones☆644Updated last year
- A no_std + serde compatible message library for Rust☆1,113Updated last month
- Efficient, deferred formatting for logging on embedded systems☆1,012Updated 2 weeks ago
- Experimental Rust tool for generating FFI definitions allowing many other languages to call Rust code☆629Updated 2 weeks ago
- A precise specification for "Rust lite / MIR plus"☆868Updated last week
- Execute Rust code carefully, with extra checking along the way☆416Updated this week
- ☆988Updated last week
- How to bootstrap support for a no_std target☆211Updated 2 weeks ago
- Cargo subcommands to invoke the LLVM tools shipped with the Rust toolchain☆546Updated last month
- a model of MIR and the Rust type/trait system☆301Updated 2 months ago
- A wee async RTOS for Cortex-M☆764Updated 2 weeks ago
- Source code of Ferrocene, safety-critical Rust toolchain☆1,420Updated this week
- Capability-oriented version of the Rust standard library☆689Updated last month
- A port of MUSL's libm to Rust.☆632Updated last month
- cargo subcommand showing the assembly, LLVM-IR and MIR generated for Rust code☆815Updated last week
- Rust programs written entirely in Rust☆834Updated last month
- libgccjit AOT codegen for rustc☆991Updated this week
- Forum for discussion about what unsafe code can and can't do☆696Updated this week
- Auditing crates for unsafe code which can be safely replaced☆548Updated 3 years ago
- 📜 Cargo plugin to generate list of all licenses for a crate 🦀☆606Updated 2 months ago
- Bringing Rust to the Safety Critical Domain☆218Updated 5 years ago
- An implementation of Joshua Yanovski's Ghost Cell paper.☆468Updated last year
- Safe, fallible, embedded-friendly ordered set/map via a scapegoat tree. Validated against BTreeSet/BTreeMap.☆261Updated 3 years ago
- Making parsing a breeze☆734Updated 3 weeks ago
- Safe cross-platform linker shenanigans☆740Updated 2 weeks ago
- A heap allocator for embedded systems☆386Updated 4 months ago
- A Stable ABI for Rust with compact sum-types☆370Updated 3 weeks ago
- How to avoid complicated coordinated upgrades☆519Updated 4 months ago
- Adds zero-cost stack overflow protection to your embedded programs☆346Updated last week
- A static verifier for Rust, based on the Viper verification infrastructure.☆1,647Updated 2 weeks ago