here are a few - https://github.com/coq/coq https://github.com/coq/coq - https://github.com/mirage/mirage https://github.com/mirage/mirage - https://github.c

here are a few - https://github.com/coq/coq https://github.com/coq/coq - https://github.com/mirage/mirage https://github.com/mirage/mirage - https://github.com/returntocorp/semgrep https://github.com/returntocorp/semgrep - https://github.com/bcpierce00/unison https://github.com/bcpierce00/unison See https://v2.ocaml.org/learn/companies.html https://v2.ocaml.org/learn/companies.html for some more leads, as lots of those companies maintain useful OSS software.