#

verisimdb

Here are 2 public repositories matching this topic...

hyperpolymath / verisimiser

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 Oct 9, 2026
Rust

hyperpolymath / vcl-ut

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

open-source dependent-types database formal-verification research-software idris2 provenance-tracking typed-dsl temporal-database hyperpolymath epistemic-infrastructure verisimdb epistemic-computing verification-kernel veridical-computing equivalence-aware-computing typed-provenance proof-carrying-queries

Updated Oct 12, 2026
Idris

Add this topic to your repo

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