Explore projects

An AOT compiler for Mu using LLVM.

Mu performance measurement framework and benchmarks.

Zebu micro VM, a high performance Mu impl.

Database backup for the windatlas.xyz website

repository number 1: LiloTane by Dominik Schreiber

Scripts for collecting geographical data on mining areas around the world. Plus methods for identifying mining pits that could be used for pumped hydro energy storage.

Scripts for collecting geographical data on reservoirs and lakes around the world. Plus methods for estimating usable volume, to in order to identify potential reservoirs for pumped hydro energy storage.

my PhD. thesis.

repository 4: HyperTensioN by Mauricio Cecilio Magnaguagno, Felipe Meneguzzi, and Lavindra de Silva

A Rust Object Dumper and Loader

Mu backend for PyPy and RPython

repository number 2: SIADEX by Juan Fernandez-Olivares and Ignacio Vellido Exposito

repository 7: pyHiPOP by Charles Lesire and Alexandre Albore

repository 6: PDDL4J-PO by Damien Pellier and Humbert Fiorino

The MoonLight fuzzing corpus distillation tool

Prepared for ENGN8224

repository 3