Similar repositories to ericfinster/catt:

• ericfinster/catt github similar
• danistefanovic/build-your-own-x github similar
• Lapin0t/induction-recursion github similar
• mchaver/example-servant-partial-client github similar
• jonsterling/racket-grit github similar
• nbenton/coqdomains github similar
• smimram/catt github similar
• mattam82/opetopic-coq github similar
• jirkamarsik/lambda-mu github similar
• edgan8/clampcheck github similar
• srid/tailwind-nix github similar
• groupoid/anders github similar
• ayberkt/Mini-TT github similar
• ekmett/lens-action github similar
• twanvl/ttie github similar
• dlicata335/cubicalexperiments github similar
• trommler/VeriGHC github similar
• m-yac/tt-in-cagda github similar
• BekaValentine/GenericEvaluators github similar
• jozefg/independence-of-the-continuum-hypothesis github similar
• jonsterling/coq-guarded-computational-type-theory github similar
• CHTT-s18/lecture-notes github similar
• mortberg/TypeTheory github similar
• jashug/ConstructingII github similar
• JasonGross/slow-coq-examples github similar
• gallais/agda-pretty-notgreedy github similar
• gibiansky/IHaskell github similar
• eggzilla/ClustalParser github similar
• ezyang/nf github similar
• nikita-volkov/record-syntax github similar
• k0001/instant-aeson github similar
• ekmett/numeric-extras github similar
• saulzar/reflex-animation github similar
• maciejpirog/monoid-absorbing github similar
• phadej/JuicyPixels-scale-dct github similar
• yamadapc/list-prompt github similar
• laurmcarter/string-typelits github similar
• strake/filtrable.hs github similar
• kwf/Presburger github similar
• laser/monad-transformers-example github similar