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