RPySOM - The Simple Object Machine Smalltalk implemented in RPython
The lcc retargetable ANSI C compiler
A demonstration of writing papers quickly in markdown -- for both ACM and LLNCS formats.
A compiler that compiles Mu IR in text (by using the bundle api, or alternatively generates C code that does the same).
HOL4 formalisation of core microvm
BF compiler targeting Mu VM
Forked from https://gitlab.cecs.anu.edu.au/u5568237/mdpsim
On-stack replacement support for native programs.
Swap-stack support for native programs. Superseded by libyugong.
LaTeX templates for:
Created by Pascal Bercher (credit appreciated), though some parts may have contributions by others.
repository number 2:
SIADEX by Juan Fernandez-Olivares and Ignacio Vellido Exposito
repository number 1:
LiloTane by Dominik Schreiber