Similar repositories to vikraman/2DTypes:

• vikraman/2DTypes github similar
• DreamLinuxer/FracAncilla github similar
• JacquesCarette/categories github similar
• LightAndLight/como github similar
• hecrj/iced github similar
• AndrasKovacs/qiit-generalizations github similar
• RobertHarper/hott-notes github similar
• rrose1/nat-from-circle github similar
• JacquesCarette/Species github similar
• DreamLinuxer/Pi2 github similar
• rkaarsgaard/upi github similar
• jonsterling/twelf-nbe github similar
• UlfNorell/aim23-talk github similar
• IanOrton/cubical-topos-experiments github similar
• uelis/contextual github similar
• jagd/fakebold github similar
• navya/narad github similar
• ayberkt/simplc github similar
• brandonhewer/Subtyping github similar
• ysharoda/Deriving-Definitions github similar
• JacquesCarette/pi-dual github similar
• DreamLinuxer/popl21-artifact github similar
• jaycech3n/CwF github similar
• vikraman/popl22-symmetries-artifact github similar
• guillaumebrunerie/SmashProduct github similar
• zlizta/PiSigma github similar
• groupoid/anders github similar
• nad/dependent-lenses github similar
• liamoc/agda-snippets github similar
• digitaleric-google/GCG-3.3 github similar
• guillaumebrunerie/JamesConstruction github similar
• jespercockx/reflection-tutorial github similar
• javra/indind-agda github similar
• omega12345/RefactorAgda github similar
• uds-psl/coq-a-la-carte-cpp20 github similar
• osense/masters github similar
• effectfully/proto-tt github similar
• amintimany/CTDT github similar
• JasonGross/lob github similar
• silvanshade/agda-nr-cats github similar