Welcome to my main github page. Here, you can find the documentation for some of my projects that I host on github page.

  • OCaml containers (a standard library extension for OCaml)

  • OLinq (a in-memory query language for OCaml)

  • OCaml-bigstring (an OCaml library to deal with bigarrays of bytes)

  • maki (an on-disk, content-addressed memoization library for OCaml)

  • Zipperposition (an experimental theorem prover in OCaml)

  • qcheck (QuickCheck inspired property-based testing for OCaml, and combinators to generate random values to run tests on)

  • sequence Simple sequence abstract datatype, intended to iterate efficiently on collections while performing some transformations.