Alternatives and similar repositories for mmtk-core

Users that are interested in mmtk-core are comparing it to the libraries listed below

• sillycross / WasmNow
  Fast WebAssembly Baseline Compiler
  ☆60Updated 2 years ago
• jatcwang / immix-rust
  mirror: GC implementation in Rust: http://ts.data61.csiro.au/publications/nictaabstracts/Lin_BHN_16.abstract.pml
  ☆36Updated 9 years ago
• playXE / migc
  Simple conservative GC using mimalloc
  ☆41Updated 2 years ago
• egraphs-good / eggcc
  An experimental optimizing compiler for Bril using egglog
  ☆81Updated this week
• ndmitchell / interpret
  ☆39Updated 4 years ago
• SchrodingerZhu / reussir-lang
  The Reussir Programming Language. Reuse Analysis in MLIR and Rust. Functional programming meets performance.
  ☆17Updated 7 months ago
• microsoft / Trieste
  A term rewriting system for experimental programming language development.
  ☆47Updated 3 weeks ago
• caizixian / distillation
  Artifact for our ISPASS 2022 paper "Distilling the Real Cost of Production Garbage Collectors"
  ☆19Updated 2 years ago
• mmtk / mmtk-openjdk
  OpenJDK binding for MMTk
  ☆36Updated this week
• cda-group / arc
  Programming Language for Continuous Deep Analytics
  ☆47Updated 2 years ago
• raviqqe / fmm
  The uncurried minimal functional programming language for CPS transformation
  ☆18Updated last year
• femtomc / abstraps
  Pull your compiler up with abstract bootstraps.
  ☆31Updated 2 years ago
• ekzhang / ukanren-rs
  Rust implementation of µKanren, a featherweight relational programming language.
  ☆115Updated 2 years ago
• true-grue / graph-irs
  Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"
  ☆22Updated 2 years ago
• sillycross / PochiVM
  Lightweight framework for easy and efficient code generation
  ☆104Updated last year
• mlochbaum / rhsort
  Robin Hood Sort, for uniform data
  ☆75Updated 2 years ago
• clflushopt / coldbrew
  Tracing JIT compiler and runtime for a subset of the JVM
  ☆26Updated last year
• prg-titech / baccaml
  Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.
  ☆32Updated 6 months ago
• rhyme-lang / rhyme
  Rhyme is an Expressive Data-Centric Query Language
  ☆30Updated last week
• smarr / ReBench
  Execute and document benchmarks reproducibly.
  ☆96Updated 4 months ago
• sampsyo / flatcalc
  world's worst interpreter
  ☆62Updated 6 months ago
• mwillsey / egg
  egg is a flexible, high-performance e-graph library
  ☆12Updated last year
• pythonesque / dependent_traits
  A dependent type system built entirely in Rust's trait system (WIP).
  ☆25Updated 7 years ago
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆66Updated 2 years ago
• efficient / libinger
  https://www.usenix.org/conference/atc20/presentation/boucher
  ☆26Updated 3 years ago
• tchajed / futex-tutorial
  ☆14Updated last year
• playXE / rsgc
  ☆21Updated 2 years ago
• secure-foundations / vWasm
  A formally-verified provably-safe sandboxing Wasm-to-native compiler
  ☆28Updated 3 years ago
• jsiek / featherweight-C
  Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine
  ☆29Updated 4 years ago
• unison-code / unison
  Unison's source code
  ☆109Updated last year