phadej/git-hours
Estimate time spent on a git repository
Public GitHub Catalog
Discovered Oct 1, 2026
phadej / typify-parser
Type signature parser for typify
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.
#22131834GitHub System ID
phadejOrganization / User
PublicVisibility
ActiveCatalog Status
More from phadej
phadej/free-applicative-agda
Free applicatives in agda
phadej/agda-summer-school
Summer school on programming in Agda
phadej/menrva
Ambitious data-flow library