Describir: Derived Tensor Products and Their Applications