dagit/mizar-parser
Haskell parser for Mizar
Public GitHub Catalog
Discovered Sep 26, 2026
dagit / agda
Agda is a dependently typed programming language. This is a clone of the Agda darcs repo that can be found at http://code.haskell.org/Agda.
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.
#7682121GitHub System ID
dagitOrganization / User
PublicVisibility
ActiveCatalog Status
More from dagit
dagit/exceptions
mtl friendly exceptions
dagit/cabal-quirk
buggy cabal file
dagit/cc65
cc65 - a freeware C compiler for 6502 based systems -