jatcwang / immix-rustLinks
mirror: GC implementation in Rust: http://ts.data61.csiro.au/publications/nictaabstracts/Lin_BHN_16.abstract.pml
☆36Updated 9 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:
- ☆94Updated 2 years ago
- Session Type EDSL for Rust☆103Updated 3 years ago
- ☆49Updated 4 months ago
- A super-simple compiler demoing how to talk to LLVM from Rust☆96Updated 9 years ago
- Exploring the "expression problem" in Rust☆50Updated 3 years ago
- Functional lens library for Rust☆109Updated 4 years ago
- Stack safe and expressive recursion in Rust☆103Updated 4 months ago
- Datalog with equality for rust☆71Updated this week
- Sruth Lùbach: A toy optimization engine☆23Updated 4 years ago
- a reference-counting cycle collection library in rust☆77Updated 2 years ago
- Pratt parser written in Rust☆91Updated last year
- A Rust logic programming library inspired by the *Kanren family of language DSLs.☆53Updated 7 months ago
- Zero overhead tracing garbage collection for rust (WIP)☆50Updated last year
- exhaustive testing library☆65Updated last year
- A golden file testing library for rust☆37Updated last month
- LR/GLR parser generator for Rust https://igordejanovic.github.io/rustemo/☆40Updated this week
- hindley-milner algorithm☆62Updated 2 years ago
- Session types for asynchronous communication between multiple parties.☆41Updated last year
- A toy Lisp compiler targeting x86-64☆40Updated 5 years ago
- yk packages☆33Updated this week
- A garbage collection library for Rust with zero unsafe code☆115Updated last year
- A meta-JIT library for Rust interpreters☆165Updated 2 years ago
- ☆21Updated 2 years ago
- Proof of concept of procedural macro input parsed by LALRPOP☆52Updated 2 years ago
- Monad/MonadIO, Handler, Coroutine/doNotation, Functional Programming features for Rust☆122Updated 4 years ago
- A minimal in-memory database with relational algebraic expressions as queries☆62Updated 4 years ago
- A proc macro for real async traits, using nightly-only existential types and generic associated types to work around the need for type er…☆45Updated 3 years ago
- Memory Management ToolKit☆37Updated 3 months ago
- A concurrent GC.☆43Updated 3 years ago
- Empowering everyone to build reliable and efficient software.☆39Updated 2 months ago