TypeScript, Kotlin, Scala, Haskell, Rust, Swift, modern Java, C#, F#, OCaml, Reason, Elm, PureScript,... it's a long list.

I'd also count Python with MyPy, but having a mostly untyped ecosystem means you can't take much advantage of it.

It's easier to list which ones don't at this point. The Go team ignored the last 50 years of improvements in type systems.

All of them? Minus the dynamic/weaks, such as original javascript.

Rust, Haskell, OCaml, and many others.

Golang's typing system is fairly half-done.