Similar repositories to ChrisBlom/Signs:

• ChrisBlom/Signs github similar
• gibiansky/IHaskell github similar
• tootsuite/mastodon github similar
• danistefanovic/build-your-own-x github similar
• coq-contribs/icharate github similar
• mwhite14850/dyc3g github similar
• jasonbaldridge/cg-latex github similar
• wenkokke/NLQ github similar
• jdoughertyii/hott-species github similar
• gmalecha/template-coq github similar
• wenkokke/msla2014 github similar
• jwiegley/coq-lattice github similar
• conal/agda-machines github similar
• dpiponi/provability github similar
• jaredloomis/Idris-HoTT github similar
• FranckS/RingIdris github similar
• gallais/type-scope-semantics github similar
• syllog1sm/ccg github similar
• DanBurton/system-f github similar
• edwinb/Ivor github similar
• CHTT-s18/lecture-notes github similar
• wesen/TreeMaker github similar
• gchrupala/morfette github similar
• coq-community/reglang github similar
• QuickChick/Luck github similar
• jwiegley/bindings-dsl github similar
• RobertHarper/hott-notes github similar
• rodrigogribeiro/agda-software-foundations github similar
• aa755/ROSCoq github similar
• groupoid/groupoid.space github similar
• andrejbauer/dedekind-reals github similar
• rampion/kinder-functor github similar
• coq-community/autosubst github similar
• scott-fleischman/greek-grammar github similar
• semorrison/lean-category-theory github similar
• effectfully/OTT github similar
• cmeiklejohn/distributed-data-structures github similar
• philzook58/nand2coq github similar
• BardurArantsson/cqrs github similar
• vincenthz/hit github similar