Mechanically Verified Garbage Collector for OCaml
https://github.com/raven-ml/raven (hn)
https://www.alicecaml.org
https://yocaml.github.io/tutorial/index.html
https://github.com/avsm/httpz
