Similar repositories to pigworker/BiF:

• pigworker/BiF github similar
• motemen/gore github similar
• ehildenb/homod github similar
• jonsterling/sml-pronominal-ml github similar
• cmcl/msci github similar
• jirkamarsik/ling-eff github similar
• jonsterling/ocaml-abt github similar
• jonsterling/sml-spreads github similar
• noamz/linlam-gos github similar
• lucaspena/coinduction github similar
• barras/abstract-machines github similar
• danistefanovic/build-your-own-x github similar
• k6io/k6 github similar
• scott-fleischman/docker-agda github similar
• brezal/the-power-of-pi github similar
• JohnReppy/sml-compiler-utils github similar
• crypto-agda/protocols github similar
• effectfully/blog github similar
• sergei-romanenko/chapman-big-step-normalization github similar
• markusdemedeiros/ATheoryOfPrograms github similar
• pruvisto/TRS github similar
• hazelgrove/artifact-popl17 github similar
• wspk/SimpleTypes github similar
• ezrosent/TAPL-idris github similar
• ezrosent/FLK-Semantics github similar
• clarus/coq-atm github similar
• clayrat/idris-semidirect github similar
• andreasabel/lambda-definability github similar
• pigworker/Bi71 github similar
• JasonGross/lob-paper github similar
• joom/thesis-modal github similar
• cocreature/pfpl-redex github similar
• pigworker/WhatRTypes4 github similar
• pigworker/Ohrid-Agda github similar
• dankoi/metamath github similar
• theoremprover-museum/imps github similar
• COST-IC1405/tr_materials github similar
• ernius/formalmetatheory-stoughton github similar
• gergoerdi/system-f-agda github similar
• lambdaxymox/idris-nanoparsec github similar