GaloisInc/hacl
Experimental High Assurance Cryptographic Library
Public GitHub Catalog
Discovered Nov 3, 2026
GaloisInc / echronos
The eChronos real-time operating system
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.
#50622698GitHub System ID
GaloisIncOrganization / User
PublicVisibility
ActiveCatalog Status
More from GaloisInc
GaloisInc/cryfsm
convert simple cryptol expressions into finite-state machines
GaloisInc/gghlite-flint
Fork of an implementation of GGHLite
GaloisInc/TAMBA
Public repository.