xiaohe27/K-Spec-Gen
Generate k-spec from annotated java file which can be used as the input of k verifier
Public GitHub Catalog
Discovered Sep 29, 2026
xiaohe27 / MyPokerGame
A poker game
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.
#16455295GitHub System ID
xiaohe27Organization / User
PublicVisibility
ActiveCatalog Status
More from xiaohe27
xiaohe27/Tasks
The tasks that are going to be executed
xiaohe27/enforcemoptests
EnforceMOP properties and tests
xiaohe27/k
The K tools