metaborg / rust-scopegraphsLinks
Scope Graph Implementation in Rust
☆27Updated 7 months ago
Alternatives and similar repositories for rust-scopegraphs
Users that are interested in rust-scopegraphs are comparing it to the libraries listed below
Sorting:
- We have Crater At Home☆35Updated 8 months ago
- A memory efficient syntax tree for language developers☆62Updated last month
- Propositional logic with types in Rust☆62Updated last year
- Experimental type level programming in Rust☆37Updated 3 years ago
- Choose Rust types at compile-time via constants☆68Updated last year
- Lift enum variants to the type-level.☆33Updated 4 years ago
- An experiment in an augmented error handling type for Rust☆39Updated last week
- Procedural macro to mock returning (values referencing) locals from a function (using CPS)☆31Updated 8 months ago
- Linux linker for x86 and x86-64☆32Updated last month
- Home of the "types team", affiliated with the compiler and lang teams.☆96Updated last year
- sptr: The Strict Provenance Polyfill☆75Updated last year
- Idiomatic exceptions for Rust☆77Updated last week
- The never type (the true one!) in stable Rust.☆40Updated last week
- ☆41Updated last year
- Twinsies is a specialized reference-counting pointer where the item is jointly owned in 2 places☆27Updated last year
- A primitive for writing structural search and replace programs for rust☆31Updated this week
- Overview of the Tree Borrows rules for detecting violations of the aliasing discipline in Rust☆26Updated last year
- ☆43Updated last year
- Ultra-compact storage for collections of enums 🌱☆22Updated 2 years ago
- Data-driven tests on stable Rust☆40Updated this week
- Transport-polymorphic, asynchronous session types for Rust☆63Updated 2 years ago
- Eurydice compiles (a modest subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.☆103Updated this week
- An interface for writing a RustTypeChecker.☆43Updated 2 years ago
- Rust bindings for libgccjit☆23Updated 2 months ago
- Exhaustive iteration trait in Rust☆16Updated last week
- Port of https://github.com/plasma-umass/Mesh to Rust☆16Updated 2 years ago
- A tool to help with minimization of Rust code☆58Updated 2 months ago
- Static Pointer Analyzer and Transpiler from C to Safe Rust☆25Updated last month
- Faster integer division and modulus operations☆87Updated 2 weeks ago
- Exploring the "expression problem" in Rust☆50Updated 2 years ago