Similar repositories to Saizan/parametric-demo:

• Saizan/parametric-demo github similar
• jonsterling/lecture-notes github similar
• Toxaris/lift.pts github similar
• L-TChen/MtacAR github similar
• jespercockx/reflection-tutorial github similar
• AndrasKovacs/preordertt github similar
• jonsterling/agda-effectful-forcing github similar
• ahmadsalim/desc-n-crunch github similar
• lambdabetaeta/modal-logics github similar
• javra/indind-agda github similar
• jespercockx/tensors github similar
• jmchapman/Big-step-Normalisation github similar
• superhaNds/cwfs github similar
• fsestini/nbe-weak-stlc github similar
• UlrikBuchholtz/nominal-hott github similar
• groupoid/anders github similar
• agda/ooAgda github similar
• AndrasKovacs/stlc-nbe github similar
• gallais/agdarky github similar
• nunchaku-inria/nunchaku-coq github similar
• danistefanovic/build-your-own-x github similar
• MetaBorgCube/oopsla18-artifact github similar
• sergei-romanenko/agda-almost-full github similar
• bedrocksystems/cpp2v github similar
• AndrasKovacs/ind-ind-types github similar
• tootsuite/mastodon github similar
• hecrj/iced github similar
• Kha/semantics-lean github similar
• LightAndLight/certified-lc github similar
• plt-hokusai/ahc github similar
• brendanzab/language-garden github similar
• heliaxdev/witch github similar
• bobatkey/system-f-parametricity-model github similar
• pigworker/Box github similar
• sstucki/pts-agda github similar
• hbasold/CoindDepTypes github similar
• pigworker/LibAgda github similar
• nicolaidahl/TouchBasedIdris github similar
• jonsterling/lean4-sgdt github similar
• AndrasKovacs/qiit-generalizations github similar