Projects

Research

TODO

Open-source

List of open-source contributions. I list only projects where I am the main author/a significant contributor.

Capstone bindings for OCaml

  • Repository » github

  • Type-safe Capstone bindings for OCaml; supports the latest stable Capstone. Leverages GADTs to encode architecture-dependent types, allowing for a simple, yet much safer API than the OCaml bindings currently distributed with Capstone.

Unicorn bindings for OCaml