Grace - a replacement for pthreads that enforces sequential semantics (stronger than determinism). - View it on GitHub