I feel like LuaJIT probably deserves a mention here. It doesn't always get astounding performance, but it very often does, and you get all the inlining and dynamic specialization goodness that tracing JITs make cheap. And it demonstrates extremely convincingly that PyPy's difficulty with invoking native code isn't essential to tracing JIT.