Similar repositories to pcapriotti/agda-categories:

• pcapriotti/agda-categories github similar
• gibiansky/IHaskell github similar
• RobertHarper/hott-notes github similar
• pcapriotti/agda-base github similar
• jespercockx/cubes github similar
• mstksg/wavelets github similar
• danistefanovic/build-your-own-x github similar
• tuvtran/project-based-learning github similar
• Lysxia/coq-recursion-schemes github similar
• Saizan/cubical-demo github similar
• peterlefanulumsdaine/palmgren-archive github similar
• fredefox/cat github similar
• jonsterling/agda-synthetic-domain-theory github similar
• ericfinster/higher-alg github similar
• ekmett/monad-ran github similar
• ericfinster/catt.io github similar
• ayberkt/notes-on-cut-elimination github similar
• konn/laurent github similar
• silvanshade/agda-nr-cats github similar
• thehottgame/theHoTTGameGuide github similar
• nulvinge/Linear-Abstract-Machine github similar
• AndrasKovacs/preordertt github similar
• nokijp/pietc github similar
• TOTBWF/cubical-categories github similar
• philzook58/lens-algebra github similar
• treeowl/lazify github similar
• mvr/at github similar
• yforster/coq-synthetic-computability github similar
• aische/typelevel-examples github similar
• mathandley/RTick github similar
• ReactTraining/react-router github similar
• aquynh/capstone github similar
• groupoid/languages github similar
• lehins/MonadicParty2019 github similar
• Twey/agda-imp github similar
• luke-clifton/generic-monoid github similar
• coq-community/HighSchoolGeometry github similar
• ericfinster/opetopic-types github similar
• inanna-malick/hgit github similar
• vmchale/recursion_schemes github similar