pvdrz / sire
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
- ☆31Updated 5 years ago
- An experiment in embedding layout computations in the type system.☆17Updated 5 years ago
- ☆26Updated 3 years ago
- Unsafe marker trait for types that deref to a stable address☆31Updated 2 years ago
- Cache & In-Memory optimizations for Rust, revived from the slabs of Sumer.☆30Updated 5 years ago
- A small crate to provide space-efficient Option<_> replacements☆37Updated last month
- Minimal float parser primitives with a focus on compile times.☆22Updated 2 years ago
- A growable bit-vector for Rust, optimized for size☆40Updated last month
- ☆52Updated 5 years ago
- A rust library for reusing heap allocations☆24Updated 5 years ago
- Experiments in `no_std` cooperative multitasking☆23Updated 6 years ago
- Arbitrary width integers☆14Updated 3 weeks ago
- Renders interactive fractal-like animations☆19Updated 7 years ago
- A Rust source code parser and explorer☆23Updated last year
- Check that a crate builds without libstd☆25Updated 4 years ago
- cargo subcommand for building proc-macro crates with web assembly☆34Updated 4 years ago
- impl fallible collections in rust, quite as describe in RFC 2116☆37Updated 5 months ago
- Mirror of https://gitlab.com/est/cargo-local-serve | Serve a local, offline, clone of crates.io.☆27Updated 4 years ago
- ☆47Updated 4 years ago
- Tinkering with a more ergonomic cell abstraction☆16Updated 5 years ago
- Arbitrary precision integers library.☆27Updated 4 years ago
- To futures-lite as futures-lite is to futures: smaller.☆54Updated 3 months ago
- ☆29Updated 11 months ago
- watt-based inline procedural macros☆14Updated 4 years ago
- Target "triple" support☆51Updated 2 months ago
- A trait-based system for creating async Wakers. Because RawWakers are healthier after they've been cooked.☆21Updated 4 years ago
- A safe-guarded transmute for Rust☆38Updated 10 months ago
- Proof of Concept of a version of the error trait that is no-std compatible and works with backtraces / error return traces☆11Updated 4 years ago
- Data structures like Rust `alloc` which reuse user allocated memory☆54Updated 6 months ago
- std::Error in no_std environment.☆39Updated 4 years ago