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

Kubespray - Deploy a Production Ready Kubernetes Cluster。Can be deployed on AWS, GCE, Azure, OpenStack, vSphere, Packet (bare metal), Oracle Cloud Infrastructure (Experimental), or...

Facebook 开源的数据查询引擎，可对250PB以上的数据进行快速地交互式分析，查询的速度达到商业数据仓库的级别。据称该引擎的性能是 Hive 的 10 倍以上。

Longhorn 是一个开源的分布式块存储系统，由 Rancher Labs 公司开发。它是基于 Kubernetes 构建的，可以与 Kubernetes 紧密集成。Longhorn 通过构建一个复制的块设备来存储数据，并提供了快照、恢复、备份等功能，以确保数据的可靠性和完整性。Longhorn 还支持动态卷扩展和自动迁移，以便在需要时自动调整存储容量和性...

Longhorn 是一个开源的分布式块存储系统，由 Rancher Labs 公司开发。它是基于 Kubernetes 构建的，可以与 Kubernetes 紧密集成。Longhorn 通过构建一个复制的块设备来存储数据，并提供了快照、恢复、备份等功能，以确保数据的可靠性和完整性。Longhorn 还支持动态卷扩展和自动迁移，以便在需要时自动调整存储容量和性...

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

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

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

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

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