Faster than Python 3 means little and the discussion is mainly about languages which compile to native code and have certain features.

Erlang is a super cool language and were I doing an app which needs millions of concurrent connections over many cores and/or machines, I'd choose it in a second. But Crystal is more of a (potential) replacement for Java or C++.