A tool for finding concurrency bugs in C/C++ Atomic.
A vector graphics language for technical drawing and LaTeX.