wangxiayang/verdi
A framework for formally verifying distributed systems implementations in Coq
Public GitHub Catalog
Discovered Oct 7, 2026
wangxiayang / xv6
a mirror of pdos xv6 for local use
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.
#34648382GitHub System ID
wangxiayangOrganization / User
PublicVisibility
ActiveCatalog Status
More from wangxiayang
wangxiayang/rwlock
verifiable rwlock
wangxiayang/efs
attachment management tool
wangxiayang/csp-smv
Public repository.