wenyuzhao / mmtk-coreLinks
Memory Management ToolKit
☆37Updated 6 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
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆33Updated 8 months ago
- A term rewriting system for experimental programming language development.☆48Updated last month
- mirror: GC implementation in Rust: http://ts.data61.csiro.au/publications/nictaabstracts/Lin_BHN_16.abstract.pml☆36Updated 9 years ago
- Simple conservative GC using mimalloc☆41Updated 3 years ago
- Rhyme is an Expressive Data-Centric Query Language☆30Updated 2 weeks ago
- MimIR is my Intermediate Representation☆88Updated this week
- Artifact for our ISPASS 2022 paper "Distilling the Real Cost of Production Garbage Collectors"☆19Updated 3 years ago
- A meta tracing JIT for x86 and interpreters written in C/C++☆36Updated 9 years ago
- Robin Hood Sort, for uniform data☆75Updated 2 years ago
- An experimental optimizing compiler for Bril using egglog☆82Updated this week
- Robust multi-prompt delimited control and effect handlers in C/C++☆131Updated 2 years ago
- Tracing JIT compiler and runtime for a subset of the JVM☆26Updated 2 years ago
- ☆11Updated 4 years ago
- Lightweight framework for easy and efficient code generation☆104Updated last year
- A formally-verified provably-safe sandboxing Wasm-to-native compiler☆28Updated 3 years ago
- The Reussir Programming Language. Reuse Analysis in MLIR and Rust. Functional programming meets performance.☆18Updated 9 months ago
- Prototype Mixed-consistency transaction implementation☆65Updated 7 years ago
- Rust implementation of µKanren, a featherweight relational programming language.☆116Updated 3 years ago
- Execute and document benchmarks reproducibly.☆97Updated 6 months ago
- JIT compiler for Scheme targeting x86-64 platforms☆33Updated 6 years ago
- ☆87Updated last year
- Pull your compiler up with abstract bootstraps.☆31Updated 3 years ago
- Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine☆29Updated 4 years ago
- a small C++ lattice library☆15Updated 6 years ago
- Experiments about intermediate representations in compilers☆28Updated 13 years ago
- Rust-based Scheme Compiler, written in the Nanopass style☆12Updated 7 years ago
- Datalog + Egg = Good☆66Updated 2 years ago
- ☆17Updated last year
- https://www.usenix.org/conference/atc20/presentation/boucher☆26Updated 3 years ago