yetithefoot/github-issues-importer
Imports issues to Github from local file
Public GitHub Catalog
Discovered Oct 5, 2026
yetithefoot / book
A textbook on informal homotopy type theory
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.
#29376803GitHub 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