Explore projects

Simple Python command-line program to download all accessible assignments and associated files from Imperial CATE (Continuous Assessment Tracking Engine)

Archive of group publications. This repository is used by various group webpage repositories.

Source for https://vtss.doc.ic.ac.uk/, Program Specification & Verification Group webpages

Provided files for the 1920 Pintos lab exercise

Hi-SiNet Siamese Network data processing and training/test for Hi-C data.