ziman/ttstar
Dependently typed core calculus with erasure
Public GitHub Catalog
Discovered Sep 25, 2026
ziman / pastemath
A math pastebin (pastemath.functor.sk)
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.
#2844293GitHub System ID
zimanOrganization / User
PublicVisibility
ActiveCatalog Status
More from ziman
ziman/idris-py
Python backend for Idris (generates Python source, not bytecode).
ziman/idris-bytes
FFI-based byte buffers for Idris
ziman/keychain-bruteforce
Bruteforce master passwords of the MAC OS X password manager.