Skip to content
View ljedrz's full-sized avatar

Organizations

@eqlabs @rs-ipfs

Block or report ljedrz

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
ljedrz/README.md

github stats

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 60 10

  2. lambda_calculus lambda_calculus Public

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

    Rust 138 15

  3. quickie quickie Public

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

    Rust 8 1

  4. ProvableHQ/snarkOS ProvableHQ/snarkOS Public

    A Decentralized Operating System for ZK Applications

    Rust 4.5k 2.7k

  5. ProvableHQ/snarkVM ProvableHQ/snarkVM Public

    A zkVM for Decentralized Private Computations (DPC)

    Rust 1.2k 1.5k

  6. system_alloc_stats system_alloc_stats Public

    Rust 1