BF compiler targeting Mu VM

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.

The lcc retargetable ANSI C compiler

RPySOM - The Simple Object Machine Smalltalk implemented in RPython

Swap-stack support for native programs. Superseded by libyugong.

Let's play Chinese chess, but move quickly!

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

Haskell bindings for Mu (impure version)

Pure Haskell binding to Mu

my PhD. thesis.

Work on verifying a concurrent garbage collector

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.

ANU Haskell Compiler

RC Immix over Jikes RVM 3.1.4 release

HOL4 formalisation of core microvm

Tutorial of Mu.