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:
- hindley-milner algorithm☆61Updated 2 years ago
- Stack safe and expressive recursion in Rust☆97Updated last month
- ☆95Updated last year
- A golden file testing library for rust☆33Updated 2 months ago
- Sruth Lùbach: A toy optimization engine☆23Updated 4 years ago
- ☆19Updated 2 years ago
- ☆48Updated last month
- Session Type EDSL for Rust☆103Updated 3 years ago
- Performance comparisons between various virtual interpreter implementation strategies☆42Updated last year
- An experimental columnar arena☆43Updated 8 months ago
- Pratt parser written in Rust☆90Updated last year
- Exploring the "expression problem" in Rust☆50Updated 2 years ago
- A minimal in-memory database with relational algebraic expressions as queries☆61Updated 3 years ago
- A Rust logic programming library inspired by the *Kanren family of language DSLs.☆52Updated 3 months ago
- A super-simple compiler demoing how to talk to LLVM from Rust☆96Updated 9 years ago
- Zero overhead tracing garbage collection for rust (WIP)☆50Updated last year
- Session types for asynchronous communication between multiple parties.☆41Updated last year
- a reference-counting cycle collection library in rust☆77Updated 2 years ago
- A meta-JIT library for Rust interpreters☆163Updated 2 years ago
- Transport-polymorphic, asynchronous session types for Rust☆63Updated 2 years ago
- A gradually-typed, functional scripting language with a friendly syntax and interpreter written in Rust!☆31Updated 3 years ago
- ☆27Updated 4 years ago
- exhaustive testing library☆64Updated 11 months ago
- Build a rustc sysroot with custom flags☆17Updated 2 weeks ago
- Type-Level Programming in Rust☆27Updated 3 years ago
- A macro for defining type operators in Rust.☆64Updated 8 years ago
- Datalog with equality for rust☆68Updated this week
- experimental datalog rules for a next gen polonius☆19Updated 2 years ago
- ☆25Updated last year
- yk packages☆33Updated this week