From what I have read, its all in house, the software (including the mathematical algorithms) is the most important center point of a HFT shop. No vender would sell a competitive software system because they would make more money using it themselves.