Explore projects

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

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

A parser combinator library for Rust

Cadiac Multi-View multi_structure segmentation for deployment purpose.

DoC-made Peer Assessment portal

Live at https://peer-assessment.doc.ic.ac.uk