[ootachi]

Yep. For example, check out Facebook's open source projects: https://github.com/facebook

The OCaml-based static analysis stuff is particularly interesting. They've got some smart people working over there.