Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
The specification of Mu.
-
Zebu micro VM, a high performance Mu impl.
-
Mu backend for PyPy and RPython
-
A compiler that compiles Mu IR in text (by using the bundle api, or alternatively generates C code that does the same).
-
-
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.
-
Holstein: the Mu reference implementation (the 2nd version).
-
A Rust Object Dumper and Loader
-
-
-
An AOT compiler for Mu using LLVM.
-
-
-
Parallel Fixed-point Model Checker (PFMC) - a parallel version of Open-Source Fixed-point Model Checker (OFMC) for security protocol verification.
-
ANU Haskell Compiler
-
Pure Haskell binding to Mu
-
Haskell bindings for Mu (impure version)
-
scalloc written in rust!
-
-
BF compiler targeting Mu VM