Dipesh Kafle -

Registered user since Sun 2 Feb 2025

Name:Dipesh Kafle

Personal website: https://dipeshkaphle.github.io

X (Twitter): https://x.com/__dipesh_

GitHub: https://github.com/dipeshkaphle

Contributions

2025

OCaml

Author of A Mechanically Verified Garbage Collector for OCaml within the OCaml 2025-track