Similar repositories to xplat/agda-tactics:

• xplat/agda-tactics github similar
• gibiansky/IHaskell github similar
• xplat/potpourri github similar
• crypto-agda/agda-nplib github similar
• ReactTraining/react-router github similar
• agda/agda-assoc-free github similar
• crypto-agda/explore github similar
• np/NomPa github similar
• danr/UniversalAlgebra github similar
• danr/awe github similar
• wjzz/Agda-mode-improvements github similar
• ruisb/LambdaPi github similar
• danelahman/Normalization-By-Evaluation github similar
• benkavanagh/ccoq-explicit-sn github similar
• txa/OmegaCats github similar
• effectfully/random-stuff github similar
• bobatkey/sorting-types github similar
• danelahman/Directed-Containers github similar
• pigworker/WhatRTypes4 github similar
• benarmston/cabal-constraints github similar
• darius/toot github similar
• pigworker/BathTime github similar
• robsimmons/l10 github similar
• ahmadsalim/well-typed-agda-interpreter github similar
• ezyang/lr-agda github similar
• gallais/agda-nbe github similar
• Blaisorblade/Agda-playground github similar
• sto0pkid/CategoryTheory github similar
• jmchapman/Big-step-Normalisation github similar
• wenkokke/AutoInAgda github similar
• roelvandijk/emacs-haskell-unicode-input-method github similar
• devaspot/charity github similar
• dorchard/effects-as-sessions github similar
• VictorCMiraldo/agda-rw github similar
• zadarnowski/quiver github similar
• gergoerdi/universe-of-syntax github similar
• andrisaar/Type-Theory-Foundations github similar
• pigworker/Vole github similar
• mndrix/network-bitcoin github similar
• larrytheliquid/leveling-up github similar