spacekitteh/cubical
Implementation of Univalence in Cubical Sets
Public GitHub Catalog
Discovered Sep 30, 2026
spacekitteh / Classical-Mechanics
Haskell toolbox for research and teaching in classical mechanics. Includes modules for symbolic algebra and automatic differentiation.
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.
#19143669GitHub 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.