The meta-framework that generates new -iser projects. Factory for the entire family.
cargo install iseriserGiven a language description — name, type system, compilation target, calling convention — iseriser scaffolds a complete -iser repository with a bespoke manifest schema, codegen engine, Idris2 ABI definitions, Zig FFI bridge, tests, CI/CD workflows, and documentation. All 28 -iser repos share the same architecture because they come from this factory.
| Name | What It Does |
|---|---|
| a2mliser | Wraps markup and config files in A2ML cryptographic attestation envelopes |
| affinescriptiser | Wraps code in AffineScript affine + dependent types, compiles to WASM |
| alloyiser | Extracts API specs into Alloy 6 formal models, finds design bugs via SAT solving |
| anvomidaviser | Converts ISU skating notation into formal verification models |
| atsiser | Analyses C source, identifies memory-critical patterns, wraps in ATS2 proofs |
| betlangiser | Analyses deterministic code, identifies values that should be formally verified |
| bqniser | Scans code for array computation patterns, rewrites them in BQN |
| chapeliser | Scales single-machine apps to distributed clusters via Chapel, no Chapel needed |
| dafniser | Generates correct-by-construction code for critical functions via Dafny |
| eclexiaiser | Instruments code with energy, carbon, and resource-cost accounting |
| ephapaxiser | Analyses code for resource handles, inserts Ephapax linear-type wrappers |
| futharkiser | Identifies array-parallel patterns, extracts and compiles them via Futhark to GPU |
| halideiser | Compiles image and video processing pipelines to optimised Halide schedules |
| idrisiser | Meta-prover: adds Idris2 dependent-type proofs to existing code |
| iseriser | The meta-framework that generates new -iser projects (this repo) |
| julianiser | Converts Python and R data science code to Julia for performance |
| k9iser | Analyses configs, infers constraints, generates K9 contracts with attestation |
| lustreiser | Generates formally verified real-time embedded code via Lustre |
| mylangiser | Analyses complex API surfaces, identifies complexity layers, generates wrappers |
| nimiser | Generates high-performance C libraries from high-level interface descriptions via Nim |
| oblibeniser | Makes operations reversible and auditable via Obliben |
| otpiser | Generates OTP supervision trees, GenServers, and GenStateMachines |
| phronesiser | Adds provably safe ethical constraints to AI agent decision-making |
| ponyiser | Wraps concurrent code in Pony reference capabilities, eliminating data races |
| tlaiser | Extracts state machine specs from code, generates TLA+ models |
| typedqliser | Adds formal type safety to SQL, GraphQL, Cypher, and other query languages |
| verisimiser | Augments existing databases with VeriSimDB capabilities |
| wokelangiser | Transforms code into consent-aware, accessible, and inclusive implementations |
Every -iser follows the same pattern: a TOML manifest describes what the user wants, Idris2 ABI definitions formally prove interface correctness, a Zig FFI bridge provides the C-ABI layer, and a Rust CLI orchestrates codegen. 17 CI/CD workflows and full RSR governance are included in every generated repo.