ziman/ttstar
Dependently typed core calculus with erasure
Public GitHub Catalog
Discovered Sep 29, 2026
ziman / bang-cheatsheet
Public repository discovered through GitHub real-time crawl.
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.
#15009479GitHub 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.