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