Explore projects
-
-
-
Updated
-
Jamie Willis / WACC Scala Skeleton Template
Creative Commons Zero v1.0 UniversalUpdated -
Updated
-
-
-
A replication of the question from the Architecture exam.
Updated -
Updated
-
Updated
-
Verified Software / jsexplain
Apache License 2.0A Specification-Close Reference Interpreter for ECMAScript. Backup/departmental testing repository for https://github.com/jscert/jsexplain
Updated -
Backup repository for https://github.com/resource-reasoning/JS_Parser
Updated -
Updated
-
-
Thorough test cases for the Imperial year 2 Prolog fruit matching coursework.
Updated -
Thorough test cases for the Imperial year 2 Prolog fruit matching coursework.
Updated -
Updated
-
Skeleton files for the True Concurrency Tutorial: Concurrent Sieve of Eratosthenes
Updated -
Updated