pvdrz / sireLinks
A symbolic evaluator for MIR
☆19Updated 5 years ago
Alternatives and similar repositories for sire
Users that are interested in sire are comparing it to the libraries listed below
Sorting:
- Unsafe marker trait for types that deref to a stable address☆31Updated 2 years ago
- An experiment in embedding layout computations in the type system.☆17Updated 5 years ago
- ☆27Updated 3 years ago
- ☆31Updated 5 years ago
- Minimal float parser primitives with a focus on compile times.☆22Updated 2 years ago
- Cache & In-Memory optimizations for Rust, revived from the slabs of Sumer.☆30Updated 5 years ago
- Arbitrary precision integers library.☆28Updated 4 years ago
- Arbitrary width integers☆18Updated 2 months ago
- A growable bit-vector for Rust, optimized for size☆40Updated 3 months ago
- Target "triple" support☆54Updated 3 months ago
- Check that a crate builds without libstd☆25Updated 4 years ago
- A simple macro to create correct opaque pointers☆22Updated 4 years ago
- A trait-based system for creating async Wakers. Because RawWakers are healthier after they've been cooked.☆21Updated 4 years ago
- cargo subcommand for building proc-macro crates with web assembly☆34Updated 4 years ago
- ☆36Updated 9 months ago
- Data structures like Rust `alloc` which reuse user allocated memory☆57Updated 8 months ago
- DWARF packaging utility, written in Rust, supporting GNU extension and DWARF 5 package formats.☆50Updated 2 months ago
- Tiny little crate to determine how large an unnameable type is.☆11Updated 2 months ago
- ☆53Updated 5 years ago
- Light references to trait objects by embedding the virtual table pointer in the struct☆25Updated 9 months ago
- std::Error in no_std environment.☆39Updated 4 years ago
- A procedural macro implementation of `quote!`.☆24Updated 2 years ago
- Aligned allocation for Rust☆15Updated 4 years ago
- https://www.reddit.com/r/rust/comments/5mlxps/rust_makes_implicit_invariants_explicit/dc57wd3/☆13Updated 8 years ago
- Procedural macro to mock returning (values referencing) locals from a function (using CPS)☆30Updated 7 months ago
- A lightweight attribute for easy generation of const functions with conditional compilations.☆27Updated 2 months ago
- A safe and reliable process manager☆43Updated 5 years ago
- A newtype with alignment of at least `A` bytes☆32Updated 3 months ago
- Experiments in `no_std` cooperative multitasking☆23Updated 6 years ago
- A small crate to provide space-efficient Option<_> replacements☆37Updated 2 months ago