Agda，一种依赖类型编程语言/交互式定理证明器。

RQAlpha 从数据获取、算法交易、回测引擎，实盘模拟，实盘交易到数据分析，为程序化交易者提供了全套解决方案。RQAlpha 具有灵活的配置方式，强大的扩展性，用户可以非常容易地定制专属于自己的程序化交易系统。

FISCO BCOS 是一个稳定、高效、安全的区块链底层平台，经过多家机构、多个应用，长时间在生产环境运行的实际检验。

Nginx是一个高性能的HTTP和反向代理服务器，以高稳定性、丰富的功能集、示例配置文件和低系统资源的消耗而闻名。

松果时序数据库PinusDB，开源、高性能的时序数据库，简单易用、功能强大、性能优越、安全稳定，轻松处理海量物联网数据

可以通过 OpenAPI Generator，在给定 OpenAPI 规范(v2, v3)的情况下自动生成 API 客户端库、server stubs、文档以及配置

如果要成为一个有一定水平的程序员，算法是必须要会的。算法，让你的程序变得更有灵气。

开源、高性能的时序数据库。简单易用、功能强大、性能优越、安全稳定，轻松处理海量物联网数据

Dopamine 是由 Google AI 实验室推出的一个基于 Tensorflow 的强化学习（RL）框架，旨在为新手和资深 RL 研究人员提供灵活性、稳定性和可重复性

ECharts是一款由百度前端技术部开发的，基于Javascript的数据可视化图表库，提供直观，生动，可交互，可个性化定制的数据可视化图表。