ziman/ttstar
Dependently typed core calculus with erasure
Public GitHub Catalog
Discovered Oct 7, 2026
ziman / idris-py
Python backend for Idris (generates Python source, not bytecode).
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.
#34656378GitHub System ID
zimanOrganization / User
PublicVisibility
ActiveCatalog Status
More from ziman
ziman/idris-bytes
FFI-based byte buffers for Idris
ziman/keychain-bruteforce
Bruteforce master passwords of the MAC OS X password manager.
ziman/http-conduit-downloader
HTTP downloader tailored for web-crawler needs