Stan development repository. The master branch contains the current release. The develop branch contains the latest stable development. See the Developer Process Wiki for details.

A C++ high level library for running shell processes

Verify is a snapshot tool that simplifies the assertion of complex data models and documents.

Keystroke-level online anonymization kernel: obfuscates typing behavior at the device level.

Sioyek is a PDF viewer designed for reading research papers and technical books.

Portable and vendor neutral framework for parallel programming on heterogeneous platforms.