jatcwang / immix-rust
mirror: GC implementation in Rust: http://ts.data61.csiro.au/publications/nictaabstracts/Lin_BHN_16.abstract.pml
☆36Updated 8 years ago
Alternatives and similar repositories for immix-rust:
Users that are interested in immix-rust are comparing it to the libraries listed below
- Stack safe and expressive recursion in Rust☆96Updated 3 months ago
- exhaustive testing library☆63Updated 8 months ago
- a reference-counting cycle collection library in rust☆77Updated 2 years ago
- A minimal in-memory database with relational algebraic expressions as queries☆61Updated 3 years ago
- An experimental columnar arena☆43Updated 5 months ago
- Proof of concept of procedural macro input parsed by LALRPOP☆52Updated 2 years ago
- Session Type EDSL for Rust☆102Updated 2 years ago
- ☆93Updated last year
- Sruth Lùbach: A toy optimization engine☆23Updated 3 years ago
- A Rust logic programming library inspired by the *Kanren family of language DSLs.☆51Updated last month
- ☆19Updated 2 years ago
- Exploring the "expression problem" in Rust☆48Updated 2 years ago
- hindley-milner algorithm☆58Updated last year
- Build a rustc sysroot with custom flags☆17Updated 7 months ago
- ☆31Updated 10 months ago
- Datalog with equality for rust☆68Updated 5 months ago
- Experimental persistent collections in Rust☆45Updated 7 years ago
- ☆48Updated last year
- ☆27Updated 4 years ago
- Home of the "types team", affiliated with the compiler and lang teams.☆95Updated last year
- The simd optimized escape code☆53Updated last week
- Modular register allocator algorithms☆106Updated 2 years ago
- A toy incremental computation framework☆15Updated 4 years ago
- Fast cache efficient immutable map for rust☆28Updated 6 months ago
- Type-level named values with partial dependent type support in Rust☆57Updated 3 years ago
- Zero overhead tracing garbage collection for rust (WIP)☆50Updated 9 months ago
- ☆45Updated 4 years ago
- super simple in-memory blocking LSM for constant-size keys and values☆69Updated 2 months ago
- Rust implementation of the Quine-McCluskey algorithm and Petrick's method☆32Updated last year
- Runtime with fast GC and easy concurrency.☆43Updated 4 years ago