LaTeX templates for:
Created by Pascal Bercher (credit appreciated), though some parts may have contributions by others.
Forked from https://gitlab.cecs.anu.edu.au/u5568237/mdpsim
american fuzzy lop - a security-oriented fuzzer
repository number 2:
SIADEX by Juan Fernandez-Olivares and Ignacio Vellido Exposito
repository number 1:
LiloTane by Dominik Schreiber
A demonstration of writing papers quickly in markdown -- for both ACM and LLNCS formats.
On-stack replacement support for native programs.
Swap-stack support for native programs. Superseded by libyugong.
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
RPySOM - The Simple Object Machine Smalltalk implemented in RPython
BF compiler targeting Mu VM