Pinned Loading

1. pea2pea pea2pea Public

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

   Rust 64 11

2. lambda_calculus lambda_calculus Public

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

   Rust 141 15

3. nachalnik nachalnik Public

   A transparent agent runtime in Rust: context, tools, permissions and requests as explicit state. Plus an MCP bridge and a terminal agent.

   Rust 11

4. heapster heapster Public

   A lightweight wrapper enhancing the global allocator with useful stats.

   Rust 6

5. locktick locktick Public

   Automated lock accounting & profiling

   Rust 1 2

6. aleo-labs-protocol/snarkOS aleo-labs-protocol/snarkOS Public

   A Decentralized Operating System for ZK Applications

   Rust 4.5k 2.7k