metaborg / rust-scopegraphsLinks
Scope Graph Implementation in Rust
☆28Updated last year
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☆37Updated last year
- Experimental type level programming in Rust☆41Updated 4 years ago
- Static Pointer Analyzer and Transpiler from C to Safe Rust☆24Updated last week
- An experiment in an augmented error handling type for Rust☆40Updated 4 months ago
- A memory efficient syntax tree for language developers☆63Updated 2 weeks ago
- Propositional logic with types in Rust☆64Updated 2 years ago
- Lift enum variants to the type-level.☆32Updated 4 years ago
- sptr: The Strict Provenance Polyfill☆75Updated 2 years ago
- ☆54Updated 4 months ago
- Overview of the Tree Borrows rules for detecting violations of the aliasing discipline in Rust☆27Updated last year
- A highly experiment portable runtime☆21Updated last year
- Fast Function Dispatch: Improving the performance of Rust's dynamic function calls☆36Updated last year
- Linux linker for x86 and x86-64☆31Updated 7 months ago
- Unborrowed Rust Compiler (rustc without a borrowchecker)☆111Updated 2 years ago
- Procedural macro to mock returning (values referencing) locals from a function (using CPS)☆35Updated last year
- Choose Rust types at compile-time via constants☆69Updated last year
- Home of the "types team", affiliated with the compiler and lang teams.☆97Updated 2 years ago
- Ultra-compact storage for collections of enums 🌱☆23Updated 3 years ago
- The never type (the true one!) in stable Rust.☆41Updated 6 months ago
- experimental datalog rules for a next gen polonius☆19Updated 3 years ago
- A syntactic "for" loop Rust macro☆56Updated 2 years ago
- ☆16Updated last year
- Port of https://github.com/plasma-umass/Mesh to Rust☆16Updated 2 years ago
- A primitive for writing structural search and replace programs for rust☆31Updated 3 months ago
- A fast bump allocator that supports allocation scopes / checkpoints. Aka an arena for values of arbitrary types.☆56Updated last week
- ☆39Updated last year
- Debugger written in Rust☆25Updated 3 years ago
- Visualise recursive functions and tree structures.☆30Updated 4 years ago
- Idiomatic exceptions for Rust☆92Updated 5 months ago
- Transport-polymorphic, asynchronous session types for Rust☆64Updated 3 years ago