GaloisInc
★ 1,225cryptol
Cryptol: The Language of Cryptography
HYSEN LABS DIRECTORY
GaloisInc
Verified repositories, classifications and analysis from the GaloisInc organization.
3 curated open-source projects
GaloisInc
★ 780crucible
Crucible is a library for symbolic simulation of imperative programs
GaloisInc
★ 521saw-script
The Software Analysis Workbench