Explore projects
-
-
Jamie Willis / WACC Website and CLI
The UnlicenseThis is the 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 -
Updated
-
Source for https://vtss.doc.ic.ac.uk/, Program Specification & Verification Group webpages
Updated -
Updated
-
-
-
-
-
-
-
-
-
-
pmaksimo / test262
BSD 3-Clause "New" or "Revised" LicenseOfficial ECMAScript Conformance Test Suite
Updated -
Pull arc examples and convert them to first order logic, prolog syntax
Updated -
-
Balaji, Hari / DRP
OtherUpdated -