RSS 1 project tagged "races"

No download Website Updated 04 May 2013 CDSChecker

Screenshot
Pop 19.60
Vit 18.69

CDSChecker is a stateless model checker for C11/C++11 atomics.

Screenshot

Project Spotlight

PHP Mini SQL Admin

A standalone script for accessing MySQL databases.

Screenshot

Project Spotlight

HaTTiP

An HTTP Web services client for the Mac.