macressler/HoTT
Homotopy type theory
Public GitHub Catalog
Discovered Oct 6, 2026
macressler / open_camp
Open source project management tool.
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.
#33482052GitHub System ID
macresslerOrganization / User
PublicVisibility
ActiveCatalog Status
More from macressler
macressler/Ivory
A Hadoop toolkit for web-scale information retrieval research
macressler/cluster
Node.JS multi-core server manager with plugins support.
macressler/zKillboard
zKillboard