metaborg / rust-scopegraphs
Scope Graph Implementation in Rust
☆22Updated 4 months ago
Alternatives and similar repositories for rust-scopegraphs:
Users that are interested in rust-scopegraphs are comparing it to the libraries listed below
- We have Crater At Home☆28Updated 4 months ago
- Linux linker for x86 and x86-64☆26Updated last month
- ☆41Updated last year
- ☆37Updated last year
- The never type (the true one!) in stable Rust.☆36Updated 3 years ago
- Overview of the Tree Borrows rules for detecting violations of the aliasing discipline in Rust☆24Updated 11 months ago
- ☆33Updated 3 years ago
- Lift enum variants to the type-level.☆32Updated 4 years ago
- Ranged integers for Rust based on const generics☆28Updated 5 months ago
- experimental datalog rules for a next gen polonius☆19Updated 2 years ago
- Procedural macro to mock returning (values referencing) locals from a function (using CPS)☆30Updated 5 months ago
- Rust crate that provides number types similar to std's NonZero* types, but that cannot hold a type's maximum value instead.☆46Updated last year
- Port of https://github.com/plasma-umass/Mesh to Rust☆16Updated last year
- Choose Rust types at compile-time via constants☆64Updated last year
- Proof of concept ranged integers in Rust.☆40Updated this week
- ☆13Updated 4 months ago
- Set the minimum alignments of types using const generics.☆17Updated 5 months ago
- Propositional logic with types in Rust☆62Updated last year
- Twinsies is a specialized reference-counting pointer where the item is jointly owned in 2 places☆27Updated 11 months ago
- A memory efficient syntax tree for language developers☆57Updated 2 months ago
- Home of the "types team", affiliated with the compiler and lang teams.☆96Updated last year
- Exhaustive iteration trait in Rust☆14Updated last week
- Compile-time temporary directory shared by multiple crates and erased by `cargo clean`☆74Updated 3 weeks ago
- ☆20Updated 2 years ago
- ☆38Updated 3 weeks ago
- Experimental type level programming in Rust☆37Updated 3 years ago
- sptr: The Strict Provenance Polyfill☆76Updated last year
- A tool to help with minimization of Rust code☆50Updated last year
- Support for mutually disjoint impls☆21Updated 6 months ago
- Read trait fixed to soundly work with uninitalized memory☆25Updated last year