1. QuantConnect： QuantConnect 是一个在线量化交易平台，它提供了一个强大的算法交易平台，允许用户编写、回测和实时运行交易算法，QuantConnect 提供了丰富的数据源和多种编程语言支持，包括C#、Python和F#，用户可以利用这个平台进行策略开发和优化，同时QuantConnect还提供了社区功能，用户可以分享和学习他人的策略。

2. Quantopian： Quantopian 是一个量化投资平台，它允许用户使用Python编写交易算法，并在历史数据上进行回测，Quantopian提供了一个庞大的数据集，包括股票、期权和期货数据，用户可以在这个平台上开发自己的交易策略，并有机会通过Quantopian的资本获得实际交易的机会。

3. AQR Capital Management： AQR 是一家著名的量化投资公司，它提供了自己的量化分析和交易软件，AQR以其先进的量化模型和严谨的研究而闻名，其软件通常被用于内部交易和分析，但也向特定的客户和合作伙伴提供。

4. Two Sigma： Two Sigma 是一家全球性的投资公司，以其在量化投资和机器学习领域的专长而著称，Two Sigma开发了自己的量化交易软件，这些软件被用于执行复杂的数据分析和交易策略，虽然Two Sigma的软件主要是内部使用，但它的技术实力和创新能力在业界享有盛誉。

5. 

   Numerai： Numerai 是一个加密货币基金，它使用机器学习算法来进行交易，Numerai的平台允许数据科学家提交他们的预测模型，这些模型会被用来创建一个综合的交易策略，Numerai以其独特的数据科学竞赛和去中心化的模型贡献方式而闻名。

6. Amaya Software： Amaya Software 提供了一套全面的量化交易解决方案，包括算法交易、风险管理和市场数据分析工具，Amaya的软件支持多种资产类别和交易平台，为用户提供了一个灵活的量化交易环境。

7. 

   Auto-Trader： Auto-Trader 是一个自动化交易软件，它允许用户根据自己的交易策略自动执行交易，Auto-Trader 提供了多种预设的交易策略，用户也可以自定义策略，这个软件以其用户友好的界面和强大的自动化功能而受到欢迎。

8. Zipline： Zipline 是 QuantConnect 提供的一个开源算法交易平台，它允许用户使用Python编写交易算法，并在历史数据上进行回测，Zipline以其灵活性和开源社区的支持而受到开发者的喜爱。

这些软件和平台各有特点,有的更侧重于策略开发和回测，有的则提供了实际交易的接口，选择哪种量化软件，很大程度上取决于用户的特定需求，包括他们想要交易的资产类别、所需的数据类型、预算以及技术能力。

量化交易领域不断发展,新的技术和工具也在不断涌现，对于想要进入这个领域的交易者和投资者来说，了解这些主流的量化软件是一个重要的起点，通过这些工具，他们可以更有效地开发和执行量化交易策略，从而提高交易的效率和盈利能力。