https://spivey.oriel.ox.ac.uk
University of Oxford I mostly use Mercurial for version control and push to GitHub via hg-git. Apologies for the artefacts this causes.
Mike Spivey
Oxford Oberon-2 compiler
Spivoxity