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