Similar repositories to kristinas/hinitiality:

• kristinas/hinitiality github similar
• gibiansky/IHaskell github similar
• jonsterling/coq-meaning-explanation github similar
• jonsterling/brouwer-translations github similar
• jonsterling/purescript-abt github similar
• LightAndLight/eden github similar
• jonsterling/purescript-lcf github similar
• jonsterling/remark-on-hypothetical-judgment github similar
• slamdata/purescript-aff-reattempt github similar
• javra/indind-agda github similar
• guillaumebrunerie/JamesConstruction github similar
• DanGrayson/VV-C-system-from-a-monad github similar
• jonsterling/agda-abt github similar
• isovector/seasoned-pine github similar
• jashug/ConstructingII github similar
• UlfNorell/category-theory-experiments github similar
• UniMath/SetHITs github similar
• nbenton/coqdomains github similar
• gvolpe/split-morphism github similar
• peterlefanulumsdaine/hott-limits github similar
• pigworker/Ohrid-Agda github similar
• jonsterling/agda-effectful-forcing github similar
• deepfire/nh github similar
• gergoerdi/generic-syntax github similar
• sellout/dhall-dhall github similar
• jespercockx/cubes github similar
• RedPRL/sml-dependent-lcf github similar
• HoTT/M-types github similar
• jyp/sctt github similar
• mattam82/Forcing github similar
• SkySkimmer/HoTTClasses github similar
• IanOrton/cubical-topos-experiments github similar
• snoyberg/vegito github similar
• gallais/agdarky github similar
• hazelgrove/agda-popl17 github similar
• maxsnew/virtual-equipments github similar
• UlfNorell/agda-bench github similar
• mikeshulman/dirtt github similar
• ericfinster/opetopes-in-agda github similar
• JasonGross/lob github similar