The CAPD-DynSys library is a collection of flexible C++ modules which are mainly designed for validated numerics for dynamical systems.