zmthy/recursive-types
An Agda encoding of a language with recursive types.
Public GitHub Catalog
Discovered Oct 2, 2026
zmthy / package_control_channel
Default channel file for Package Control. Follow the directions at:
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.
#24625955GitHub 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/grace-editor
A web editor for Grace