Similar repositories to jonsterling/agda-nominal-sets:

• jonsterling/agda-nominal-sets github similar
• jonsterling/sml-spreads github similar
• jonsterling/sml-kripke-schema github similar
• jonsterling/sml-abt github similar
• jonsterling/twelf-itt github similar
• jonsterling/ocaml-abt github similar
• amintimany/OPLSS github similar
• jonsterling/agda-abt github similar
• wenkokke/FirstOrderUnificationInAgda github similar
• joom/regexp-agda github similar
• maxsnew/grammars-and-semantic-actions github similar
• heades/cut-fill-agda github similar
• gergoerdi/stlc-agda github similar
• gendx/ocaml-algebra github similar
• serras/4languages github similar
• UniMath/2006_03_Homotopy_lambda_calculus github similar
• Blaisorblade/Agda-playground github similar
• jonaprieto/agda-prop github similar
• L-TChen/FiniteSets github similar
• jyp/sctt github similar
• sstucki/pts-agda github similar
• jonsterling/sml-modernized-algol github similar
• wenkokke/msla2014 github similar
• thsutton/cha github similar
• ezyang/lr-agda github similar
• andreasabel/helf github similar
• jespercockx/popl19-tutorial github similar
• RobertHarper/hott-notes github similar
• laurmcarter/type-combinators github similar
• gallais/agda-presburger github similar
• xgrommx/agda-ecosystem github similar
• frex-project/agda-fragment github similar
• wouter-swierstra/Brainfuck github similar
• gallais/aGdaREP github similar
• RedPRL/sml-typed-abts github similar
• markokoleznik/agda-writer github similar
• willcrichton/rabbot github similar
• mr-ohman/logrel-mltt github similar
• WhatisRT/meta-cedille github similar
• vrahli/NuprlInCoq github similar