wenyuzhao / mmtk-core
Memory Management ToolKit
☆33Updated last month
Alternatives and similar repositories for mmtk-core:
Users that are interested in mmtk-core are comparing it to the libraries listed below
- mirror: GC implementation in Rust: http://ts.data61.csiro.au/publications/nictaabstracts/Lin_BHN_16.abstract.pml☆36Updated 8 years ago
- Fast WebAssembly Baseline Compiler☆56Updated last year
- The Reussir Programming Language. Reuse Analysis in MLIR and Rust. Functional programming meets performance.☆16Updated 2 weeks ago
- OpenJDK binding for MMTk☆32Updated 2 months ago
- Sruth Lùbach: A toy optimization engine☆23Updated 3 years ago
- Rhyme is an Expressive Data-Centric Query Language☆27Updated last week
- RUst way for Reuse Analysis☆12Updated 11 months ago
- Programming Language for Continuous Deep Analytics☆45Updated last year
- Garbage collector implementation in Rust for Rust☆13Updated 4 years ago
- ☆19Updated last year
- A lifetime inference algorithm for the Rust programming language written in Soufflé.☆24Updated 5 years ago
- A dependent type system built entirely in Rust's trait system (WIP).☆25Updated 6 years ago
- Simple conservative GC using mimalloc☆39Updated 2 years ago
- ☆38Updated 4 years ago
- ☆37Updated 3 years ago
- Artifact for our ISPASS 2022 paper "Distilling the Real Cost of Production Garbage Collectors"☆18Updated 2 years ago
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆29Updated 3 years ago
- Just for fun riscv64 emulator, which boots the Linux.☆41Updated 2 years ago
- egg is a flexible, high-performance e-graph library☆11Updated 11 months ago
- An experimental optimizing compiler for Bril☆65Updated last week
- Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"☆21Updated last year
- (WIP) Dependently-typed programming language with Agda style dependent pattern matching☆80Updated 4 years ago
- the Dependent Unboxed higher-oRder Intermediate Notation☆13Updated 3 years ago
- An experimental language server for SomewhatML☆24Updated 2 years ago
- A simple induction and BMC engine.☆23Updated 2 years ago
- Changes and Pinafore projects. Pull requests not accepted.☆33Updated this week
- Rust-based Scheme Compiler, written in the Nanopass style☆12Updated 6 years ago
- LR/GLR parser generator for Rust https://igordejanovic.github.io/rustemo/☆38Updated this week
- Tracing JIT compiler and runtime for a subset of the JVM☆24Updated last year
- RLIBM-ALL: A correctly rounded math library and a polynomial generator that produces correct results for multiple floating point represen…☆15Updated last year