Carve your data in stone.
The open-source Airtable alternative with permanence, powered by formal verification.
Glyphbase is a spreadsheet-database hybrid built on Lithoglyph. Unlike traditional spreadsheet tools, every change is carved in stone - tracked with who made it, when, and why - and fully reversible forever.
| Feature | Description |
|---|---|
Provenance by default | Every cell change records who, when, and why - not optional |
Full reversibility | Undo any change, forever, with mathematical proof |
Cloud-safe | Sync via Dropbox/GDrive without corruption (append-only) |
Self-hosted | Your data stays on your servers |
PROMPT scores | Research-grade data quality scoring |
Multiple views | Grid, Kanban, Calendar, Gallery, Form |
# Clone the repo
git clone https://github.com/hyperpolymath/glyphbase
cd glyphbase
# Start the server (requires Gleam and Lithoglyph)cd server && gleam run
# Start the UI (requires Deno)cd ../ui && deno task dev
# Open in browser
open http://localhost:3000┌─────────────────────────────────────────────────────────────┐
│ Browser UI (ReScript + React) │
│ • rescript-dom-mounter (high-assurance rendering) │
│ • Proven library integration (Idris formal verification) │
│ Grid | Kanban | Calendar | Gallery | Form Builder │
├─────────────────────────────────────────────────────────────┤
│ Real-time Collaboration (WebSocket + Yjs CRDT) │
├─────────────────────────────────────────────────────────────┤
│ API Server (Gleam on BEAM) │
│ REST + WebSocket + Automations │
├─────────────────────────────────────────────────────────────┤
│ Lithoglyph Engine │
│ Provenance | Reversibility | PROMPT Scores │
├─────────────────────────────────────────────────────────────┤
│ Formal Verification Layer (Idris2) │
│ Type-level guarantees | Correctness proofs │
├─────────────────────────────────────────────────────────────┤
│ Storage: Local | Dropbox | GDrive | S3 │
└─────────────────────────────────────────────────────────────┘| Type | Icon | Notes |
|---|---|---|
Text | Aa | Single or multi-line |
Number | # | Integer or decimal, with units |
Select | ▼ | Single or multi-select |
Date | 📅 | Date, datetime, or date range |
Checkbox | ☑ | Boolean |
Link | 🔗 | Link to another table (foreign key) |
Attachment | 📎 | Files, images, documents |
Formula | fx | Computed from other fields |
Rollup | Σ | Aggregate linked records |
Lookup | 👁 | Pull field from linked record |
URL | 🌐 | Web links |
✉ | Email addresses | |
Phone | ☎ | Phone numbers |
Rating | ⭐ | 1-5 stars |
Barcode | ▮▮▮ | QR codes, barcodes |
These features are unique to Glyphbase because of the Lithoglyph backend:
Click any cell to see its complete history: who changed it, when, and their stated rationale.
Rate data quality on six dimensions: Provenance, Replicability, Objectivity, Methodology, Publication, Transparency.
| Triggers | Actions |
|---|---|
Row created | Send webhook |
Field changed | Send email |
Form submitted | Post to Slack |
Scheduled (cron) | Run script |
PROMPT score below threshold | Flag for review |
| Feature | Airtable | NocoDB | Baserow | Glyphbase |
|---|---|---|---|---|
Self-hosted | ❌ | ✓ | ✓ | ✓ |
Open source | ❌ | ✓ | ✓ | ✓ |
Provenance tracking | ❌ | ❌ | ❌ | ✓ Built-in |
Full undo history | Limited | Limited | Limited | ✓ Forever |
Cloud sync safe | N/A | ❌ | ❌ | ✓ Append-only |
Data quality scores | ❌ | ❌ | ❌ | ✓ PROMPT |
Offline-first | ❌ | ❌ | ❌ | ✓ |
Your data ownership | ❌ | ✓ | ✓ | ✓ |
✓ Create/delete bases and tables
✓ Add/edit/delete rows
✓ Core field types (text, number, date, select, checkbox)
✓ Sort, filter, hide columns
✓ Keyboard navigation
✓ Column resizing
✓ Search across all cells
✓ Undo/redo with full history
✓ Kanban view (drag-and-drop)
✓ Calendar view (month/week/day)
✓ Gallery view (grid/masonry)
✓ Form builder (public forms)
✓ Idris2 ABI definitions (formal proofs)
✓ Zig FFI implementation (C-compatible)
✓ NIF builds successfully (504KB shared library)
❏ Wire up Lithoglyph database (backend pending)
❏ Provenance tracking integration (backend pending)
❏ CBOR operation encoding (backend pending)
✓ rescript-dom-mounter (high-assurance rendering)
✓ Proven library integration (Idris2 proofs)
✓ Type-level guarantees for cell data integrity
✓ Formal proofs for critical operations
✓ Real-time collaboration (WebSocket + Yjs CRDT)
✓ Live cursors and presence indicators
✓ Cell comments and @mentions
✓ 97/97 modules compiling successfully
✓ Production build: 65.66 kB gzipped (exceptional!)
✓ Preview server running and tested
❏ Trigger/action system
❏ Webhooks
❏ Email notifications
❏ Scheduled tasks
| Layer | Technology |
|---|---|
UI Framework | ReScript + React |
High-Assurance Rendering | |
Formal Verification | Proven (Idris2 proofs) |
State Management | Jotai |
Grid Component | Custom (accessibility-first) |
Real-time | WebSocket + Yjs |
Backend | Gleam on BEAM |
Database | Lithoglyph |
ABI/FFI | Idris2 ABI + Zig FFI (formal verification) |
Auth | Magic link + OIDC |
Deploy | Podman / Docker |
Lithoglyph - The narrative-first database engine
GQLdt - Dependently-typed query language
Lithoglyph Studio - Admin GUI for Lithoglyph
Lithoglyph Debugger - Proof-carrying recovery tool
BoFIG - Evidence graph for journalism
Zotero-Lithoglyph - Reference manager
See CONTRIBUTING.adoc for guidelines.