Owner · GaloisInc

GaloisInc

GaloisInc's tracked open-source repos, sorted by stars.

3 repos

#1
cryptol ↗@GaloisIncHaskell
Cryptol: The Language of Cryptography
★ 1,220+0Star change over the last 7 days
#2
crucible ↗@GaloisIncHaskell
Crucible is a library for symbolic simulation of imperative programs
★ 774+0Star change over the last 7 days
#3
saw-script ↗@GaloisIncHaskell
The Software Analysis Workbench
★ 518+1Star change over the last 7 days