Home > hyperpolymath
Projects by hyperpolymath
8 packages • ⭐ 8 total stars
Add formal type safety (10 levels, dependent/linear/session types) to any query language — SQL, GraphQL, Cypher, SPARQL, VQL
Augment any database with VeriSimDB octad capabilities — drift detection, provenance, temporal versioning, modality overlays
Wrap concurrent code in Pony reference capabilities for data-race freedom
Make operations reversible and auditable via Oblíbený
Add provably safe ethical constraints to AI agents via Phronesis
Add consent patterns and accessibility to existing code via WokeLang
Generate OTP supervision trees and fault-tolerance scaffolding
Extract state machines from code and model-check with TLA+/PlusCal