hyperpolymath / vql-ut Sponsor Star 1 Code Issues Pull requests VQL Ultimate Type-Safe — query language for VeriSimDB satisfying all 10 levels of type safety (6 IO-covered + 4 research-identified) dependent-types type-safety query-language formal-verification palimpsest idris2 hyperpolymath verisimdb Updated Apr 2, 2026 Idris
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 2, 2026 Rust
hyperpolymath / verisimdb Sponsor Star 1 Code Issues Pull requests Verified 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 2, 2026 Rust