dagit/mizar-parser
Haskell parser for Mizar
Public GitHub Catalog
Discovered Sep 25, 2026
dagit / dotfiles
My configuration files like ~/.zshrc, ~/.vimrc, etc.
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.
#5113042GitHub 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 -