We use quiver representation theory and King's notion of stable representations to study the (finite dimensional) representations of free products of semi-simple associative K-algebras over an algebraically closed field K. We obtain numerical criteria giving necessary conditions for a module over such a free product to be simple and prove that these conditions are sufficient for modules in general position. We also prove that modules in general position are always semisimple, although non-semisimple modules always exist when the algebra is infinite dimensional. With essentially a single exception, all module categories are strictly wild; moreover these categories admit no bounds on the dimensions of simple modules. We use quiver moduli spaces to derive a closed formula for the number of parameters needed to describe all simple modules in a given dimension. As a special case, we apply our results to free products of finite groups, and recover the representation theory of the projective modular group PSL2(Z) (strictly wild) and of the infinite dihedral group (tame).