jatcwang / immix-rust
mirror: GC implementation in Rust: http://ts.data61.csiro.au/publications/nictaabstracts/Lin_BHN_16.abstract.pml
☆34Updated 8 years ago
Related projects ⓘ
Alternatives and complementary repositories for immix-rust
- ☆91Updated last year
- exhaustive testing library☆58Updated 3 months ago
- Stack safe and expressive recursion in Rust☆90Updated last month
- Proof of concept of procedural macro input parsed by LALRPOP☆51Updated last year
- An experimental columnar arena☆41Updated last week
- ☆25Updated 4 months ago
- Rust-based Scheme Compiler, written in the Nanopass style☆11Updated 6 years ago
- ☆45Updated 6 months ago
- ☆17Updated last year
- Session Type EDSL for Rust☆100Updated 2 years ago
- Library for building stateful property tests using the proptest crate☆23Updated 5 months ago
- A Rust logic programming library inspired by the *Kanren family of language DSLs.☆51Updated last month
- A lifetime inference algorithm for the Rust programming language written in Soufflé.☆24Updated 5 years ago
- Lift enum variants to the type-level.☆30Updated 3 years ago
- A toy incremental computation framework☆15Updated 3 years ago
- LR-style Parser Generator☆16Updated 3 weeks ago
- A no_std, zero-dependency crate for the creation and management of NaN-boxed types with Box-like semantics, tagged pointers and a macro i…☆19Updated 4 years ago
- Exploring the "expression problem" in Rust☆46Updated 2 years ago
- A Minsky Machine in Rust's type system☆46Updated 4 years ago
- A Result-like type that can collect multiple Errs☆12Updated 4 years ago
- Modular register allocator algorithms☆106Updated 2 years ago
- Sruth Lùbach: A toy optimization engine☆23Updated 3 years ago
- Zero overhead tracing garbage collection for rust (WIP)☆50Updated 4 months ago
- Session types for asynchronous communication between multiple parties.☆39Updated 4 months ago
- A set of tools for working with datafrog☆22Updated 4 years ago
- Emulating Higher-Kinded Types in Rust via Plug/Unplug. Also, Monads.☆30Updated 5 years ago
- a reference-counting cycle collection library in rust☆75Updated last year
- A memory efficient syntax tree for language developers☆51Updated 2 months ago
- Minimal Prolog implemented in Rust☆41Updated last month
- Experimental persistent collections in Rust☆43Updated 7 years ago