xcthulhu/heimdal-ethereum
Public repository.
Public GitHub Catalog
Discovered Sep 24, 2026
xcthulhu / flyspeck
Clone of Thomas Hale's flyspeck project (a formal proof of the Kepler conjecture using HOL Light)
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.
#1149059GitHub System ID
xcthulhuOrganization / User
PublicVisibility
ActiveCatalog Status
More from xcthulhu
xcthulhu/new-server
Simple and secure setup for a new server
xcthulhu/homebrew
The missing package manager for OS X.
xcthulhu/scalability_paper
Public repository.