Similar repositories to cls/strong-krivine:

• cls/strong-krivine github similar
• danistefanovic/build-your-own-x github similar
• clayrat/exp-subs github similar
• metaborg/mj.agda github similar
• ajrouvoet/ternary.agda github similar
• VictorCMiraldo/agda-rw github similar
• TheoWinterhalter/phd-thesis github similar
• pis147879/PELCR github similar
• pigworker/EGTBS github similar
• pedagand/typechecker-evolution github similar
• pigworker/TypesWhoSayNi github similar
• jsiek/gradual-typing-in-agda github similar
• jsiek/abstract-binding-trees github similar
• sattvik/lein-tarsier github similar
• sweirich/corespec github similar
• jonleivent/mindless-coding github similar
• edwinb/Yaffle github similar
• pi8027/lambda-calculus github similar
• alhassy/next-700-module-systems github similar
• coq-concurrency/pluto github similar
• gallais/agdarsec github similar
• heidihoward/ocaml-raft github similar
• banacorn/agda-mode-vscode github similar
• cpitclaudel/alectryon github similar
• ocamllabs/higher github similar
• plt-amy/1lab github similar
• snowleopard/alga-paper github similar
• caotic123/PomPom-Language github similar
• RedPRL/redtt github similar
• agda/agda-categories github similar
• jscert/jscert github similar
• martinescardo/HoTT-UF-Agda-Lecture-Notes github similar
• AndrasKovacs/elaboration-zoo github similar
• Deducteam/lambdapi github similar
• janestreet/bonsai github similar
• idris-hackers/idris-mode github similar
• antalsz/hs-to-coq github similar
• prathyvsh/category-theory-resources github similar
• Andromedans/andromeda github similar
• giraud/reasonml-idea-plugin github similar