hyperpolymath / verisimiser Sponsor Star 1 Code Issues Pull requests Augment any database with VeriSimDB octad capabilities — drift detection, provenance, temporal versioning, modality overlays database zig provenance code-generation temporal lineage palimpsest idris2 hyperpolymath verisimdb iser Updated Apr 27, 2026 Rust
hyperpolymath / vcl-ut Sponsor Star 1 Code Issues Pull requests Discussions VCL Type-Safe — research into type-safe consonance languages for VeriSimDB. dependent-types type-safety query-language formal-verification palimpsest idris2 hyperpolymath verisimdb Updated Apr 27, 2026 Idris
hyperpolymath / verisimdb Sponsor Star 1 Code Issues Pull requests VERIdical SIMulation DataBase — 8-dimensional octad storage with provenance, lineage, temporal versioning, and formal verification database simulation zig provenance formal-verification temporal lineage palimpsest octad idris2 hyperpolymath verisimdb Updated Apr 27, 2026 Rust