They don't really make a 'product' but Jane Street uses Ocaml for all their development.