浏览项目

https://github.com/leanprover-community/mathlib 的镜像仓库

Pulsar is a distributed pub-sub messaging platform with a very flexible messaging model and an intuitive client API.

远程桌面服务端

RustDesk Server Program

https://rustdesk.com/server

k0s - The Zero Friction Kubernetes by Team Lens

https://docs.k0sproject.io/

CoreDNS is a DNS server/forwarder, written in Go, that chains plugins. Each plugin performs a (DNS) function.

Scalable, High Performance, Responsive API Gateway Solution for all MicroServices

GitLab Runner is the open source project that is used to run your CI/CD jobs and send the results back to GitLab