zmthy/recursive-types
An Agda encoding of a language with recursive types.
Public GitHub Catalog
Discovered Sep 24, 2026
zmthy / nztronix
A tool for converting archived physical media into archivable software.
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.
#869983GitHub System ID
zmthyOrganization / User
PublicVisibility
ActiveCatalog Status
More from zmthy
zmthy/stackage
"Stable Hackage," tools for creating a vetted set of packages from Hackage.
zmthy/eslint
A fully pluggable tool for identifying and reporting on patterns in JavaScript.
zmthy/package_control_channel
Default channel file for Package Control. Follow the directions at: