jianqili/k
The K tools
Public GitHub Catalog
Discovered Nov 1, 2026
jianqili / llvm-semantics
Formal semantics of LLVM IR in K
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.
#46659131GitHub System ID
jianqiliOrganization / User
PublicVisibility
ActiveCatalog Status
More from jianqili
jianqili/nyc-hug-oct2014
Repo for code from my NYC Haskell Users' Group talk on Oct. 24, 2014
jianqili/verification-manifest
Manifests for the collection of verification repositories
jianqili/isabelle
git mirror of the Munich isabelle hg repository