An open notebook displaying my handwritten portfolio.

Leonardo Santos

I give a shit. Type-safe and sleep-sound | OCaml and Nix make me happy :)

Work

Ahrefs, lead developer for API and MCP (2025-now)Tarides: Internship (2024)

Projects

ppx_milkmatch haskelite-coq

Contact

[email protected]GitHub: zazedd