minirust / specrLinks
☆12Updated last month
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
- Lift enum variants to the type-level.☆33Updated 4 years ago
- Propositional logic with types in Rust☆62Updated last year
- Sruth Lùbach: A toy optimization engine☆23Updated 4 years ago
- Overview of the Tree Borrows rules for detecting violations of the aliasing discipline in Rust☆26Updated last year
- `Pin`-based stopgap for unboxed aliasable values in self-referential data structures in Rust☆13Updated 2 years ago
- LR-style Parser Generator☆19Updated 3 weeks ago
- DWARF packaging utility, written in Rust, supporting GNU extension and DWARF 5 package formats.☆50Updated 3 months ago
- Debugger written in Rust☆24Updated 2 years ago
- Scope Graph Implementation in Rust☆27Updated 7 months ago
- A lightweight attribute for easy generation of const functions with conditional compilations.☆27Updated 3 months ago
- We have Crater At Home☆35Updated 8 months ago
- An implementation of strace in Rust, and a library interface☆22Updated 7 years ago
- Define compiler intermediate representation usable by external tools☆75Updated last year
- Build a rustc sysroot with custom flags☆17Updated 2 weeks ago
- Zero overhead tracing garbage collection for rust (WIP)☆50Updated 11 months ago
- Liquid Types implementation for Rust☆29Updated 2 years ago
- A cargo sub-command for publishing Rust crates to the WebAssembly Package Manager.☆8Updated 2 years ago
- Procedural macro to mock returning (values referencing) locals from a function (using CPS)☆31Updated 8 months ago
- const panic with formatting☆11Updated 5 months ago
- ☆22Updated 3 years ago
- Tiny little crate to determine how large an unnameable type is.☆12Updated 2 months ago
- sptr: The Strict Provenance Polyfill☆76Updated last year
- The `io_uring` library for Rust (with Rustix)☆29Updated 2 months ago
- A primitive for writing structural search and replace programs for rust☆31Updated 11 months ago
- Home of the "types team", affiliated with the compiler and lang teams.☆96Updated last year
- Target "triple" support☆54Updated 4 months ago
- New register allocator designed as a successor to regalloc2☆38Updated last week