Similar repositories to jonsterling/ocaml-modular-typechecking:

• jonsterling/ocaml-modular-typechecking github similar
• ohad/SIGPLAN-Most-Influential-POPL-Papers github similar
• RedPRL/sml-dependent-lcf github similar
• WLTools/LanguageSpec github similar
• david-christiansen/tt-playground github similar
• mietek/formal-logic github similar
• philnguyen/z3-rkt github similar
• poeschko/Mathador github similar
• Lysxia/advent-of-coq-2021 github similar
• wartmanm/rust-kanren github similar
• LaifsV1/YUP github similar
• plclub/cis670-16fa github similar
• rljacobson/FoxySheep github similar
• dbp/howtoproveacompiler github similar
• wenkokke/AutoInAgda github similar
• garrigue/certint github similar
• Bogdanp/setup-racket github similar
• berke/aurochs github similar
• JoeyEremondi/haskelm github similar
• jozefg/miniprl github similar
• pedagand/typechecker-evolution github similar
• ferd/zippers github similar
• metaocaml/ber-metaocaml github similar
• reactorlabs/rir github similar
• c-cube/stimsym github similar
• rsmenon/vim-mathematica github similar
• charlescearl/DeepRacket github similar
• qbg/syntax-rules github similar
• ManticoreProject/manticore github similar
• zyrolasting/xiden github similar
• gasche/manual-ocamlbuild github similar
• jsiek/B629-denotational github similar
• Marwes/pretty.rs github similar
• gasche/icfp2013-papers github similar
• gasche/popl2014-papers github similar
• bobatkey/sott github similar
• LexiFi/dead_code_analyzer github similar
• liaopeiyuan/zeta github similar
• ucsd-progsys/liquid-fixpoint github similar
• pigworker/MetaprogAgda github similar