wenyuzhao / mmtk-coreLinks
Memory Management ToolKit
☆37Updated 5 months ago
Alternatives and similar repositories for mmtk-core
Users that are interested in mmtk-core are comparing it to the libraries listed below
Sorting:
- Fast WebAssembly Baseline Compiler☆61Updated 2 years ago
- The Reussir Programming Language. Reuse Analysis in MLIR and Rust. Functional programming meets performance.☆17Updated 8 months ago
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆33Updated 7 months ago
- A term rewriting system for experimental programming language development.☆47Updated 2 weeks ago
- Rhyme is an Expressive Data-Centric Query Language☆30Updated last week
- mirror: GC implementation in Rust: http://ts.data61.csiro.au/publications/nictaabstracts/Lin_BHN_16.abstract.pml☆36Updated 9 years ago
- Execute and document benchmarks reproducibly.☆96Updated 5 months ago
- Artifact for our ISPASS 2022 paper "Distilling the Real Cost of Production Garbage Collectors"☆19Updated 3 years ago
- Rust implementation of µKanren, a featherweight relational programming language.☆116Updated 2 years ago
- An experimental optimizing compiler for Bril using egglog☆82Updated last month
- Oversimplified version of Simple-sub: without recursive types, without nested let polymorphism, and with approximated type-variable-to-ty…☆27Updated 3 years ago
- Simple conservative GC using mimalloc☆41Updated 3 years ago
- ☆39Updated 4 years ago
- A compiler for Standard ML, somewhat☆204Updated 3 years ago
- Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine☆29Updated 4 years ago
- The uncurried minimal functional programming language for CPS transformation☆18Updated last year
- ☆87Updated last year
- JIT compiler for Scheme targeting x86-64 platforms☆31Updated 6 years ago
- Pull your compiler up with abstract bootstraps.☆31Updated 3 years ago
- Lightweight framework for easy and efficient code generation☆104Updated last year
- Minimalistic dynamically-typed programming language for didactic purposes.☆29Updated 3 years ago
- OpenJDK binding for MMTk☆36Updated 3 weeks ago
- Robust multi-prompt delimited control and effect handlers in C/C++☆130Updated 2 years ago
- Tracing JIT compiler and runtime for a subset of the JVM☆26Updated last year
- (WIP) Dependently-typed programming language with Agda style dependent pattern matching☆80Updated 5 years ago
- Datalog + Egg = Good☆66Updated 2 years ago
- Sruth Lùbach: A toy optimization engine☆23Updated 4 years ago
- Rust-based Scheme Compiler, written in the Nanopass style☆12Updated 7 years ago
- Programming Language for Continuous Deep Analytics☆47Updated 2 years ago
- LR/GLR parser generator for Rust https://igordejanovic.github.io/rustemo/☆40Updated 2 weeks ago