Here is a list of projects I contribute to or have contributed to. Small experiments Wasm vs JS Interaction Benchmak Open Source Projects OCamlPro/owi formalsec/smtml formalsec/graphjs formalsec/explode-js formalsec/ocaml-cvc5 facebook/flow ocaml-opam/opam-publish ygrek/extunix sneeuwballen/benchpress mirage/ocaml-conduit ocaml/opam-repository