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:
- Proof of concept of procedural macro input parsed by LALRPOP☆52Updated 2 years ago
- Sruth Lùbach: A toy optimization engine☆23Updated 3 years ago
- ☆94Updated last year
- Stack safe and expressive recursion in Rust☆98Updated 5 months ago
- ☆32Updated 11 months ago
- Session Type EDSL for Rust☆103Updated 2 years ago
- A toy incremental computation framework☆15Updated 4 years ago
- An experimental columnar arena☆43Updated 7 months ago
- hindley-milner algorithm☆61Updated 2 years ago
- exhaustive testing library☆63Updated 10 months ago
- ☆48Updated 2 weeks ago
- A minimal in-memory database with relational algebraic expressions as queries☆61Updated 3 years ago
- An experiment in an augmented error handling type for Rust☆39Updated 2 weeks ago
- Exploring the "expression problem" in Rust☆49Updated 2 years ago
- Datalog with equality for rust☆68Updated last month
- Zero overhead tracing garbage collection for rust (WIP)☆50Updated 11 months ago
- Propositional logic with types in Rust☆62Updated last year
- a reference-counting cycle collection library in rust☆77Updated 2 years ago
- Fast cache efficient immutable map for rust☆28Updated 7 months ago
- replacement for std::{Range,RangeInclusive}☆36Updated 2 years ago
- A lifetime inference algorithm for the Rust programming language written in Soufflé.☆24Updated 5 years ago
- yk packages☆32Updated this week
- A golden file testing library for rust☆33Updated 2 weeks ago
- ☆19Updated 2 years ago
- Liquid Types implementation for Rust☆29Updated 2 years ago
- Automatically verify traits invariants for [Partial]Eq, [Partial]Ord, Hash, [DoubleEnded|Fused]iterator☆20Updated last year
- Type-level named values with partial dependent type support in Rust☆57Updated 3 years ago
- Type-Level Programming in Rust☆27Updated 3 years ago
- Memory Management ToolKit☆35Updated 3 weeks ago
- A super-simple compiler demoing how to talk to LLVM from Rust☆95Updated 8 years ago