Similar repositories to JacquesCarette/Species:

• JacquesCarette/categories github similar
• JacquesCarette/Species github similar
• rrose1/nat-from-circle github similar
• DmxLarchey/BFE github similar
• UlfNorell/aim23-talk github similar
• uelis/contextual github similar
• guillaumebrunerie/SmashProduct github similar
• guillaumebrunerie/JamesConstruction github similar
• javra/indind-agda github similar
• pigworker/PolyTest github similar
• cj-xu/OrdinalNotations github similar
• conal/calculating-compilers-agda github similar
• IanOrton/decomposing-univalence github similar
• lukaszcz/infinitary-confluence github similar
• nmvdw/HITs-Examples github similar
• andrejbauer/rz github similar
• andrejbauer/andromeda github similar
• conal/convolution-paper github similar
• jespercockx/cubes github similar
• vikraman/2DTypes github similar
• umazalakain/fyp github similar
• pigworker/Gigs-Summer-2018 github similar
• L-TChen/FiniteSets github similar
• IanOrton/cubical-topos-experiments github similar
• jagd/fakebold github similar
• technicalguy/acs-category-theory-notes-2017 github similar
• JacquesCarette/pi-dual github similar
• ericfinster/catt.io github similar
• ericfinster/opetopes-in-agda github similar
• jespercockx/reflection-tutorial github similar
• andrisaar/Type-Theory-Foundations github similar
• nmvdw/Three-HITs github similar
• arjunguha/ocaml-z3 github similar
• gallais/thesis github similar
• pigworker/Syrup github similar
• david-christiansen/tt-playground github similar
• msp-strath/platypus github similar
• TOTBWF/cubical-categories github similar
• andrejbauer/clerical github similar
• ericfinster/higher-alg github similar