Chronos - A static race detector for the go language
Safe concurrency in D (`shared` made easier)
Promised based Javascript Mutex