Similar repositories to orca-lang/orca:

• orca-lang/orca github similar
• gibiansky/IHaskell github similar
• jonsterling/coq-meaning-explanation github similar
• jonsterling/sml-pronominal-ml github similar
• ivan-m/transmogrify github similar
• jozefg/concurrent-stack-with-helping github similar
• IanOrton/decomposing-univalence github similar
• 5HT/agda-nr-cats github similar
• precog/quasar github similar
• walkie/GameTheory-Idris github similar
• Ralith/quasigroup-completion github similar
• kmein/telegram-ciphers github similar
• danistefanovic/build-your-own-x github similar
• pigworker/LibAgda github similar
• SimonJF/IdrisNet github similar
• nmvdw/Three-HITs github similar
• pigworker/WhatRTypes4 github similar
• jonsterling/topos-theory-notes github similar
• cocreature/pfpl-redex github similar
• barrucadu/coco github similar
• jmchapman/Big-step-Normalisation github similar
• ayberkt/rafine github similar
• mietek/abel-chapman-extended github similar
• guillaumebrunerie/SmashProduct github similar
• eval-so/frontend github similar
• jonsterling/Agda-Sheaves github similar
• ezyang/lr-agda github similar
• guillaumebrunerie/JamesConstruction github similar
• jozefg/fibrational-semantics github similar
• mr-ohman/intuitionistic-normalization github similar
• pigworker/PolyTest github similar
• dlicata335/cubicalexperiments github similar
• RobertHarper/hott-notes github similar
• jaredly/jnew github similar
• wenkokke/msla2014 github similar
• bitonic/kant github similar
• msullivan/godels-t github similar
• scott-fleischman/agda-travis github similar
• jonsterling/agda-abt github similar
• jozefg/independence-of-the-continuum-hypothesis github similar