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