OCaml is a much larger language than SML. SML feels cleaner in some ways. For example, it has overflow checks (or infinite precision) for integer arithmetic. (Although OCaml no longer has writable string literals …)

SML has multiple, mostly independent implementations with different characteristics. Poly/ML had multi-processor support well before OCaml. But OCaml development is certainly much more active.