RSS 1 project tagged "C11"

No download Website Updated 04 May 2013 CDSChecker

Screenshot
Pop 19.54
Vit 18.85

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

Screenshot

Project Spotlight

MOSIX

A cluster operating system.

Screenshot

Project Spotlight

Univention Corporate Server

A server operating system with an integrated identity and infrastructure management system.