RSS 1 project tagged "c++11"

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

Lernstick Exam Environment

A live Linux distribution for exams.

Screenshot

Project Spotlight

PhenoTips

A tool for collecting and analyzing phenotypic information for patients with genetic disorders.