ferrocene / specification
Ferrocene Language Specification
☆404Updated last month
Alternatives and similar repositories for specification:
Users that are interested in specification are comparing it to the libraries listed below
- libgccjit AOT codegen for rustc☆958Updated this week
- A no_std + serde compatible message library for Rust☆1,040Updated last month
- Efficient, deferred formatting for logging on embedded systems☆956Updated this week
- Experimental Rust tool for generating FFI definitions allowing many other languages to call Rust code☆569Updated this week
- Execute Rust code carefully, with extra checking along the way☆402Updated 7 months ago
- Source code of Ferrocene, safety-critical Rust toolchain☆1,367Updated this week
- a model of MIR and the Rust type/trait system☆296Updated 2 weeks ago
- A wee async RTOS for Cortex-M☆756Updated 4 months ago
- cargo subcommand showing the assembly, LLVM-IR and MIR generated for Rust code☆786Updated this week
- A minimal `syn` syntax tree pretty-printer☆670Updated last week
- A precise specification for "Rust lite / MIR plus"☆841Updated last month
- How to bootstrap support for a no_std target☆210Updated 11 months ago
- Experimental one-shot benchmarking/profiling harness for Rust☆601Updated 6 months ago
- Safe, fallible, embedded-friendly ordered set/map via a scapegoat tree. Validated against BTreeSet/BTreeMap.☆259Updated 3 years ago
- Capability-oriented version of the Rust standard library☆676Updated last month
- Cargo subcommand to provide various options useful for testing and continuous integration.☆684Updated last week
- A port of MUSL's libm to Rust.☆623Updated 2 weeks ago
- Run embedded programs just like native ones☆645Updated last year
- Rust programs written entirely in Rust☆809Updated last week
- A Stable ABI for Rust with compact sum-types☆356Updated this week
- Forum for discussion about what unsafe code can and can't do☆682Updated 3 months ago
- A fast and flexible allocator for no_std and WebAssembly☆449Updated 3 months ago
- Embedded Rust arithmetic, 2D/3D vector, and statistics library☆406Updated 6 months ago
- a cargo extension for programming microcontrollers☆248Updated 2 years ago
- ☆466Updated 4 months ago
- Making parsing a breeze☆686Updated this week
- ☆947Updated 8 months ago
- 🍄 an alleged 'operating system'☆589Updated last month
- Creusot helps you prove your code is correct in an automated fashion.☆1,219Updated this week
- Compile-time reference counting☆441Updated last year