metaborg / rust-scopegraphs
Scope Graph Implementation in Rust
☆22Updated 2 months ago
Alternatives and similar repositories for rust-scopegraphs:
Users that are interested in rust-scopegraphs are comparing it to the libraries listed below
- Overview of the Tree Borrows rules for detecting violations of the aliasing discipline in Rust☆23Updated 9 months ago
- Linux linker for x86 and x86-64☆26Updated 3 weeks ago
- Lift enum variants to the type-level.☆31Updated 3 years ago
- Choose Rust types at compile-time via constants☆63Updated last year
- experimental datalog rules for a next gen polonius☆19Updated 2 years ago
- Home of the "types team", affiliated with the compiler and lang teams.☆96Updated last year
- ☆32Updated 2 years ago
- Ultra-compact storage for collections of enums 🌱☆23Updated 2 years ago
- An experiment in an augmented error handling type for Rust☆38Updated this week
- Procedural macro to mock returning (values referencing) locals from a function (using CPS)☆30Updated 3 months ago
- ☆35Updated last year
- Experimental type level programming in Rust☆37Updated 3 years ago
- Port of https://github.com/plasma-umass/Mesh to Rust☆16Updated last year
- ☆41Updated last year
- We have Crater At Home☆22Updated 3 months ago
- Set the minimum alignments of types using const generics.☆17Updated 3 months ago
- Bounded integers for Rust☆29Updated last week
- exhaustive testing library☆63Updated 6 months ago
- Propositional logic with types in Rust☆61Updated last year
- Zero-cost specialization in generic context on stable Rust☆18Updated 3 months ago
- Ranged integers for Rust based on const generics☆27Updated 3 months ago
- Arena allocator with scopes☆43Updated last year
- A lightweight attribute for easy generation of const functions with conditional compilations.☆26Updated 2 weeks ago
- The never type (the true one!) in stable Rust.☆35Updated 3 years ago
- A rust library to hide types inside a diplomatic bag which can be sent between threads freely☆14Updated 2 years ago
- Proof of concept ranged integers in Rust.☆40Updated last week
- A primitive for writing structural search and replace programs for rust☆31Updated 6 months ago
- Proc macro derive to generate structs from enum variants.☆24Updated last year
- ☆17Updated 4 years ago
- A memory efficient syntax tree for language developers☆52Updated last week