Skip to content
View nerdsane's full-sized avatar
  • NYC

Block or report nerdsane

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

Popular repositories Loading

  1. temper temper Public

    A machine tool for agents: a verified runtime for systems agents build.

    Rust 102 15

  2. redis-rust redis-rust Public

    Redis-compatible in-memory data store in Rust. Actor-per-shard architecture, CRDT replication, deterministic simulation testing, 4-layer verification.

    Rust 53 15

  3. bloodhound bloodhound Public

    Deterministic simulation testing platform for hunting bugs in distributed systems

    Rust 24

  4. kelpie kelpie Public

    Distributed virtual actor system with linearizability guarantees for AI agent orchestration

    Rust 3 2

  5. datafusion-gpu datafusion-gpu Public

    Forked from gabotechs/datafusion-gpu

    Rust

  6. openevolve openevolve Public

    Forked from algorithmicsuperintelligence/openevolve

    Open-source implementation of AlphaEvolve

    Python