Popular repositories Loading

1. sandboxed.sh sandboxed.sh Public

   Forked from Th0rgal/sandboxed.sh

   Self-hosted orchestrator for AI autonomous agents. Run Claude Code & Open Code in isolated linux workspaces. Manage your skills, configs and encrypted secrets with a git repo.

   Rust 1

2. sequencer sequencer Public

   Forked from starkware-libs/sequencer

   Rust 1

3. ProvableWorldModel ProvableWorldModel Public

   Forked from AbdelStark/ProvableWorldModel

   A commit-and-audit proof system for deterministic, quantized inference of a JEPA-style world model (LeWorldModel)

   Rust 1

4. GenoLeWM GenoLeWM Public

   Forked from AbdelStark/GenoLeWM

   An action-conditioned JEPA world model for DNA, built on top of Carbon.

   Python 1

5. grover-tax grover-tax Public

   Forked from AbdelStark/grover-tax

   Single-laptop, single-core, no-GPU wall-clock comparison of two zero-knowledge proving stacks — Stwo (StarkWare) and SP1 with a Groth16 wrap (Succinct Labs)

   Python 1

6. eth2-docker eth2-docker Public

   Forked from ethstaker/eth-docker

   Unofficial docker build instructions for eth2 clients

   Shell