Those are samplers, not synthesizers. (Yes, technically they are synths, but not what's usually meant by the term.) They're just many many GB of samples of real musicians playing real instruments.