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.