Yes, there are a lot of options, though it gets less mainstream pretty quick. Fortran, Ada/Spark, Ocaml, for a few other examples.

Those are not mainstream language, they probably lack libraries for most common use case, also most likely not as fast as Rust and probably even Go.

Right, which is why I said “gets less mainstream,” meaning that the examples listed were not mainstream. Apologies if that was unclear.