Similar repositories to GaloisInc/halvm-base: