  DRalgo is an algorithmic implementation that constructs an effective,
dimensionally reduced, high-temperature field theory for generic models. The
corresponding Mathematica package automatically performs the matching to
next-to-leading order. This includes two-loop thermal corrections to scalar and
Debye masses as well as one-loop thermal corrections to couplings. DRalgo also
allows for integrating out additional heavy scalars. Along the way, the package
provides leading-order beta functions for general gauge-charges and
fermion-families; both in the fundamental and in the effective theory. Finally,
the package computes the finite-temperature effective potential within the
effective theory. The article explains the theory of the underlying algorithm
while introducing the software on a pedagogical level.
