Big Red: A Development Environment for Bigraphs. - Alexander John Faithfull; Gian Perrone; Thomas T. Hildebrandt (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013)

Coqoon - An IDE for interactive proof development in Coq. - Alexander John Faithfull; Jesper Bengtson; Enrico Tassi; Carst Tankink (Int. J. Softw. Tools Technol. Transf., 2018)

ANN-Benchmarks: A benchmarking tool for approximate nearest neighbor algorithms. - Martin Aumüller 001; Erik Bernhardsson; Alexander John Faithfull (Inf. Syst., 2020)