Similar repositories to BekaValentine/TTInAgda:

• BekaValentine/TTInAgda github similar
• ernius/genericBindingFramework github similar
• effectfully/ECC github similar
• fsestini/nbe-weak-stlc github similar
• MrChico/Reals-in-agda github similar
• Blaisorblade/Agda-playground github similar
• AndrasKovacs/SemanticsWithApplications github similar
• sto0pkid/CategoryTheory github similar
• inc-lc/ilc-agda github similar
• gergoerdi/stlc-agda github similar
• wenkokke/msla2014 github similar
• gergoerdi/universe-of-syntax github similar
• sstucki/pts-agda github similar
• ezyang/lr-agda github similar
• edwinb/Ivor github similar
• pigworker/EGTBS github similar
• gallais/agda-presburger github similar
• m0ar/lollipop github similar
• wouter-swierstra/Brainfuck github similar
• coq-community/autosubst github similar
• effectfully/OTT github similar
• AndrasKovacs/system-f-omega github similar
• jstolarek/why-dependent-types-matter github similar
• sstucki/system-f-agda github similar
• scott-fleischman/agda-from-nothing github similar
• agda/agda-frp-js github similar
• ilya-klyuchnikov/lambdapi github similar
• BekaValentine/SimpleFP-v2 github similar
• ianthehenry/basilica github similar
• math-comp/mcb github similar
• teyjus/teyjus github similar
• lukaszcz/coqhammer github similar
• lenary/idris-erlang github similar
• purerl/purescript github similar
• willtim/Expresso github similar
• agda/agda-categories github similar
• gelisam/hawk github similar
• EgbertRijke/HoTT-Intro github similar
• tomjaguarpaw/haskell-opaleye github similar
• ajtulloch/dnngraph github similar