Similar repositories to effectfully/Cubes:

• effectfully/Cubes github similar
• danistefanovic/build-your-own-x github similar
• hecrj/iced github similar
• groupoid/anders github similar
• Lapin0t/induction-recursion github similar
• RobertHarper/hott-notes github similar
• m-yac/tt-in-cagda github similar
• AndrasKovacs/preordertt github similar
• neel-krishnaswami/linearml github similar
• gallais/typing-with-leftovers github similar
• ayberkt/Mini-TT github similar
• effectfully/proto-tt github similar
• gibiansky/IHaskell github similar
• effectfully/OTT github similar
• ziman/itt-idris github similar
• fsestini/tt-in-cubical github similar
• ayberkt/simplc github similar
• pigworker/potato github similar
• AndrasKovacs/stlc-nbe github similar
• smimram/catt github similar
• jonsterling/coq-guarded-computational-type-theory github similar
• gallais/agdarky github similar
• neel-krishnaswami/inverse-bidirectional-typechecking github similar
• agda/ooAgda github similar
• effectfully/Eff github similar
• ak3n/abt-zoo github similar
• samskivert/compose github similar
• pigworker/Saturday github similar
• effectfully/Generic github similar
• metaborg/linear.agda github similar
• jonsterling/agda-effectful-forcing github similar
• effectfully/inference-in-agda github similar
• sabauma/agda-relation-algebra github similar
• robrix/seq github similar
• jonsterling/tt github similar
• robrix/Manifold github similar
• laMudri/generic-lr github similar
• jespercockx/agda2scheme github similar
• WhatisRT/meta-cedille github similar
• gallais/agda-sizedIO github similar