Discover projects, groups and snippets. Share your projects with others
Source for https://vtss.doc.ic.ac.uk/, Program Specification & Verification Group webpages
Thorough test cases for the Imperial year 2 Prolog fruit matching coursework.
Partial WACC language specification, example WACC programs and support files for accessing the WACC reference compiler.
A Python-based Flask template to get you started!
Finds the steady-state probabilities of visiting each node of a Node4J database in an infinite random walk.
A python package to use the Imperial Panopto API