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.