Ledge
git-compatible. git-free.
agent-native git server built in rust. real git smart-HTTP on the outside. BLAKE3 content addressing, lock-free adaptive radix tree, sharded Raft, TLA+ formal verification on the inside. for systems that needed git infrastructure that was architecturally different, not just api-wrapped.
91% of objects deltified · 667 tests green · zero clippy warnings · a stock git client, no plugin
workspace sdk · TypeScript · agent-native
// fork an ephemeral workspace — CoW, instant
const ws = await client.workspace.fork("main");
// agent works here — isolated, concurrent
await ws.commit({ ref: "main" });
await ws.release();
// or just use git — it all works
$ git clone http://localhost:3000/ws/<id>
4.17M
TLA+ states 5 modules · model-checked
4
SDKs Rust · TS · Python · Go
clone it. push to it. fetch from it.
there is no git on the other side.
built in rust. from the wire protocol down.
what's not ready
source-available (BSL 1.1), not open source — converts to apache-2.0 in 2030. single-host tested; multi-host is experimental.
it's on github. clone it, read the dogfood scripts, reproduce the numbers.
github.com/v-code01/ledge$ git clone https://github.com/v-code01/ledge
questions → vanshverma.dev@gmail.com