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☆30Updated 5 months ago
- Port of https://github.com/plasma-umass/Mesh to Rust☆16Updated 2 years ago
- Overview of the Tree Borrows rules for detecting violations of the aliasing discipline in Rust☆24Updated 11 months ago
- experimental datalog rules for a next gen polonius☆19Updated 2 years ago
- ☆37Updated last year
- Safely transmute type to itself in generic context in Rust☆14Updated 2 years 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
- Experimental type level programming in Rust☆37Updated 3 years ago
- Linux linker for x86 and x86-64☆26Updated last month
- The never type (the true one!) in stable Rust.☆37Updated 3 years ago
- An IDE extension for debugging trait errors in Rust.☆109Updated this week
- Choose Rust types at compile-time via constants☆64Updated last year
- ☆41Updated last year
- A memory efficient syntax tree for language developers☆57Updated 2 weeks ago
- Implied bounds, since 1.79!☆20Updated 4 months ago
- sptr: The Strict Provenance Polyfill☆76Updated last year
- A primitive for writing structural search and replace programs for rust☆31Updated 9 months ago
- Fast Function Dispatch: Improving the performance of Rust's dynamic function calls☆32Updated 5 months ago
- Lift enum variants to the type-level.☆33Updated 4 years ago
- Ranged integers for Rust based on const generics☆28Updated 6 months ago
- Set the minimum alignments of types using const generics.☆18Updated 5 months ago
- Procedural macro to mock returning (values referencing) locals from a function (using CPS)☆30Updated 5 months ago
- Proof of concept ranged integers in Rust.☆45Updated last week
- Faster integer division and modulus operations☆87Updated 2 years ago
- Exhaustive iteration trait in Rust☆14Updated 3 weeks ago
- Lightning Creations Compiler Frontend for various languages☆119Updated 4 months ago
- ☆12Updated 3 weeks ago
- Idiomatic exceptions for Rust☆73Updated 7 months ago
- replacement for std::{Range,RangeInclusive}☆36Updated 2 years ago
- A lightweight attribute for easy generation of const functions with conditional compilations.☆27Updated 3 weeks ago