yetithefoot/book
A textbook on informal homotopy type theory
Public GitHub Catalog
Discovered Oct 5, 2026
yetithefoot / github-issues-importer
Imports issues to Github from local file
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.
#29676085GitHub System ID
yetithefootOrganization / User
PublicVisibility
ActiveCatalog Status
More from yetithefoot
yetithefoot/i18n
An AMD loader plugin for loading internationalization/localization string resources
yetithefoot/dns-resolver
Node dns checker module
yetithefoot/express-json-response-sanitizer
Express middleware for response satitation