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