wenyuzhao / mmtk-coreLinks
Memory Management ToolKit
☆37Updated 4 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☆60Updated 2 years ago
- Rhyme is an Expressive Data-Centric Query Language☆30Updated last month
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆32Updated 7 months ago
- mirror: GC implementation in Rust: http://ts.data61.csiro.au/publications/nictaabstracts/Lin_BHN_16.abstract.pml☆36Updated 9 years ago
- A term rewriting system for experimental programming language development.☆47Updated 2 weeks ago
- ☆87Updated last year
- The Reussir Programming Language. Reuse Analysis in MLIR and Rust. Functional programming meets performance.☆17Updated 8 months ago
- Simple conservative GC using mimalloc☆41Updated 3 years ago
- Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"☆22Updated 2 years ago
- Robust multi-prompt delimited control and effect handlers in C/C++☆129Updated 2 years ago
- Minimalistic dynamically-typed programming language for didactic purposes.☆29Updated 3 years ago
- ☆39Updated 4 years ago
- Lightweight framework for easy and efficient code generation☆105Updated last year
- An experimental optimizing compiler for Bril using egglog☆80Updated last week
- JIT compiler for Scheme targeting x86-64 platforms☆31Updated 6 years ago
- A formally-verified provably-safe sandboxing Wasm-to-native compiler☆28Updated 3 years ago
- OpenJDK binding for MMTk☆36Updated this week
- Educational implementation of a subset of the JVM bytecode to illustrate imperative and object-oriented programming.☆57Updated last year
- MimIR is my Intermediate Representation☆83Updated this week
- An experimental language server for SomewhatML☆24Updated 2 years ago
- Prototype Mixed-consistency transaction implementation☆64Updated 7 years ago
- Oversimplified version of Simple-sub: without recursive types, without nested let polymorphism, and with approximated type-variable-to-ty…☆27Updated 3 years ago
- Pure functional programming with whole-program mutability inference☆78Updated 4 months ago
- Spatial layout specifications for memory management systems.☆19Updated 5 years ago
- A compiler for Standard ML, somewhat☆204Updated 3 years ago
- Artifact for our ISPASS 2022 paper "Distilling the Real Cost of Production Garbage Collectors"☆19Updated 3 years ago
- Pull your compiler up with abstract bootstraps.☆31Updated 2 years ago
- Datalog + Egg = Good☆66Updated 2 years ago
- Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine☆29Updated 4 years ago
- A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.☆106Updated last year