Gitea 是一个轻量级的 DevOps 平台软件。从开发计划到产品成型的整个软件生命周期，他都能够高效而轻松的帮助团队和开发者。包括 Git 托管、代码审查、团队协作、软件包注册和 CI/CD。它与 GitHub、Bitbucket 和 GitLab 等比较类似。

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

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

TiDB 是 PingCAP 公司自主设计、研发的开源分布式关系型数据库，是一款同时支持在线事务处理与在线分析处理 (Hybrid Transactional and Analytical Processing, HTAP) 的融合型分布式数据库产品，具备水平扩容或者缩容、金融级高可用、实时 HTAP、云原生的分布式数据库、兼容 MySQL 5.7 协议和 ...

DataEase 是开源的数据可视化分析工具，帮助用户快速分析数据并洞察业务趋势，从而实现业务的改进与优化。DataEase 支持丰富的数据源连接，能够通过拖拉拽方式快速制作图表，并可以方便的与他人分享。

Antrea 是一个 Kubernetes 网络解决方案，旨在实现 Kubernetes 原生。它使用 Open vSwitch 作为网络数据平面，在 Layer3/4 上运行，从而为 Kubernetes 集群提供网络和安全服务。

Antrea 是一个 Kubernetes 网络解决方案，旨在实现 Kubernetes 原生。它使用 Open vSwitch 作为网络数据平面，在 Layer3/4 上运行，从而为 Kubernetes 集群提供网络和安全服务。

Antrea 是一个 Kubernetes 网络解决方案，旨在实现 Kubernetes 原生。它使用 Open vSwitch 作为网络数据平面，在 Layer3/4 上运行，从而为 Kubernetes 集群提供网络和安全服务。

OpenSearch ，一个由社区驱动的开源搜索和分析套件，fork 自 Apache 2.0 许可的 Elasticsearch 7.10.2 和 Kibana 7.10.2。它由一个搜索引擎守护程序 (OpenSearch)、一个可视化和用户界面 (OpenSearch Dashboards) 以及 Open Distro for Elasticsear...

Træfɪk 是一个新型的 http 反向代理、负载均衡软件，能轻易的部署微服务，它支持多种后端 (Docker, Swarm, Mesos/Marathon, Consul, Etcd, Zookeeper, BoltDB, Rest API, file...) ，可以对配置进行自动化、动态的管理。