temporal-database

An embedded evidence database for facts that disagree—preserving source, time, certainty, and history.

A Python library that adds time-travel queries to your PostgreSQL database. Query any entity at any point in history.

Parent repository for equivalence-aware database research — QuandleDB, VeriSimDB, Lithoglyph, Glyphbase, and typed-trace storage experiments

VERIdical SIMulation DataBase — 8-dimensional octad storage with provenance, lineage, temporal versioning, and formal verification

Temporal Knowledge Graph System for Architectural Memory - Track decisions, patterns, and failures with MCP integration for Claude Code/Desktop

Git-backed flat-file data store for VeriSimDB — scan results, dispatch logs, recipes, and patterns

Database recovery through cross-modal constraint propagation — 8 modalities as witnesses, progressive type ratchet, drift-to-zero convergence

Type-theoretic verification kernel for formally verified database queries, providing dependent, linear, session, quantitative, effect, and modal type coverage. Idris 2 formal specs, Rust verification kernel, Zig FFI bridge, JSON-RPC protocol. The "LLVM of type safety" for query validation.

Production-grade time-versioned key-value store with snapshots, LRU caching, TTL, and async support

ReMemNetDB is an LLM-powered temporal knowledge graph database that tracks how entities and relationships evolve over time. Combining semantic search with time-aware queries, it helps build AI systems that remember context and changes—not just facts—making data more meaningful and actionable.

A fact graph in a single SQLite file — embedded temporal fact store with time travel, provenance, hybrid search, and MCP for AI agents

AttemptDB - the database for what AI coding agents tried. Local-first, temporal and causal, written in Rust.

LithoglyphDB — knot/glyph-structured database (reserved; source in nextgen-databases/lithoglyph, migration pending)

VCL Type-Safe — research into type-safe consonance languages for VeriSimDB.

Quandle database — top-level monorepo

A modular C++ temporal + semantic database built from scratch with custom binary storage, immutable versioning, crash recovery, time-travel queries, snapshots, rollback, temporal indexing, vector search, and a SQL-like query engine.

给 DSH 里的 AI 一层自己的判断记忆。判断节点 + 确定性取代（supersede）+ 双时态账本 + 双链，规则与人格分开治理，图谱作可解释性界面。 - Persistent judgment memory & self-evolving personality for AI agents (bi-temporal ledger, deterministic supersession, knowledge graph).

Reference implementation of the Observability Watermark Specification (OWS)

GNPL — Lithoglyph’s narration/projection language for forensic histories, counterfactual paths, plural meanings, and synchronic/diachronic evidence interpretation.

Durable, explainable memory infrastructure for AI systems