Similar repositories to metaborg/mj.agda:

• metaborg/mj.agda github similar
• danistefanovic/build-your-own-x github similar
• ReactTraining/react-router github similar
• ronami/HypeScript github similar
• roc-lang/roc github similar
• anoma/juvix-archived github similar
• mikeshulman/ohtt github similar
• stefaniatadama/inductive_types github similar
• DreamLinuxer/Pi2 github similar
• clayrat/language-redtt github similar
• maciejpirog/exotic-list-monads github similar
• fjpub/etfj github similar
• oisdk/agda-avl github similar
• fangyi-zhou/setup-agda-action github similar
• jasigal/handlers-in-action github similar
• conal/calculating-compilers-agda github similar
• sergei-romanenko/agda-miscellanea github similar
• cls/strong-krivine github similar
• DreamLinuxer/popl21-artifact github similar
• agda/agda-makefile github similar
• UlfNorell/effects github similar
• andreasabel/sized-types github similar
• mroman42/vitrea-agda github similar
• Agnishom/lattice-mtl github similar
• casvdrest/generating-indexed github similar
• ualib/agda-algebras github similar
• UlfNorell/agda-bench github similar
• clayrat/exp-subs github similar
• liamoc/agda-snippets github similar
• jozefg/fibrational-semantics github similar
• ayberkt/notes-on-cut-elimination github similar
• tuura/selective-theory-agda github similar
• bacam/handlers-in-ott github similar
• nad/dependent-lenses github similar
• BekaValentine/GenericEvaluators github similar
• larrytheliquid/spire github similar
• jonsterling/lcf-sequent-calculus-example github similar
• metaborg/linear.agda github similar
• yoricksijsling/ornaments-thesis github similar
• fsestini/nbe-weak-stlc github similar