LADSPA is a standard that allows software audio processors and effects to be plugged into a wide range of audio synthesis and recording packages.

For instance, it allows a developer to write a reverb program and bundle it into a LADSPA “plugin library.” Ordinary users can then use this reverb within any LADSPA-friendly audio application. Most major audio applications on Linux support LADSPA.

A minimalist design exploration by Oskar Wickström.

SMT-LIB is an international initiative aimed at facilitating research and development in Satisfiability Modulo Theories (SMT). Since its inception in 2003, the initiative has pursued these aims by focusing on the following concrete goals.

Provide standard rigorous descriptions of background theories used in SMT systems.
Develop and promote common input and output languages for SMT solvers.
Connect developers, researchers and users of SMT, and develop a community around it.
Establish and make available to the research community a large library of benchmarks for SMT solvers.
Collect and promote software tools useful to the SMT community.

Explanation about dithering, various details and implementation of Return of the Obra Dinn