minirust / specrLinks
☆11Updated last week
Alternatives and similar repositories for specr
Users that are interested in specr are comparing it to the libraries listed below
Sorting:
- ☆12Updated last month
- Rust bindings for libgccjit☆23Updated last month
- experimental datalog rules for a next gen polonius☆19Updated 2 years ago
- Tiny little crate to determine how large an unnameable type is.☆11Updated 2 months ago
- Overview of the Tree Borrows rules for detecting violations of the aliasing discipline in Rust☆26Updated last year
- Scope Graph Implementation in Rust☆27Updated 6 months ago
- An article explaining the unsoundness I found in owning-ref☆27Updated 3 years ago
- DWARF packaging utility, written in Rust, supporting GNU extension and DWARF 5 package formats.☆50Updated 2 months ago
- "Valgrind Client Request" interface for Rust programs☆17Updated 4 months ago
- Lift enum variants to the type-level.☆33Updated 4 years ago
- `Pin`-based stopgap for unboxed aliasable values in self-referential data structures in Rust☆13Updated 2 years ago
- Procedural macro to mock returning (values referencing) locals from a function (using CPS)☆30Updated 7 months ago
- Propositional logic with types in Rust☆62Updated last year
- Thin but safe Linux interface☆11Updated last month
- An implementation of strace in Rust, and a library interface☆22Updated 6 years ago
- Sruth Lùbach: A toy optimization engine☆23Updated 3 years ago
- We have Crater At Home☆34Updated 7 months ago
- Define compiler intermediate representation usable by external tools☆74Updated 11 months ago
- The `io_uring` library for Rust (with Rustix)☆27Updated last month
- A primitive for writing structural search and replace programs for rust☆31Updated 10 months ago
- ☆32Updated 11 months ago
- ☆37Updated 5 months ago
- A proc macro for real async traits, using nightly-only existential types and generic associated types to work around the need for type er…☆45Updated 2 years ago
- Visualise recursive functions and tree structures.☆30Updated 3 years ago
- Example implementation of stack tokens for Rust☆34Updated 2 years ago
- A prototype of my proposed name resolution algorithm for Rust.☆12Updated 9 years ago
- Serde serializer for generating Starlark build targets☆66Updated 2 weeks ago
- Build a rustc sysroot with custom flags☆17Updated 2 weeks ago
- ☆17Updated last year
- Target "triple" support☆54Updated 3 months ago