Implementing graph algorithms in OCaml
March 25, 2025
Motivation and design behind the fungi graph library — now on opam.
Harry K
Software Engineer
Freelance developer. I build compilers, data migration workflows, and integration tools for your products — mostly in functional and systems languages. Currently learning Rocq theorem prover and HoTT
Rocq | Coq Theorem prover
Rust
OCaml
Go
Elixir
Articles
Apps
Eincalc
Pre-AlphaA spreadsheet for shape rotators. Tensor-based cell operations targeting the browser — think Einstein summation in a grid.