Similar repositories to GaloisInc/AMIDOL: