GaloisInc/verification-game
Public repository.
Public GitHub Catalog
Discovered Oct 1, 2026
GaloisInc / hacrypto
Experiments in high-assurance crypto.
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#20461608GitHub System ID
GaloisIncOrganization / User
PublicVisibility
ActiveCatalog Status
More from GaloisInc
GaloisInc/why3
Haskell support for the Why3 input format
GaloisInc/lean-haskell-bindings
Haskell Bindings to the Lean Theorem Prover http://leanprover.github.io/
GaloisInc/smaccmpilot-hardware-prep
Utilities to prepare stock Pixhawk hardware for use with SMACCMPilot