Convert ISU notation to formal figure skating programs via Anvomidav
Augment any database with VeriSimDB octad capabilities — drift detection, provenance, temporal versioning, modality overlays
Wrap C codebases in ATS linear types for zero-cost memory safety
Generate OTP supervision trees and fault-tolerance scaffolding
Enforce single-use linear type semantics on resources via Ephapax
Add cryptographic attestation to any markup or configuration via A2ML
Compile annotated array operations to GPU kernels via Futhark
Generate correct-by-construction code for critical functions using Dafny
Extract formal models from API specs and verify with Alloy
Meta-framework that generates new -iser projects from language descriptions
Extract state machines from code and model-check with TLA+/PlusCal
Wrap configs into self-validating K9 contracts
Add consent patterns and accessibility to existing code via WokeLang
Add provably safe ethical constraints to AI agents via Phronesis
Add formal type safety (10 levels, dependent/linear/session types) to any query language — SQL, GraphQL, Cypher, SPARQL, VQL
Generate progressive-disclosure interfaces from complex APIs via My-Lang
Add energy/carbon/resource-cost awareness to software via Eclexia
Generate formally verified real-time embedded code via Lustre
Generate proven-correct wrappers from interfaces using Idris2 dependent types
General-purpose Chapel acceleration framework — distribute any workload without learning Chapel
Add a description, image, and links to the iser topic page so that developers can more easily learn about it.
To associate your repository with the iser topic, visit your repo's landing page and select "manage topics."