Explore projects
-
Jamie Willis / WACC New Website and CLI
The UnlicenseThis is the new scala.js/scala implementation of the WACC Reference Compiler website and CLI, which is open sourced to serve as an example.
The site is live at https://wacc-vm.doc.ic.ac.uk
The latest CLI can be downloaded from https://wacc-vm.doc.ic.ac.uk/wacc-reference-cli.jar
Updated -
Pull arc examples and convert them to first order logic, prolog syntax
Updated -
-
-
Updated
-
Balaji, Hari / DRP
OtherUpdated -
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
Updated