jatcwang / immix-rustLinks
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
Sorting:
- Session Type EDSL for Rust☆104Updated 3 years ago
- ☆94Updated last year
- LR/GLR parser generator for Rust https://igordejanovic.github.io/rustemo/☆39Updated this week
- ☆48Updated last month
- A golden file testing library for rust☆33Updated this week
- Stack safe and expressive recursion in Rust☆101Updated last month
- hindley-milner algorithm☆61Updated 2 years ago
- exhaustive testing library☆64Updated last year
- Exploring the "expression problem" in Rust☆50Updated 2 years ago
- Zero overhead tracing garbage collection for rust (WIP)☆50Updated last year
- A super-simple compiler demoing how to talk to LLVM from Rust☆96Updated 9 years ago
- a reference-counting cycle collection library in rust☆77Updated 2 years ago
- A Rust logic programming library inspired by the *Kanren family of language DSLs.☆52Updated 4 months ago
- Datalog with equality for rust☆68Updated this week
- Propositional logic with types in Rust☆62Updated 2 years ago
- Proof of concept of procedural macro input parsed by LALRPOP☆52Updated 2 years ago
- Functional lens library for Rust