Similar repositories to antalsz/ocaml-algebraic-effects:

• antalsz/ocaml-algebraic-effects github similar
• danistefanovic/build-your-own-x github similar
• dhil/ocaml-multicore github similar
• lpw25/dune-effects github similar
• DmxLarchey/ite-normalisation github similar
• clayrat/modal-types github similar
• DistributedComponents/InfSeqExt github similar
• coq-community/coqffi github similar
• owo-lang/Mini-TT github similar
• Lysxia/coq-ceres github similar
• dunnl/tealeaves github similar
• Armael/coq-procrastination github similar
• Lysxia/system-F github similar
• kowainik/idris-patricia github similar
• jespercockx/popl19-tutorial github similar
• coq-community/lemma-overloading github similar
• EngineeringSoftware/mcoq github similar
• smorimoto/coq-to-ocaml-to-js github similar
• neel-krishnaswami/inverse-bidirectional-typechecking github similar
• zdharma/zinit github similar
• shonfeder/um-abt github similar
• pa-ba/calc-comp github similar
• ichistmeinname/free-proving github similar
• Lysxia/coq-simple-io github similar
• gallais/pearl-binary-search github similar
• stonebuddha/eopl github similar
• RobertHarper/hott-notes github similar
• effect-handlers/wasm-effect-handlers github similar
• jmid/pbt-frameworks github similar
• GaloisInc/mir-verifier github similar
• uwplse/CoqAST github similar
• jmid/mutaml github similar
• trailofbits/indurative github similar
• awslabs/s2n-bignum github similar
• oisdk/agda-ring-solver github similar
• ammkrn/nanoda github similar
• xgrommx/coq-ecosystem github similar
• thierry-martinez/refl github similar
• foreverbell/verified github similar
• slasser/vermillion github similar