1 project tagged "atomics"

No download Website Updated 04 May 2013 CDSChecker

Screenshot
Pop 19.39
Vit 19.73

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

Screenshot

Project Spotlight

SRFirewall

An easy to use, but still quite capable firewall for Netfilter/iptables.

Screenshot

Project Spotlight

jpegoptim

A tool for optimizing JPEG files.