Similar repositories to sellout/Idris-CPDT:

• sellout/Idris-CPDT github similar
• danistefanovic/build-your-own-x github similar
• gibiansky/IHaskell github similar
• precog/quasar github similar
• RobertHarper/hott-notes github similar
• Fuuzetsu/agdoparsec github similar
• david-christiansen/Brainfun github similar
• trillioneyes/idris-toys github similar
• edwinb/Eff-new github similar
• FranckS/RingIdris github similar
• IanOrton/decomposing-univalence github similar
• copumpkin/java github similar
• srijs/haskell-aws-dynamodb-conduit github similar
• ericfinster/opetopes-in-agda github similar
• yforster/coq-synthetic-computability github similar
• pixijs/pixi.js github similar
• gergoerdi/hindleymilner-agda github similar
• styzystyzy/Axiom_of_Choice github similar
• nmvdw/Three-HITs github similar
• uds-psl/autosubst-ocaml github similar
• raichoo/31C3Slides github similar
• heades/law github similar
• jozefg/kripke github similar
• jozefg/ctt.elf github similar
• fferreira/NbE github similar
• FranklinChen/cmu-cs-212ML-notes-spring-1998 github similar
• jozefg/classical-realizability github similar
• toothbrush/reflection-proofs github similar
• gallais/agda-presburger github similar
• benmos/HLevy github similar
• jozefg/sml-abt-unify github similar
• FranklinChen/schreiner-friedman-pretty-printer github similar
• ayberkt/system-t-normalization github similar
• konn/vscode-redtt-diagnostics github similar
• ziman/idris-benchmarks github similar
• jonsterling/agda-effectful-forcing github similar
• jmchapman/restriction-categories github similar
• jpaykin/ControlHTT github similar
• CraigStuntz/sml-typed-abts github similar
• david-christiansen/idris-tf-random github similar