Semgrep is the most famous one I could think of offhand: https://github.com/returntocorp/semgrep/blob/v1.2.1/Dockerfile#L57 https://github.com/returntocorp/semg

Semgrep is the most famous one I could think of offhand: https://github.com/returntocorp/semgrep/blob/v1.2.1/Dockerfile#L57 https://github.com/returntocorp/semgrep/blob/v1.2.1/Dockerfi... Hyperkit from the docker/moby folks is another: https://github.com/moby/hyperkit/tree/v0.20210107 https://github.com/moby/hyperkit/tree/v0.20210107 And while niche, Coq is not exactly unheard of: https://github.com/coq/coq/tree/V8.16.1 https://github.com/coq/coq/tree/V8.16.1 If you weren't already aware, GitHub supports searching by the repo's more prominent language: https://github.com/search?o=desc&q=language%3Aocaml&s=stars&type=Repositories https://github.com/search?o=desc&q=language%3Aocaml&s=stars&...