wenyuzhao / mmtk-core
Memory Management ToolKit
☆33Updated this week
Alternatives and similar repositories for mmtk-core:
Users that are interested in mmtk-core are comparing it to the libraries listed below
- OpenJDK binding for MMTk☆32Updated last month
- Sruth Lùbach: A toy optimization engine☆23Updated 3 years ago
- Garbage collector implementation in Rust for Rust☆13Updated 4 years ago
- Fast WebAssembly Baseline Compiler☆56Updated last year
- mirror: GC implementation in Rust: http://ts.data61.csiro.au/publications/nictaabstracts/Lin_BHN_16.abstract.pml☆36Updated 8 years ago
- Artifact for our ISPASS 2022 paper "Distilling the Real Cost of Production Garbage Collectors"☆18Updated 2 years ago
- The Reussir Programming Language. Reuse Analysis in MLIR and Rust. Functional programming meets performance.☆15Updated this week
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆29Updated 3 years ago
- An experimental language server for SomewhatML☆24Updated 2 years ago
- egg is a flexible, high-performance e-graph library☆11Updated 10 months ago
- Simple conservative GC using mimalloc☆39Updated 2 years ago
- ☆37Updated 3 years ago
- Faster division by constants that aren't known at compile-time☆24Updated 3 years ago
- A lifetime inference algorithm for the Rust programming language written in Soufflé.☆24Updated 5 years ago
- MimIR is my Intermediate Representation☆56Updated this week
- The uncurried minimal functional programming language for CPS transformation☆18Updated 11 months ago
- Session Type EDSL for Rust☆103Updated 2 years ago
- Rhyme is an Expressive Data-Centric Query Language☆27Updated this week
- (WIP) Dependently-typed programming language with Agda style dependent pattern matching☆80Updated 4 years ago
- ☆38Updated 4 years ago
- Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"☆21Updated last year
- Tracing JIT compiler and runtime for a subset of the JVM☆24Updated last year
- SPSC: A Small Positive Supercompiler☆34Updated 8 months ago
- ☆10Updated 5 years ago
- Proving a blocking queue deadlock free in a dozen different ways☆43Updated 3 months ago
- ☆19Updated last year
- JIT compiler for Scheme targeting x86-64 platforms☆30Updated 5 years ago
- Datalog + Egg = Good☆65Updated last year
- A library for deadlock-free session-typed communication in Rust.☆46Updated 3 years ago
- Spatial layout specifications for memory management systems.☆19Updated 4 years ago