spacekitteh/cubical
Implementation of Univalence in Cubical Sets
Public GitHub Catalog
Discovered Sep 30, 2026
spacekitteh / gentoo-haskell
official gentoo haskell overlay
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#18939605GitHub 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.