Stars: 12.2k
License: NOASSERTION
awesome-tunneling 是一个列出 ngrok 替代方案和其他类似 ngrok 的隧道软件和服务的项目,重点是自托管。
Stars: 4.3k
License: GPL-3.0
picture
leo 是一个用于编写经过形式验证的、零知识应用程序的编程语言。
Stars: 4.1k
License: NOASSERTION
picture
biopython 是一个为计算分子生物学提供免费 Python 工具的国际开发者协会。
Stars: 16.7k
License: MIT
RustPython 是用 Rust 编写的 Python 解释器。
Stars: 4.0k
License: Apache-2.0
picture
example-voting-app 是一个示例分布式应用程序,由多个 Docker、Compose、Swarm 和 Kubernetes 容器组成。