zmthy/recursive-types
An Agda encoding of a language with recursive types.
Public GitHub Catalog
Discovered Oct 7, 2026
zmthy / spacemacs
Emacs advanced Kit focused on Evil: The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#35912239GitHub 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: