dmtcp

Checkpoint/Restart functionality for Linux processes

DMTCP (Distributed MultiThreaded Checkpointing) is a tool to transparently checkpointing the state of an arbitrary group of applications including multi-threaded and distributed computations. It operates directly on the user binary executable, with no Linux kernel modules or other kernel mods.

hipcc

C++ Runtime API and Kernel Language for AMD and NVIDIA GPUs

HIP (Heterogeneous Interface for Portability) is a C++ Runtime API and Kernel Language that allows developers to create portable applications for AMD and NVIDIA GPUs from single source code.

scons

replacement for make

SCons is a make replacement providing a range of enhanced features such as automated dependency generation and built in compilation cache support. SCons rule sets are Python scripts so as well as the features it provides itself SCons allows you to use the full power of Python to control compilation.

libcoq-gappa

Coq tactic to use Gappa for floating-point goals

This package provides a Coq tactic to discharge goals about floating-point arithmetic and round-off errors to Gappa.

xfconf

utilities for managing settings in Xfce

xfconf contains xfconfd and xfconf-query. - xfconfd handles the Xfce settings storage - xfconf-query enables users to tune settings from command line

c-evo-dh-stdai

Empire Building Game (AI module), C-evo: Distant Horizon

A civilization style, turn based strategy game, of the Civ II era.