Skip to content
#

temporal-versioning

Star

Here are 4 public repositories matching this topic...

Language: All
Filter by language
All 4 Rust 3 TypeScript 1

hyperpolymath / verisimdb

Sponsor
Star 3

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

rust open-source database simulation zig formal-verification research-software idris2 temporal-database hyperpolymath epistemic-infrastructure temporal-versioning epistemic-computing veridical-computing equivalence-aware-computing typed-provenance octad-storage provenance-database
  • Updated Sep 17, 2026
  • Rust

hyperpolymath / squeakwell

Sponsor
Star 2

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

rust open-source database reproducible-research research-software drift-detection provenance-tracking temporal-database hyperpolymath epistemic-infrastructure temporal-versioning epistemic-computing verification-kernel veridical-computing equivalence-aware-computing typed-provenance
  • Updated Sep 18, 2026
  • Rust

hyperpolymath / verisimiser

Sponsor
Star 2

Augment any database with VeriSimDB octad capabilities — drift detection, provenance, temporal versioning, modality overlays

rust open-source database code-generation research-software idris2 provenance-tracking hyperpolymath epistemic-infrastructure temporal-versioning verisimdb epistemic-computing veridical-computing equivalence-aware-computing typed-provenance verified-ffi proof-carrying-abi abi-verification
  • Updated Sep 14, 2026
  • Rust

Add this topic to your repo

To associate your repository with the temporal-versioning topic, visit your repo's landing page and select "manage topics."

Learn more