jianqili/nyc-hug-oct2014
Repo for code from my NYC Haskell Users' Group talk on Oct. 24, 2014
Public GitHub Catalog
Discovered Oct 2, 2026
jianqili / isabelle
git mirror of the Munich isabelle hg repository
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.
#23015608GitHub System ID
jianqiliOrganization / User
PublicVisibility
ActiveCatalog Status
More from jianqili
jianqili/verification-manifest
Manifests for the collection of verification repositories
jianqili/seL4
The seL4 microkernel
jianqili/l4v
seL4 specification and proofs