PinnedLoading

1. pea2peapea2peaPublic

   A lightweight, performant microkernel for TCP peer-to-peer (P2P) networking. Handles connection pooling and framing, leaving the logic to you.

   Rust 59 10

2. lambda_calculuslambda_calculusPublic

   A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust

   Rust 137 15

3. quickiequickiePublic

   A simple, low-level, and customizable implementation of a QUIC P2P node.

   Rust 8 1

4. ProvableHQ/snarkOSProvableHQ/snarkOSPublic

   A Decentralized Operating System for ZK Applications

   Rust 4.5k 2.7k

5. ProvableHQ/snarkVMProvableHQ/snarkVMPublic

   A zkVM for Decentralized Private Computations (DPC)

   Rust 1.1k 1.5k

6. system_alloc_statssystem_alloc_statsPublic

   Rust 1