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

WACC examples featuring language extensions implemented in WACC_19

provided files for the WACC project (in C)

Our wacc examples edited in line with extensions