tpsinnem/cubical
Implementation of Univalence in Cubical Sets
Public GitHub Catalog
Discovered Sep 26, 2026
tpsinnem / orientable
Some code for using OrientDB with immutable scala objects -- WORK IN PROGRESS, not usable yet.
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.
#5858618GitHub System ID
tpsinnemOrganization / User
PublicVisibility
ActiveCatalog Status
More from tpsinnem
tpsinnem/idrisMisc
Miscellaneous Idris code
tpsinnem/SDL-idris
SDL bindings package for idris
tpsinnem/Idris-dev
A Dependently Typed Functional Programming Language