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

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

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 协议和 ...