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
- Stack safe and expressive recursion in Rust☆102Updated 2 months ago
- A super-simple compiler demoing how to talk to LLVM from Rust☆96Updated 9 years ago
- A Rust logic programming library inspired by the *Kanren family of language DSLs.☆52Updated 5 months ago
- Zero overhead tracing garbage collection for rust (WIP)☆50Updated last year
- Datalog with equality for rust☆68Updated last week
- Functional lens library for Rust☆107Updated 4 years ago
- exhaustive testing library☆64Updated last year
- Rust implementation of µKanren, a featherweight relational programming language.☆115Updated 2 years ago
- A golden file testing library for rust☆35Updated 3 weeks ago
- hindley-milner algorithm☆62Updated 2 years ago
- LR/GLR parser generator for Rust https://igordejanovic.github.io/rustemo/☆39Updated this week
- ☆49Updated 2 months ago
- Pratt parser written in Rust☆91Updated last year
- Sruth Lùbach: A toy optimization engine☆23Updated 4 years ago
- A library for garbage collection in Rust.☆13Updated 4 years ago
- A garbage collection library for Rust with zero unsafe code☆116Updated last year
- Liquid Types implementation for Rust☆29Updated 2 years ago
- A minimal in-memory database with relational algebraic expressions as queries☆61Updated 4 years ago
- Exploring the "expression problem" in Rust☆50Updated 2 years ago
- a reference-counting cycle collection library in rust☆77Updated 2 years ago
- A meta-JIT library for Rust interpreters☆165Updated 2 years ago
- Session types for asynchronous communication between multiple parties.☆41Updated last year
- An experimental columnar arena☆43Updated 9 months ago
- Wadler-style pretty-printing combinators in Rust☆162Updated 5 months ago
- A macro for defining type operators in Rust.☆64Updated 8 years ago
- Memory Management ToolKit☆36Updated last month
- A library for deadlock-free session-typed communication in Rust.☆46Updated 4 years ago
- Macros have types!☆131Updated 2 years ago