RSS 1 project tagged "C11"

No download Website Updated 04 May 2013 CDSChecker

Screenshot
Pop 19.60
Vit 18.63

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

Screenshot

Project Spotlight

Monitorix

A Web-based lightweight system monitoring tool for Linux/Unix servers.

Screenshot

Project Spotlight

Science Girls!

Aliens have invaded your school, and it's up to the girls of the Science Club to save the day.