SuperLU is a general purpose library for the direct solution of large, sparse, nonsymmetric systems of linear equations on high performance machines.

Qt is a cross-platform C++ application framework. Qt's primary feature is its rich set of widgets that provide standard GUI functionality.

This is the GNU C++ compiler, a fairly portable optimizing compiler for C++.

Coqprime consists in: - a library of facts from number theory - a library for elliptic curves - an efficient library for modular arithmetic - tools to generate Pocklington and elliptic curve certificates of primality

A program visualization tool written in Storm. Supports a subset of C/C++, and other languages supported by the Storm language platform. Aimed at showing how concurrent programs interact with pointers/references and other fundamental programming concepts.

The ReiserFS core library allows system programs like btrfs-progs to access and convert ReiserFS filesystems. Without implementing all ReiserFS code itself.