Popular repositories Loading

1. leo leo Public

   Forked from ProvableHQ/leo

   🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications

   Rust

2. hello-algo hello-algo Public

   Forked from krahets/hello-algo

   《Hello 算法》：动画图解、一键运行的数据结构与算法教程，支持 Java, C++, Python, Go, JS, TS, C#, Swift, Rust, Dart, Zig 等语言。

   Java

3. kata-containers kata-containers Public

   Forked from kata-containers/kata-containers

   Kata Containers is an open source project and community working to build a standard implementation of lightweight Virtual Machines (VMs) that feel and perform like containers, but provide the workl…

   Rust

4. snarkOS snarkOS Public

   Forked from ProvableHQ/snarkOS

   A Decentralized Operating System for ZK Applications

   Rust

5. leotoken leotoken Public

   Shell