They claim so, using M:N threading. Data race safety is one of the design constraints.

Their formal type system is designed around pointer safety for multithreaded environments.