leithaus/casper
Formal specification and reference implementation of Casper
Public GitHub Catalog
Discovered Oct 3, 2026
leithaus / social-circuit
A short comic about social networks, bitcoin, and circuit diagrams
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.
#26149814GitHub System ID
leithausOrganization / User
PublicVisibility
ActiveCatalog Status
More from leithaus
leithaus/cnxn
Cnxn is an agent model built above the applied π-calculus
leithaus/strategies
A simple implementation of session-based streams
leithaus/splicious
Public repository.