Similar repositories to liamoc/dddp:

• liamoc/dddp github similar
• martinescardo/HoTTEST-Summer-School github similar
• mikeshulman/ohtt github similar
• hecrj/iced github similar
• plt-hokusai/ahc github similar
• toeverything/AFFiNE github similar
• ayberkt/simplc github similar
• AndrasKovacs/preordertt github similar
• LightAndLight/idris-lambda-reflection github similar
• ysharoda/Deriving-Definitions github similar
• wilbowma/infernalize github similar
• joshuasellers/CardgameDSL github similar
• laMudri/generic-lr github similar
• laMudri/quantitative github similar
• fsestini/tt-in-cubical github similar
• conal/calculating-compilers-agda github similar
• pigworker/EGTBS github similar
• ziman/idris-scheme github similar
• asajeffrey/finite-dtypes github similar
• omega12345/RefactorAgda github similar
• effectfully/proto-tt github similar
• ayberkt/chi github similar
• kcsmnt0/proof-trees github similar
• bobatkey/system-f-parametricity-model github similar
• pigworker/InteriorDesign github similar
• gallais/agdarky github similar
• danelahman/POPL18 github similar
• ahmadsalim/davidlang github similar
• Vierkantor/refinement-parsers github similar
• UlfNorell/quasi-quote github similar
• pigworker/Ming github similar
• Lapin0t/induction-recursion github similar
• plt-hokusai/mld github similar
• roglo/coq_real github similar
• ashinkarov/agda-array github similar
• sstucki/pts-agda github similar
• effectfully/inference-in-agda github similar
• mrkgnao/pico github similar
• larrytheliquid/mltt-lecture github similar
• coq-contribs/finger-tree github similar