Skip to content
View ljedrz's full-sized avatar

Organizations

@eqlabs @rs-ipfs

Block or report ljedrz

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
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 63 11

  2. lambda_calculus lambda_calculus Public

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

    Rust 141 15

  3. heapster heapster Public

    A lightweight wrapper enhancing the global allocator with useful stats.

    Rust 6

  4. 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 4

  5. locktick locktick Public

    Automated lock accounting & profiling

    Rust 1 2

  6. ProvableHQ/snarkOS ProvableHQ/snarkOS Public

    A Decentralized Operating System for ZK Applications

    Rust 4.5k 2.7k