The database that made
the Kessel Run in 12 parsecs.

A deterministic, replicated SQL database with PostgreSQL-style flexibility on a TigerBeetle-style core. Pure Rust. Zero external dependencies. Single binary.

Punch it →View Coordinates

cockpit ~ millennium-falcon

$ kessel "CREATE TABLE acct (owner U32 NOT NULL, bal I64 NOT NULL)"
$ kessel "INSERT INTO acct ID 1 (owner, bal) VALUES (100, 50)"
$ kessel "SELECT SUM(bal) FROM acct WHERE owner = 100"
=> 50  · 0.00012s

Parsecs

1,131

Default tests green

External deps in kernel

528M

TLA+ states verified

// ship systems

Engineered for lightspeed

⌬

Hyperdrive SQL

CREATE / ALTER / DROP, JOIN, GROUP BY, indexes, constraints, triggers, transactions — real SQL, no compromises.

✦

Viewstamped Replication

Replicated multi-node cluster with exactly-once client semantics. Survives partitions like a YT-1300 survives Imperial fire.

◉

Deterministic Core

Seedable state machine. Replay bit-for-bit from a single seed. Determinism isn't a goal — it's the engine.

⟁

MVCC + SSI

Snapshot isolation with Cahill SSI. Write-skew impossible. Replicas reach byte-identical state at every commit.

⚙

Pure Rust, Zero Deps

Single binary. No external dependencies in the kernel. Built from the hull plates up in Rust 1.95+.

⇆

Postgres Wire Protocol

psql, pgcli, JDBC, psycopg, sqlx, tokio-postgres — every libpq-derived client docks at the airlock.

// pre-flight

Launch sequence

Clone, build, and spin up a node. The whole engine is a seedable state machine — ready to jump as soon as you set coordinates.

01Calibrate the navicomputer

02Charge the hyperdrive

03Punch it

# clone the freighter
git clone https://github.com/hassard0/KesselDB
cd KesselDB

# spool up the reactor
cargo build --release

# engage
cargo run --release --bin kesseldb -- \
  127.0.0.1:7878 ./data

The database that made the Kessel Run in 12 parsecs.