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:
- An experimental columnar arena☆43Updated 7 months ago
- Sruth Lùbach: A toy optimization engine☆23Updated 4 years ago
- ☆19Updated 2 years ago
- Proof of concept of procedural macro input parsed by LALRPOP☆52Updated 2 years ago
- hindley-milner algorithm☆61Updated 2 years ago
- a reference-counting cycle collection library in rust☆77Updated 2 years ago
- A toy incremental computation framework☆15Updated 4 years ago
- Build a rustc sysroot with custom flags☆17Updated 2 weeks ago
- Stack safe and expressive recursion in Rust☆97Updated 2 weeks ago
- JIT codegen backend with SSA IR based on B3 from WebKit☆62Updated last year
- ☆94Updated last year
- exhaustive testing library☆63Updated 10 months ago
- A lifetime inference algorithm for the Rust programming language written in Soufflé.☆24Updated 6 years ago
- Exploring the "expression problem" in Rust☆50Updated 2 years ago
- Type-Level Programming in Rust☆27Updated 3 years ago
- Zero overhead tracing garbage collection for rust (WIP)☆50Updated 11 months ago
- ☆35Updated last year
- Propositional logic with types in Rust☆62Updated last year
- A minimal in-memory database with relational algebraic expressions as queries☆61Updated 3 years ago
- An ordered map and set based on a trie.☆28Updated 5 years ago
- Serde serializer for generating Starlark build targets☆66Updated last month
- Datalog with equality for rust☆68Updated last month
- Session Type EDSL for Rust☆103Updated 2 years ago
- ☆48Updated 2 weeks ago
- An experiment in an augmented error handling type for Rust☆39Updated last week
- wait-free 4-level 64-bit pagetable for contiguous low-contention concurrent metadata☆39Updated 10 months ago
- ☆46Updated 4 years ago
- Automatically verify traits invariants for [Partial]Eq, [Partial]Ord, Hash, [DoubleEnded|Fused]iterator☆20Updated last year
- A Rust logic programming library inspired by the *Kanren family of language DSLs.☆52Updated 3 months ago
- Library for building stateful property tests using the proptest crate☆24Updated 3 weeks ago