RSS 1 project tagged "races"

No download Website Updated 04 May 2013 CDSChecker

Screenshot
Pop 19.62
Vit 18.74

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

Screenshot

Project Spotlight

Hotel Booking

Easy booking of stays by time and date with different languages and currencies.

Screenshot

Project Spotlight

GNU recutils

A set of tools and libraries to access human-editable text-based databases called recfiles.