{"id":49079335,"url":"https://github.com/kimberlitedb/kimberlite","last_synced_at":"2026-05-03T17:02:45.042Z","repository":{"id":333398987,"uuid":"1137086506","full_name":"kimberlitedb/kimberlite","owner":"kimberlitedb","description":"The compliance-first database for industries where data integrity is non-negotiable.","archived":false,"fork":false,"pushed_at":"2026-05-02T22:42:14.000Z","size":66937,"stargazers_count":7,"open_issues_count":12,"forks_count":0,"subscribers_count":0,"default_branch":"main","last_synced_at":"2026-05-02T23:32:52.684Z","etag":null,"topics":["audit","compliance","data-structures","database","event-sourcing","finance","government","healthcare","legal"],"latest_commit_sha":null,"homepage":"https://www.kimberlite.dev","language":"Rust","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"apache-2.0","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/kimberlitedb.png","metadata":{"files":{"readme":"README.md","changelog":"CHANGELOG.md","contributing":"CONTRIBUTING.md","funding":".github/FUNDING.yml","license":"LICENSE","code_of_conduct":"CODE_OF_CONDUCT.md","threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":".github/SECURITY.md","support":".github/SUPPORT.md","governance":null,"roadmap":"ROADMAP.md","authors":null,"dei":null,"publiccode":null,"codemeta":null,"zenodo":null,"notice":"NOTICE","maintainers":null,"copyright":null,"agents":null,"dco":null,"cla":null},"funding":null},"created_at":"2026-01-18T22:09:07.000Z","updated_at":"2026-05-02T21:36:46.000Z","dependencies_parsed_at":null,"dependency_job_id":null,"html_url":"https://github.com/kimberlitedb/kimberlite","commit_stats":null,"previous_names":["verity-db/verity-db","cratondb/craton"],"tags_count":8,"template":false,"template_full_name":null,"purl":"pkg:github/kimberlitedb/kimberlite","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/kimberlitedb%2Fkimberlite","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/kimberlitedb%2Fkimberlite/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/kimberlitedb%2Fkimberlite/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/kimberlitedb%2Fkimberlite/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/kimberlitedb","download_url":"https://codeload.github.com/kimberlitedb/kimberlite/tar.gz/refs/heads/main","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/kimberlitedb%2Fkimberlite/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":286080680,"owners_count":32577127,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2026-05-03T06:36:36.687Z","status":"ssl_error","status_checked_at":"2026-05-03T06:36:09.306Z","response_time":103,"last_error":"SSL_read: unexpected eof while reading","robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":false,"can_crawl_api":true,"host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["audit","compliance","data-structures","database","event-sourcing","finance","government","healthcare","legal"],"created_at":"2026-04-20T12:09:53.170Z","updated_at":"2026-05-03T17:02:45.036Z","avatar_url":"https://github.com/kimberlitedb.png","language":"Rust","funding_links":[],"categories":[],"sub_categories":[],"readme":"\u003cp align=\"center\"\u003e\n  \u003cimg src=\"website/public/images/kimberlite-icon-512.png\" alt=\"Kimberlite Logo\" width=\"200\"/\u003e\n\u003c/p\u003e\n\n# Kimberlite\n\n[![Crates.io](https://img.shields.io/crates/v/kimberlite.svg)](https://crates.io/crates/kimberlite)\n[![Downloads](https://img.shields.io/crates/d/kimberlite.svg)](https://crates.io/crates/kimberlite)\n[![Documentation](https://docs.rs/kimberlite/badge.svg)](https://docs.rs/kimberlite)\n[![Rust](https://img.shields.io/badge/rust-1.88%2B-orange.svg)](https://www.rust-lang.org)\n[![Edition](https://img.shields.io/badge/edition-2024-blue.svg)](https://doc.rust-lang.org/edition-guide/)\n[![License](https://img.shields.io/badge/license-Apache%202.0-blue.svg)](LICENSE)\n[![CI](https://github.com/kimberlitedb/kimberlite/workflows/CI/badge.svg)](https://github.com/kimberlitedb/kimberlite/actions/workflows/ci.yml)\n[![VOPR](https://img.shields.io/badge/testing-VOPR-green.svg)](docs/internals/testing/overview.md)\n[![Fuzz Nightly](https://github.com/kimberlitedb/kimberlite/actions/workflows/fuzz.yml/badge.svg)](https://github.com/kimberlitedb/kimberlite/actions/workflows/fuzz.yml)\n[![Formal Verification](https://img.shields.io/badge/verified-formal%20spec%20%2B%20bounded%20proofs-success.svg)](docs/concepts/formal-verification.md)\n[![Discord](https://img.shields.io/discord/1468161583787151493?label=discord\u0026logo=discord\u0026color=5865F2)](https://discord.gg/QPChWYjD)\n\n**A compliance-first database for regulated industries.**\n\nBuilt for healthcare, finance, legal, and government—where data integrity is non-negotiable.\n\n🔬 **Developer Preview** - Explore deterministic database concepts through production-quality code\n\nKimberlite is a verifiable, durable database engine designed for environments where data integrity, auditability, and trust are non-negotiable. Built around a single principle:\n\n\u003e **All data is an immutable, ordered log. All state is a derived view.**\n\n## Why Kimberlite?\n\n**The compliance tax is real.** In regulated industries, you're forced to build:\n- Immutable audit trails for every change\n- Cryptographic proof of data integrity\n- Per-tenant encryption and isolation\n- Point-in-time reconstruction\n\nMost teams bolt these onto existing databases. **Kimberlite builds them in.**\n\n**Key approach:**\n- **Immutable audit trail** - Hash-chained append-only log means every action is recorded\n- **Time-travel queries** - Reconstruct any point-in-time state via MVCC (`AT OFFSET n` and `AS OF TIMESTAMP '...'` both shipped)\n- **Multi-tenant isolation** - Cryptographic boundaries prevent cross-tenant access\n- **Multi-layer verification** - TLA+ protocol specs, Coq crypto proofs, Alloy structural models, Ivy Byzantine invariants, Kani bounded model checking, MIRI UB detection ([details](docs/concepts/formal-verification.md))\n\n**Target industries (designed for):** Healthcare (HIPAA-ready), Finance (SOC 2-ready), Legal (chain-of-custody), Government (FedRAMP patterns)\n\n## Who Should Explore This\n\n- 🏥 **Healthcare developers** - Build HIPAA-ready EHR systems with built-in audit trails\n- 💰 **Finance engineers** - Create SOC 2-ready applications with cryptographic guarantees\n- ⚖️ **Legal tech builders** - Implement chain-of-custody with tamper-evident storage\n- 🔬 **Database researchers** - Study formally specified consensus and immutable log architectures\n\n**Perfect for learning.** Not yet recommended for production deployments (see [Status](#status) below).\n\n## Quick Start\n\n**5-minute quickstart:** See [Getting Started](docs/start/quick-start.md) for a complete tutorial with explanations.\n\n**TL;DR:**\n\n```bash\n# Install (see docs/start/installation.md for all options)\ncurl -fsSL https://kimberlite.dev/install.sh | sh\n\n# Initialize (or: kimberlite init  for interactive wizard)\nkimberlite init myproject\nkimberlite dev\n# Studio: http://localhost:5555, DB: 127.0.0.1:5432\n```\n\nTry time-travel queries:\n```sql\nCREATE TABLE patients (id INTEGER, name TEXT);\nINSERT INTO patients VALUES (1, 'Alice'), (2, 'Bob');\n\n-- View current state\nSELECT * FROM patients;\n\n-- View state as of a specific log offset (MVCC time-travel)\nSELECT * FROM patients AT OFFSET 0;\n\n-- Or as of a wall-clock timestamp (resolved via the audit-log index)\nSELECT * FROM patients AS OF TIMESTAMP '2026-01-15T00:00:00Z';\n```\n\n## Documentation\n\n- [Quick Start](https://kimberlite.dev/docs/quick-start) - Get running in 90 seconds\n- [CLI Reference](https://kimberlite.dev/docs/reference/cli) - All commands\n- [SQL Reference](https://kimberlite.dev/docs/reference/sql) - Supported SQL syntax\n- [Architecture](https://kimberlite.dev/architecture) - How Kimberlite works\n- [Roadmap](ROADMAP.md) - Future features and enhancements\n- [Changelog](CHANGELOG.md) - Release history and completed work\n- [Contributing](CONTRIBUTING.md) - How to contribute\n\n## Building from Source\n\n```bash\n# Clone and build\ngit clone https://github.com/kimberlitedb/kimberlite.git\ncd kimberlite\ncargo build --release -p kimberlite-cli\n\n# Binary is at ./target/release/kimberlite\n```\n\n### Development Commands\n\n```bash\njust build          # Debug build\njust build-release  # Release build\njust test           # Run all tests\njust nextest        # Faster test runner\njust clippy         # Linting\njust pre-commit     # Run before committing\n```\n\n## Key Features\n\n**What Makes Kimberlite Unique:**\n\n- ✅ **Immutable audit trail** - Hash-chained append-only log (SHA-256 for compliance, BLAKE3 for performance)\n- ✅ **Time-travel queries** - MVCC enables both `AT OFFSET n` and `AS OF TIMESTAMP '...'`\n- ✅ **Deterministic core** - Functional Core / Imperative Shell pattern enables perfect replication\n- ✅ **Multi-tenant isolation** - Per-tenant storage with cryptographic boundaries\n- ✅ **Multi-layer verification** - TLA+ protocol specs (TLC in PR CI, TLAPS nightly), Coq crypto proofs, Alloy structural models, Ivy Byzantine invariants, Kani bounded model checking, MIRI undefined-behavior detection ([details](docs/concepts/formal-verification.md))\n- ✅ **SQL interface** - SELECT with aggregates, GROUP BY/HAVING, UNION/INTERSECT/EXCEPT, all JOIN kinds, CTEs (incl. recursive), subqueries (incl. correlated), window functions, JSON operators, scalar expressions. `INSERT ... ON CONFLICT` upsert. `ALTER TABLE ADD/DROP COLUMN`. Multi-statement transactions planned post-v1.0.\n- ✅ **Compliance surface** - `client.compliance.{eraseSubject, audit.query, export_subject, breach_*, consent.{grant,revoke}}` reachable from all SDKs with signed witnesses, hash-chain tamper-evidence, and GDPR Art 6 consent basis\n- ✅ **Column-level masking policies** - `CREATE MASKING POLICY` DDL composes with RBAC + break-glass\n- ✅ **Tamper-evidence** - CRC32 checksums + hash chains detect corruption\n- ✅ **Viewstamped Replication (VSR)** - Full multi-node consensus (Normal, ViewChange, Recovery, Repair, StateTransfer, Reconfiguration)\n- ✅ **RBAC/ABAC enforcement** - Per-role row/column filters; HIPAA, FedRAMP, PCI pre-built policies\n- ✅ **Security hardened** - pre-launch audit completed; message signatures, replay protection, DoS limits, zero unallowed RustSec advisories\n\nSee [`CHANGELOG.md`](CHANGELOG.md) for per-release detail; [`ROADMAP.md`](ROADMAP.md) for what's next.\n\n## Use Cases\n\nKimberlite is designed for:\n- Healthcare (EHR, clinical data, HIPAA)\n- Financial services (audit trails, transaction records)\n- Legal systems (chain of custody, evidence)\n- Government (regulated records, compliance)\n\n## Examples\n\nSee the [examples/](examples/) directory for:\n- [quickstart/](examples/quickstart/) - Getting started\n- [rust/](examples/rust/) - Rust SDK examples\n- [docker/](examples/docker/) - Docker deployments\n- [healthcare/](examples/healthcare/) - HIPAA-ready schema\n\n## Architecture\n\n```\n┌──────────────────────────────────────────────────┐\n│  Kernel (pure state machine: Cmd -\u003e State + FX)  │\n├──────────────────────────────────────────────────┤\n│  Append-Only Log (hash-chained, CRC32)           │\n├──────────────────────────────────────────────────┤\n│  Crypto (SHA-256, BLAKE3, AES-256-GCM, Ed25519)  │\n└──────────────────────────────────────────────────┘\n```\n\nSee [docs/concepts/architecture.md](docs/concepts/architecture.md) for details.\n\n## Why Kimberlite vs. Traditional Databases?\n\n| Feature | PostgreSQL | Kimberlite |\n|---------|-----------|-----------|\n| **Data model** | Mutable tables | Immutable log + derived views |\n| **Audit trail** | Manual triggers | Built-in (every write logged) |\n| **Time-travel** | Extensions (complex) | Native SQL (`AS OF TIMESTAMP`) |\n| **Integrity** | Checksums | Hash chains + CRC32 |\n| **Consensus** | Streaming replication | VSR (deterministic, multi-node) |\n| **Best for** | General OLTP | Compliance-heavy workloads |\n\n**Trade-offs:** Kimberlite trades some write throughput for built-in auditability and tamper-evidence. Quantitative re-baseline against current hardware is a v0.7.0 target; see [FAQ](docs/reference/faq.md) for the qualitative comparison.\n\n## Learning Resources\n\n### Documentation Deep Dive\n\n- [docs/concepts/architecture.md](docs/concepts/architecture.md) - FCIS pattern, kernel design, consensus\n- [docs/internals/testing/assertions-inventory.md](docs/internals/testing/assertions-inventory.md) - Production assertion policy + paired `#[should_panic]` tests\n- [docs/internals/testing/overview.md](docs/internals/testing/overview.md) - VOPR deterministic simulation testing\n- [docs/concepts/pressurecraft.md](docs/concepts/pressurecraft.md) - Code quality standards\n- [docs/concepts/compliance.md](docs/concepts/compliance.md) - HIPAA-ready, SOC 2-ready, GDPR-ready patterns\n\n## Community\n\n- 💬 [Discord](https://discord.gg/QPChWYjD) - Join for real-time support, design discussions, and community\n- 📖 [Documentation](docs/) - Comprehensive architecture and usage guides\n- 🐛 [Issues](https://github.com/kimberlitedb/kimberlite/issues) - Bug reports and feature requests\n- 💡 [Discussions](https://github.com/kimberlitedb/kimberlite/discussions) - Questions, ideas, and design conversations\n- ❓ [FAQ](docs/reference/faq.md) - Frequently asked questions\n\n## Status\n\n\u003e **v0.x — Developer Preview.** Stable enough for prototypes, learning,\n\u003e internal tools, and compliance research. Not yet battle-tested at scale.\n\u003e\n\u003e - ✅ **Core is solid:** 3,000+ tests, deterministic simulation, production-grade crypto.\n\u003e - ✅ **Architecture is stable:** FCIS pattern, immutable log, full multi-node VSR consensus.\n\u003e - ✅ **Security hardened:** pre-launch audit closed, zero unallowed RustSec advisories, supply-chain pins.\n\u003e - ✅ **SDKs are production-grade:** Rust, TypeScript, and Python SDKs ship full data-plane + compliance + admin surface, with connection pooling and real-time subscriptions. See [SDK parity matrix](docs/reference/sdk/parity.md).\n\u003e - ⚠️ **Wire protocol may still evolve** between minor versions. See [`CHANGELOG.md`](CHANGELOG.md) for the current version and any breaking changes.\n\u003e\n\u003e **Use for:** internal tools, prototypes, learning database internals, compliance research.\n\u003e\n\u003e **Wait for v1.0 if you need:** API stability guarantees, large-scale production deployment, commercial support, or third-party SOC 2 / HIPAA / GDPR attestations. v1.0 is checklist-gated with no fixed date — see [`ROADMAP.md`](ROADMAP.md#v10--checklist-gated) for the gates.\n\u003e\n\u003e **Post-v1.0:** a managed cloud service (Kimberlite Cloud) is planned alongside the OSS core. The core stays OSS; the cloud adds ops, scaling, and compliance-ready shared-responsibility — similar to CockroachDB Serverless on top of CockroachDB OSS.\n\n## SDKs\n\nKimberlite provides idiomatic client libraries for multiple languages:\n\n| Language   | Status                                      | Package                  | Install                          |\n|------------|---------------------------------------------|--------------------------|----------------------------------|\n| Rust       | ✅ Ready                                    | `kimberlite-client`      | `cargo add kimberlite-client`    |\n| TypeScript | ✅ Ready (Node 18/20/22/24, prebuilt napi)  | `@kimberlitedb/client`   | `npm install @kimberlitedb/client` |\n| Python     | ✅ Ready                                    | `kimberlite`             | `pip install kimberlite`         |\n| Go         | 📋 Planned (v0.7.0)                         | —                        | See [ROADMAP](ROADMAP.md)        |\n| Java       | 📋 Planned (v1.0 gate)                      | `com.kimberlite:kimberlite-client` | Maven / Gradle         |\n| C++        | 📋 Planned (v1.0 gate, via FFI)             | `kimberlite-cpp`         | Coming soon                      |\n\nSee [docs/reference/sdk/overview.md](docs/reference/sdk/overview.md) for architecture and [docs/reference/protocol.md](docs/reference/protocol.md) for wire protocol specification.\n\n## License\n\nApache 2.0\n\n## Contributing\n\n- Read [CLAUDE.md](CLAUDE.md) for development guidelines\n- Review [docs/concepts/pressurecraft.md](docs/concepts/pressurecraft.md) for coding standards\n- Open issues for design discussions\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fkimberlitedb%2Fkimberlite","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fkimberlitedb%2Fkimberlite","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fkimberlitedb%2Fkimberlite/lists"}