leithaus/casper
Formal specification and reference implementation of Casper
Public GitHub Catalog
Discovered Oct 2, 2026
leithaus / DOPBrothersAndSisters
Track, art, and documentation for the next DOP offering
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.
#25201848GitHub 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.