Explore projects

In our recent Rails training day, we started building a twitter-like microblogging platform called "Chorus", with users signing up (no passwords), signing in, signing out, with signed in users able to add short "Chirps". I did some more work...

fork(for bugfixes) of kerberos auth w/o domain

Continuous repository synchroniser between GitHub and GitLab

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

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

Puppet module deploying an XNAT installation

provided files for the WACC project (in C)

Our wacc examples edited in line with extensions

Example programs and support material for the WACC lab exercise (2019-2020)