Apps by Alan Lawrence (Inference Group, UCAM)