Well, MuJoCo initially used JAX for GPU (MJX) and MuJoCo Warp replaces MJX with better performance.