Platform for deductive program verification

Qiling is an advanced binary emulation framework that cross-platform-architecture

A collection of input files for the ld1.x atomic code which is distributed with the Quantum ESPRESSO package. It allows the generation of PAW data-sets or US pseudopotentials, scalar relativistic or fully relativistic, for several elements.