Explore projects

dHCP fork from the original bitbucket xnat repo https://bitbucket.org/xnatdev/xnat-web

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

Backup repository for https://github.com/resource-reasoning/JS_Parser

Written in C, this is a tiny compiler for a miniscule Haskell subset (essentially, Int -> Int functions) to Dafny translator. So many C tools (Yacc, Lex, my datadec, generic modules etc) used, only about 20% of the code is human-written.