wenyuzhao / mmtk-coreLinks
Memory Management ToolKit
☆36Updated last month
Alternatives and similar repositories for mmtk-core
Users that are interested in mmtk-core are comparing it to the libraries listed below
Sorting:
- The Reussir Programming Language. Reuse Analysis in MLIR and Rust. Functional programming meets performance.☆17Updated 4 months ago
- Fast WebAssembly Baseline Compiler☆59Updated 2 years ago
- mirror: GC implementation in Rust: http://ts.data61.csiro.au/publications/nictaabstracts/Lin_BHN_16.abstract.pml☆36Updated 8 years ago
- An experimental optimizing compiler for Bril☆72Updated 2 weeks ago
- Artifact for our ISPASS 2022 paper "Distilling the Real Cost of Production Garbage Collectors"☆19Updated 2 years ago
- https://www.usenix.org/conference/atc20/presentation/boucher☆26Updated 3 years ago
- Simple conservative GC using mimalloc☆40Updated 2 years ago
- A term rewriting system for experimental programming language development.☆44Updated last month
- Programming Language for Continuous Deep Analytics☆47Updated last year
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆31Updated 3 months ago
- Rhyme is an Expressive Data-Centric Query Language☆30Updated 2 months ago
- egg is a flexible, high-performance e-graph library☆12Updated last year
- Debugging WebAssembly? Put some Whamm! on it.☆36Updated last week
- a small C++ lattice library☆15Updated 5 years ago
- Minimalistic dynamically-typed programming language for didactic purposes.☆28Updated 3 years ago
- Execute and document benchmarks reproducibly.☆92Updated last month
- ☆39Updated 4 years ago
- Tracing JIT compiler and runtime for a subset of the JVM☆24Updated last year
- Datalog + Egg = Good☆66Updated 2 years ago
- yk packages☆33Updated last week
- A description of Minotaur can be found in https://arxiv.org/abs/2306.00229.☆110Updated last year
- Rust implementation of µKanren, a featherweight relational programming language.☆114Updated 2 years ago
- Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"☆21Updated last year
- ☆19Updated 2 years ago
- Educational implementation of a subset of the JVM bytecode to illustrate imperative and object-oriented programming.☆56Updated last year
- The essence of Rust.☆127Updated 3 years ago
- JIT compiler for Scheme targeting x86-64 platforms☆31Updated 6 years ago
- A dependent type system built entirely in Rust's trait system (WIP).☆25Updated 6 years ago
- A formally-verified provably-safe sandboxing Wasm-to-native compiler☆27Updated 2 years ago
- An experimental language server for SomewhatML☆24Updated 2 years ago