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 / seL4
The seL4 microkernel
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.
#23015604GitHub System ID
jianqiliOrganization / User
PublicVisibility
ActiveCatalog Status
More from jianqili
jianqili/verification-manifest
Manifests for the collection of verification repositories
jianqili/isabelle
git mirror of the Munich isabelle hg repository
jianqili/l4v
seL4 specification and proofs