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
- Sruth Lùbach: A toy optimization engine☆23Updated 3 years ago
- ☆31Updated 9 months ago
- ☆93Updated last year
- A toy incremental computation framework☆15Updated 4 years ago
- An experimental columnar arena☆43Updated 5 months ago
- a reference-counting cycle collection library in rust☆77Updated 2 years ago
- Session Type EDSL for Rust☆102Updated 2 years ago
- Garbage collector implementation in Rust for Rust☆13Updated 4 years ago
- exhaustive testing library☆63Updated 8 months ago
- ☆19Updated 2 years ago
- Experimental persistent collections in Rust☆45Updated 7 years ago
- A lifetime inference algorithm for the Rust programming language written in Soufflé.☆24Updated 5 years ago
- Exploring the "expression problem" in Rust☆48Updated 2 years ago
- Proof of concept of procedural macro input parsed by LALRPOP☆51Updated 2 years ago
- ☆25Updated 8 months ago
- A minimal in-memory database with relational algebraic expressions as queries☆61Updated 3 years ago
- LR-style Parser Generator☆18Updated 2 months ago
- Garbage collector library☆23Updated 3 years ago
- Zero overhead tracing garbage collection for rust (WIP)☆50Updated 9 months ago
- Memory Management ToolKit☆33Updated last month
- Session types for asynchronous communication between multiple parties.☆41Updated 8 months ago
- hindley-milner algorithm☆58Updated last year
- Build a rustc sysroot with custom flags☆17Updated 6 months ago
- ☆48Updated 11 months ago
- Platform-independent space-efficient tagged pointers in Rust☆18Updated 3 months ago
- Minimal Prolog implemented in Rust☆43Updated 6 months ago
- A Rust logic programming library inspired by the *Kanren family of language DSLs.☆51Updated 2 weeks ago
- A library for deadlock-free session-typed communication in Rust.☆46Updated 4 years ago
- A library for garbage collection in Rust.☆13Updated 3 years ago
- Implementation of Immix Mark-Region Garbage collector written in Rust Programming Language.☆37Updated 4 years ago