wenyuzhao / mmtk-core

Related projects: ⓘ

• rain-lang / rain-ir
  ☆11Updated this week
• Kixiron / sruth
  Sruth Lùbach: A toy optimization engine
  ☆23Updated 3 years ago
• RedlineResearch / floorplan
  Spatial layout specifications for memory management systems.
  ☆19Updated 4 years ago
• cgswords / rsc
  Rust-based Scheme Compiler, written in the Nanopass style
  ☆11Updated 6 years ago
• sillycross / WasmNow
  Fast WebAssembly Baseline Compiler
  ☆53Updated last year
• prg-titech / baccaml
  Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.
  ☆28Updated 2 years ago
• caizixian / distillation
  Artifact for our ISPASS 2022 paper "Distilling the Real Cost of Production Garbage Collectors"
  ☆18Updated last year
• mmtk / mmtk-openjdk
  OpenJDK binding for MMTk
  ☆31Updated last week
• microvm / microvm-refimpl2
  We have moved: https://gitlab.anu.edu.au/mu/mu-impl-ref2
  ☆26Updated 8 years ago
• playXE / migc
  Simple conservative GC using mimalloc
  ☆36Updated last year
• jatcwang / immix-rust
  mirror: GC implementation in Rust: http://ts.data61.csiro.au/publications/nictaabstracts/Lin_BHN_16.abstract.pml
  ☆33Updated 7 years ago
• graydon / exhaustigen
  ☆10Updated 2 years ago
• SOM-st / TruffleSOM
  A SOM Smalltalk implemented on top of Oracle's Truffle Framework
  ☆32Updated 3 weeks ago
• metaborg / spoofax-intellij
  ☆11Updated last month
• samsquire / preemptible-thread
  ☆22Updated this week
• yzyzsun / truffle-erlang
  Erlang implementation built on GraalVM/Truffle
  ☆13Updated 5 years ago
• SomewhatML / sml-analyzer
  An experimental language server for SomewhatML
  ☆23Updated last year
• feroldi / oxide
  Regionalized Value State Dependence Graph written in Rust
  ☆9Updated 4 years ago
• jolisper / ulisp
  An implementation of @phil_eaton compilers basic notes in Rust
  ☆33Updated 5 years ago
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆65Updated last year
• habit-lang / mil-tools
  Tools for MIL, a Monadic Intermediate Language
  ☆21Updated this week
• sergei-romanenko / spsc
  SPSC: A Small Positive Supercompiler
  ☆33Updated 4 months ago
• femtomc / abstraps
  Pull your compiler up with abstract bootstraps.
  ☆30Updated last year
• mb64 / prolog
  A simple prolog implementation in Rust
  ☆26Updated 3 years ago
• OCamlPro / mikino_bin
  A simple induction and BMC engine.
  ☆22Updated 2 years ago
• lameiro / simple-tracing-jit
  A simple interpreter featuring a tracing JIT
  ☆15Updated 13 years ago
• pasa / asdl-rs
  ☆10Updated 4 years ago
• eqlog / eqlog
  Datalog with equality for rust
  ☆49Updated 5 months ago
• nikomatsakis / rust-redex
  A Redex Model of Rust, or more specifically an encoding of Patina, the formal model for rust's type safety
  ☆41Updated 10 years ago
• lemmy / lets-prove-blocking-queue
  Proving a blocking queue deadlock free in a dozen different ways
  ☆42Updated 3 years ago