macressler/HoTT
Homotopy type theory
Public GitHub Catalog
Discovered Oct 6, 2026
macressler / django-import-export
Django application and library for importing and exporting data with admin integration.
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.
#32247912GitHub 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.