Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
-
my PhD. thesis.
-
my PhD. thesis.
-
-
Parallel Fixed-point Model Checker (PFMC) - a parallel version of Open-Source Fixed-point Model Checker (OFMC) for security protocol verification.
-
-
Code related to the Open-Form Music Composition for Synchronised and Coordinated Action
-
The prehistoric MicroVM (wasn't called Mu) prototype version 2, written in Python 3, with a Lua (subset) client and a non-SSA-to-SSA converter.
-
The prehistoric MicroVM (wasn't called Mu) prototype version 1, written in Python 2, with a Lua (subset) client.
-
This is a proof-of-concept JavaScript client for Mu to showcase the Mu API for trap, stack introspection and on-stack replacement. It only implements a subset of JavaScript, but still has the dynamism of JavaScript to demonstrate specialisation.
-
-
Tutorial of Mu.
-
Vim Syntax Highlighting for Mu Intermediate Representation (kept updated to the most recent version)
-
A compiler that compiles Mu IR in text (by using the bundle api, or alternatively generates C code that does the same).
-
The specification of Mu.
-
The specification of Mu.
-
Pure Haskell binding to Mu
-
Mu performance measurement framework and benchmarks.
-
Holstein: the Mu reference implementation (the 2nd version).
-
Holstein: the Mu reference implementation (the 2nd version).