xcthulhu/ethash
Public repository.
Public GitHub Catalog
Discovered Sep 24, 2026
xcthulhu / Cayley_Theorem
A proof of Cayley's embedding theorem from abstract algebra in Isabelle/HOL
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.
#1334746GitHub System ID
xcthulhuOrganization / User
PublicVisibility
ActiveCatalog Status
More from xcthulhu
xcthulhu/heimdal-ethereum
Public repository.
xcthulhu/new-server
Simple and secure setup for a new server
xcthulhu/homebrew
The missing package manager for OS X.