Similar repositories to uwplse/magic:

• uwplse/magic github similar
• danistefanovic/build-your-own-x github similar
• OCamlPro/ez_opam_file github similar
• patricoferris/ocaml-df github similar
• Drup/oasis_format github similar
• Drup/stellaris_tools github similar
• JHU-PL-Lab/ddpa github similar
• JHU-PL-Lab/jhupllib github similar
• JHU-PL-Lab/pds-reachability github similar
• JHU-PL-Lab/layout-types github similar
• JHU-PL-Lab/CoPylot github similar
• JHU-PL-Lab/pdr-programming github similar
• JHU-PL-Lab/toy-language-dr github similar
• JHU-PL-Lab/toy-language github similar
• mseri/ocaml-cviode github similar
• chetmurthy/event github similar
• OCamlPro/ocplib_stuff github similar
• alainfrisch/makeomatic github similar
• backtracking/ocaml-bdd github similar
• mirage/mirage-stack github similar
• mirage/mirage-time github similar
• mransan/ocaml-protoc-yojson github similar
• Drup/opam-dot github similar
• c-cube/iterators_bench github similar
• dune-universe/dose github similar
• metastack/ocaml-legacy github similar
• ygrek/objsize github similar
• alan-j-hu/mastodon-ocaml github similar
• roddyyaga/ocaml-imap github similar
• JHU-PL-Lab/sato github similar
• Vincent-lau/ocaml-rope-bench github similar
• vbmithr/ocaml-simdjson github similar
• tachukao/owl_bmo github similar
• CraigFe/mirage-tezos-signer github similar
• CraigFe/ppx_alcotest github similar
• andrewray/hardcaml_picorv32 github similar
• chetmurthy/pa_ppx_hashcons github similar
• chetmurthy/pa_ppx_migrate github similar
• chetmurthy/typpx github similar
• janestreet/hardcaml_xilinx github similar