On: OCaml 5.0 Multicore is out

[abathologist]

here are a few

- https://github.com/coq/coq

- https://github.com/mirage/mirage

- https://github.com/returntocorp/semgrep

- https://github.com/bcpierce00/unison

See https://v2.ocaml.org/learn/companies.html for some more leads, as lots of those companies maintain useful OSS software.