macressler/HoTT
Homotopy type theory
Public GitHub Catalog
Discovered Sep 29, 2026
macressler / wikidata-subclass-chains
Get and perform analysis on chains of Wikidata items that are "subclasses"
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.
#16443955GitHub System ID
macresslerOrganization / User
PublicVisibility
ActiveCatalog Status
More from macressler
macressler/open_camp
Open source project management tool.
macressler/Ivory
A Hadoop toolkit for web-scale information retrieval research
macressler/cluster
Node.JS multi-core server manager with plugins support.