Similar repositories to agda/agda-makefile:

• agda/agda-makefile github similar
• agda/agda-text-xml github similar
• agda/agda-web-uri github similar
• gibiansky/IHaskell github similar
• agda/bitvector github similar
• agda/agda-data-bindings github similar
• fangyi-zhou/setup-agda-action github similar
• agda/categories github similar
• agda/agda-finite-prover github similar
• agda/agda-assoc-free github similar
• kawu/dawg github similar
• metaborg/mj.agda github similar
• agda/agda-web-semantic github similar
• JonasDuregard/BNFC-meta github similar
• ajrouvoet/ternary.agda github similar
• agda/agda-system-io github similar
• UlfNorell/quasi-quote github similar
• UlfNorell/agda-bench github similar
• ualib/agda-algebras github similar
• laMudri/generic-lr github similar
• andrewthad/haskell-ip github similar
• pxqr/bittorrent github similar
• alexpeits/harg github similar
• frex-project/agda-fragment github similar
• tweag/pirouette github similar
• bfops/open-union github similar
• well-typed/plutonomy github similar
• halfaya/MusicTools github similar
• blamario/monoid-subclasses github similar
• cedille/ial github similar
• metaborg/linear.agda github similar
• treeowl/sort-traversable github similar
• frex-project/idris-frex github similar
• basvandijk/scientific github similar
• DimaSamoz/agda-soas github similar
• actions/setup-haskell github similar
• gallais/potpourri github similar
• vincenthz/hs-memory github similar
• Bodigrim/chimera github similar
• Gabriella439/managed github similar