Skip to content
#

provenance-database

Star

Here is 1 public repository matching this topic...

hyperpolymath / verisimdb

Sponsor
Star 4

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 18, 2026
  • Rust

Add this topic to your repo

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

Learn more