RSS 1 project tagged "C11"

No download Website Updated 04 May 2013 CDSChecker

Screenshot
Pop 19.57
Vit 18.82

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

Screenshot

Project Spotlight

Code Manager 2

A simple single site code management and package management system.

Screenshot

Project Spotlight

i18nspector

A checking tool for gettext POT, PO, and MO files.