Skip to main content

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.

measuredledgegit
warm clone~2× faster
0.13 s0.31 s
pack size~5% smaller
1.50 MB1.58 MB

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

componentdetail
git smart-HTTPprotocol
pkt-line · upload-pack · receive-pack · any client
BLAKE3 object storestore
sha1 externally · BLAKE3 internally · atomic-rename writes
lock-free ARTrefs
adaptive radix tree · CAS · CRC32 WAL · O(1) snapshots
sharded Raftconsensus
per-shard placement · linearizable CAS · leader election
workspacesagent-api
CoW fork · WAL leases · mark-and-sweep GC · REST + git routing
TLA+ formal specverified
4.17M states · RefStore · GcReachability · Sharding

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