Kha/bootstrap-tagsinput
jQuery tags input plugin based on Twitter Bootstrap.
Public GitHub Catalog
Discovered Sep 30, 2026
Kha / isabelle-zfc
Simplistic Formalization of ZFC in Isabelle
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.
#18930245GitHub System ID
KhaOrganization / User
PublicVisibility
ActiveCatalog Status
More from Kha
Kha/odie-server
Exam Printing Backend
Kha/semantics-lean
Public repository.
Kha/lean
Lean Theorem Prover