GaloisInc/gghlite-flint
Fork of an implementation of GGHLite
Public GitHub Catalog
Discovered Sep 27, 2026
GaloisInc / cbmc-reporter
Driver for verifying C libraries using the CBMC model-checker.
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.
#9303812GitHub System ID
GaloisIncOrganization / User
PublicVisibility
ActiveCatalog Status
More from GaloisInc
GaloisInc/TAMBA
Public repository.
GaloisInc/haskell-tor
A Haskell implementation of the Tor protocol.
GaloisInc/HaLVM-Vagrant
Vagrant and Ansible scripts for building HaLVM development machines.