Similar repositories to pigworker/Saturday:

• pigworker/Saturday github similar
• danistefanovic/build-your-own-x github similar
• pigworker/EGTBS github similar
• effectfully/Cubes github similar
• AndrasKovacs/preordertt github similar
• RobertHarper/hott-notes github similar
• pigworker/Gigs-Summer-2018 github similar
• agda/ooAgda github similar
• pigworker/Ming github similar
• mikeshulman/dirtt github similar
• Lapin0t/induction-recursion github similar
• hecrj/iced github similar
• pigworker/Bi71 github similar
• ayberkt/Mini-TT github similar
• robrix/Manifold github similar
• AndrasKovacs/stlc-nbe github similar
• pigworker/SSGEP-DataData github similar
• pigworker/Samizdat github similar
• liamoc/dddp github similar
• msp-strath/ZEUG github similar
• asajeffrey/finite-dtypes github similar
• anuyts/menkar github similar
• bitonic/tog github similar
• agda/agda-spec github similar
• gallais/typing-with-leftovers github similar
• nmvdw/Three-HITs github similar
• yoricksijsling/ornaments-thesis github similar
• hazelgrove/hazelnut-dynamics-agda github similar
• ollef/region github similar
• m-yac/tt-in-cagda github similar
• jonsterling/tt github similar
• yannham/visual-goi github similar
• elpinal/focused-modules github similar
• pigworker/LibAgda github similar
• pigworker/Ohrid-Agda github similar
• neel-krishnaswami/linearml github similar
• effectfully/OTT github similar
• jonsterling/coq-guarded-computational-type-theory github similar
• gallais/generic-syntax github similar
• mietek/hilbert-gentzen github similar