metaborg / rust-scopegraphsLinks
Scope Graph Implementation in Rust
☆27Updated 10 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☆36Updated 11 months ago
- Experimental type level programming in Rust☆39Updated 4 years ago
- Overview of the Tree Borrows rules for detecting violations of the aliasing discipline in Rust☆26Updated last year
- Lift enum variants to the type-level.☆32Updated 4 years ago
- Propositional logic with types in Rust☆63Updated 2 years ago
- ☆53Updated last month
- Transport-polymorphic, asynchronous session types for Rust☆63Updated 2 years ago
- A memory efficient syntax tree for language developers☆62Updated last month
- Stack safe and expressive recursion in Rust☆103Updated 3 months ago
- A highly experiment portable runtime☆20Updated last year
- Home of the "types team", affiliated with the compiler and lang teams.☆96Updated last year
- Linux linker for x86 and x86-64☆32Updated 4 months ago
- Visualise recursive functions and tree structures.☆30Updated 4 years ago
- Ultra-compact storage for collections of enums 🌱☆23Updated 3 years ago
- ☆40Updated last year
- Propositional logic with exponentials☆22Updated last week
- Static Pointer Analyzer and Transpiler from C to Safe Rust☆25Updated 4 months ago
- An experiment in an augmented error handling type for Rust☆40Updated 3 weeks ago
- Twinsies is a specialized reference-counting pointer where the item is jointly owned in 2 places☆27Updated last year
- sptr: The Strict Provenance Polyfill☆75Updated last year
- Port of https://github.com/plasma-umass/Mesh to Rust☆16Updated 2 years ago
- 🎶 Choreographic programming in Rust 🎶☆59Updated 6 months ago
- Unborrowed Rust Compiler (rustc without a borrowchecker)☆111Updated last year
- A tool to help with minimization of Rust code☆59Updated 5 months ago
- Rust bindings for libgccjit☆23Updated last month
- Exploring the "expression problem" in Rust☆50Updated 3 years ago
- A syntactic "for" loop Rust macro☆56Updated 2 years ago
- Procedural macro to mock returning (values referencing) locals from a function (using CPS)☆33Updated 11 months ago
- Exhaustive iteration trait in Rust☆16Updated this week
- Ranged integers for Rust based on const generics☆28Updated 3 months ago