Similar repositories to inc-lc/ilc-agda:

• inc-lc/ilc-agda github similar
• danistefanovic/build-your-own-x github similar
• jpt4/skio github similar
• gibiansky/IHaskell github similar
• gergoerdi/stlc-agda github similar
• precog/quasar github similar
• MetaBorgCube/oopsla18-artifact github similar
• nachivpn/coherence github similar
• gergoerdi/universe-of-syntax github similar
• nicolaidahl/TouchBasedIdris github similar
• ernius/genericBindingFramework github similar
• stephanadls/state-dependent-gui github similar
• Toxaris/lift.pts github similar
• BekaValentine/TTInAgda github similar
• Saizan/parametric-demo github similar
• legoscia/hsxmpp github similar
• effectfully/ECC github similar
• MonoidalAttackTrees/ATLL-Formalization github similar
• sstucki/pts-agda github similar
• tewe/uroboro github similar
• ezyang/lr-agda github similar
• gallais/agdarky github similar
• zlizta/PiSigma github similar
• gallais/typing-with-leftovers github similar
• origamitower/purr-design github similar
• yfcai/CREG github similar
• skeuchel/needle github similar
• ajrouvoet/implicits.agda github similar
• lukerandall/snap-web-routes github similar
• RobertHarper/hott-notes github similar
• seereason/logic-classes github similar
• conal/ty github similar
• copumpkin/vector-mmap github similar
• benkavanagh/ccoq-explicit-sn github similar
• taktoa/eqsat github similar
• effectfully/random-stuff github similar
• ggreif/omega github similar
• fsestini/nbe-weak-stlc github similar
• YoEight/stream github similar
• anasazi/rust-redex github similar