Similar repositories to joom/edit-time-tactics:

• joom/edit-time-tactics github similar
• danistefanovic/build-your-own-x github similar
• clayrat/language-redtt github similar
• jirkamarsik/lambda-mu github similar
• mathandley/RTick github similar
• steshaw/idris-elisp github similar
• AndrasKovacs/ind-ind-types github similar
• motemen/gore github similar
• mortberg/TypeTheory github similar
• jozefg/simple-abt github similar
• UniMath/opam-repository github similar
• fsestini/nbe-mltt-wes github similar
• tail-reversion/soranus github similar
• nbenton/coqdomains github similar
• pigworker/Box github similar
• taktoa/survive-java github similar
• spaceships/clt13-hs github similar
• KoenP/bidirectional-instances github similar
• jespercockx/reflection-tutorial github similar
• yannham/visual-goi github similar
• dzaima/BQN386 github similar
• jfischoff/async-manager github similar
• jozefg/sml-higher-order-matching github similar
• jonsterling/racket-grit github similar
• fpvandoorn/Spectral github similar
• jonsterling/coq-presheaf-cwf github similar
• konn/vscode-redtt-diagnostics github similar
• jonsterling/latex-diagrams github similar
• hawnzug/dependent github similar
• ToTal/total github similar
• vishesh/racketscript github similar
• ayberkt/AC-unification github similar
• taktoa/libxdo github similar
• taktoa/math-notes github similar
• andrewthad/scientific-notation github similar
• mattam82/opetopic-coq github similar
• uelis/contextual github similar
• oisdk/agda-avl github similar
• ericfinster/catt github similar
• wilbowma/infernalize github similar