Explore projects

LaTeX templates for:

presentations lecture slides research project reports (like Bachelor, Master, or PhD theses, but also much smaller ones)

Created by Pascal Bercher (credit appreciated), though some parts may have contributions by others.

The specification of Mu.

Mu backend for PyPy and RPython

Zebu micro VM, a high performance Mu impl.

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

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

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.

A Rust Object Dumper and Loader

An AOT compiler for Mu using LLVM.

A Jekyll plugin gem for easily incorporating reveal.js HTML slides into your Jekyll website.

MoonBeam converts AFL tuples (i.e., coverage information) into bitvectors usable by MoonLight

HOL4 formalisation of core microvm

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

RPySOM - The Simple Object Machine Smalltalk implemented in RPython

Tutorial of Mu.