Microvm logo

@mu

The Mu micro VM project group.

  • mu-formal-hol

    HOL4 formalisation of core microvm

    updated
  • mu-perf-benchmarks

    Mu performance measurement framework and benchmarks.

    updated
  • mu-impl-fast

    Zebu micro VM, a high performance Mu impl.

    updated
  • mu-impl-ref2

    Holstein: the Mu reference implementation (the 2nd version).

    updated
  • mu-client-pypy

    Mu backend for PyPy and RPython

    updated
  • rodal

    A Rust Object Dumper and Loader

    updated
  • mu-client-ghc

    ANU Haskell Compiler

    updated
  • mu-tool-compiler

    A compiler that compiles Mu IR in text (by using the bundle api, or alternatively generates C code that does the same).

    updated
  • mu-spec

    The specification of Mu.

    updated
  • updated
  • updated
  • general-issue-tracker

    This repo hosts an issue tracker, tracking high-level discussions about the project itself and also technical details not directly associated with any particular implementations.

    updated
  • concurrent-gc-verification

    Work on verifying a concurrent garbage collector

    updated
  • updated
  • mu-tool-vim

    Vim Syntax Highlighting for Mu Intermediate Representation (kept updated to the most recent version)

    updated
  • x-RPySOM

    RPySOM - The Simple Object Machine Smalltalk implemented in RPython

    updated
  • mu-tutorial

    Tutorial of Mu.

    updated
  • x-lcc

    The lcc retargetable ANSI C compiler

    updated
  • obsolete-js-mu

    This is a proof-of-concept JavaScript client for Mu to showcase the Mu API for trap, stack introspection and on-stack replacement. It only implements a subset of JavaScript, but still has the dynamism of JavaScript to demonstrate specialisation.

    updated
  • mu-client-bf

    BF compiler targeting Mu VM

    updated