Similar repositories to ezyang/lr-agda:

• ezyang/lr-agda github similar
• wenkokke/msla2014 github similar
• jmchapman/Big-step-Normalisation github similar
• agda/agda-assoc-free github similar
• pigworker/WhatRTypes4 github similar
• RobertHarper/hott-notes github similar
• gergoerdi/stlc-agda github similar
• scott-fleischman/agda-travis github similar
• wenkokke/AutoInAgda github similar
• pigworker/Totality github similar
• jonsterling/hs-abt github similar
• rodrigogribeiro/agda-software-foundations github similar
• pigworker/Bi71 github similar
• precog/quasar github similar
• danistefanovic/build-your-own-x github similar
• BekaValentine/basic-proof-development github similar
• gallais/agda-presburger github similar
• bobatkey/sorting-types github similar
• AndrasKovacs/system-f-omega github similar
• orca-lang/orca github similar
• dysinger/agda-haskell-c-ffi-layer-cake github similar
• langston-barrett/CoverTranslator github similar
• ahmadsalim/well-typed-agda-interpreter github similar
• pigworker/SSGEP-DataData github similar
• np/NomPa github similar
• sto0pkid/CategoryTheory github similar
• msprotz/proof-search-monad github similar
• lthms/chain github similar
• inc-lc/ilc-agda github similar
• sstucki/pts-agda github similar
• effectfully/ECC github similar
• crypto-agda/crypto-agda github similar
• jyp/nano-Agda github similar
• gergoerdi/system-f-agda github similar
• FreeProving/language-coq github similar
• mrkgnao/utt github similar
• scmu/foundations-harper github similar
• gallais/typing-with-leftovers github similar
• jespercockx/popl19-tutorial github similar
• coq-community/autosubst github similar