Explore projects
-
-
-
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.
Updated -
mu / immix-rust
Apache License 2.0Updated -
-
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.
Updated -
The prehistoric MicroVM (wasn't called Mu) prototype version 1, written in Python 2, with a Lua (subset) client.
Updated -
Kunshan Wang / liblushan
MIT LicenseSwap-stack support for native programs. Superseded by libyugong.
Updated -
-
-
Alwen TIU / pfmc-prover
BSD 3-Clause "New" or "Revised" LicenseParallel Fixed-point Model Checker (PFMC) - a parallel version of Open-Source Fixed-point Model Checker (OFMC) for security protocol verification.
Updated -
Extract information about a course from its page on ANU's Programs and Courses website.
Updated -
PandC-scrapers / degree-rule-scraper
Apache License 2.0An attempt to extract degree rules from Programs and Courses and represent them in a useful fashion.
Updated -
A demonstration of writing papers quickly in markdown -- for both ACM and LLNCS formats.
Updated -
A demonstration of writing papers quickly in markdown -- for both ACM and LLNCS formats.
Updated -
Updated
-
Code related to the Open-Form Music Composition for Synchronised and Coordinated Action
Updated -
Ryan Wang / enhsp_wrapper
MIT LicenseUpdated -
Updated
-