spacekitteh/cubical
Implementation of Univalence in Cubical Sets
Public GitHub Catalog
Discovered Sep 29, 2026
spacekitteh / haskell-clifford
Clifford algebra for Haskell! :D
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.
#16327411GitHub System ID
spacekittehOrganization / User
PublicVisibility
ActiveCatalog Status
More from spacekitteh
spacekitteh/hottopic
Public repository.
spacekitteh/reflection
Reifies arbitrary Haskell terms into types that can be reflected back into terms
spacekitteh/doc-workshop
Little project for automatically rebuilding documents as you save them and work on them.