zmthy/recursive-types
An Agda encoding of a language with recursive types.
Public GitHub Catalog
Discovered Oct 5, 2026
zmthy / stackage
"Stable Hackage," tools for creating a vetted set of packages from Hackage.
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.
#31000312GitHub System ID
zmthyOrganization / User
PublicVisibility
ActiveCatalog Status
More from zmthy
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:
zmthy/grace-editor
A web editor for Grace