nomeata/gipeda
Git Performance Dashboard
Public GitHub Catalog
Discovered Sep 25, 2026
nomeata / ghc
Mirror of ghc repository. DO NOT SUBMIT PULL REQUESTS HERE
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.
#5586670GitHub System ID
nomeataOrganization / User
PublicVisibility
ActiveCatalog Status
More from nomeata
nomeata/isa-where-to-move
Isabelle lemma organisation tools
nomeata/arbtt-graph
Plot graphs from arbtt-stats
nomeata/yucata-tools
Inofficial tools for heavy yucata.de users.