minirust / specrLinks
☆14Updated 2 months ago
Alternatives and similar repositories for specr
Users that are interested in specr are comparing it to the libraries listed below
Sorting:
- Verify naive = datafrog-opt, in rust/polonius☆15Updated 3 months ago
- Rust bindings for libgccjit☆23Updated last month
- Define compiler intermediate representation usable by external tools☆85Updated last month
- ☆12Updated 5 months ago
- experimental datalog rules for a next gen polonius☆19Updated 3 years ago
- Propositional logic with types in Rust☆63Updated 2 years ago
- Overview of the Tree Borrows rules for detecting violations of the aliasing discipline in Rust☆26Updated last year
- 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 3 years ago
- Where the work of WG-grammar, aiming to provide a canonical grammar for Rust, resides☆102Updated last year
- A concurrent GC.☆43Updated 3 years ago
- An implementation of strace in Rust, and a library interface☆22Updated 7 years ago
- Lift enum variants to the type-level.☆32Updated 4 years ago
- Home of the "types team", affiliated with the compiler and lang teams.☆96Updated last year
- sptr: The Strict Provenance Polyfill☆75Updated last year
- Why can't a tree be called Pluplusch?☆28Updated 5 months ago
- Modular register allocator algorithms☆105Updated 3 years ago
- ☆22Updated 3 years ago
- DWARF packaging utility, written in Rust, supporting GNU extension and DWARF 5 package formats.☆52Updated 2 weeks ago
- An article explaining the unsoundness I found in owning-ref☆27Updated 3 years ago
- `Pin`-based stopgap for unboxed aliasable values in self-referential data structures in Rust☆13Updated 3 years ago
- Example implementation of stack tokens for Rust☆34Updated 2 years ago
- Sruth Lùbach: A toy optimization engine☆23Updated 4 years ago
- We have Crater At Home☆36Updated 11 months ago
- Scope Graph Implementation in Rust☆27Updated 10 months ago
- ☆37Updated 9 months ago
- Exploring the "expression problem" in Rust☆50Updated 3 years ago
- Babysteps blog☆36Updated last week
- Target "triple" support☆52Updated 3 weeks ago
- ☆40Updated last year
- Using Type-Level Programming in Rust to Make Safer Hardware Abstractions☆53Updated 3 years ago