# iseriser

The meta-framework that generates new -iser projects. Factory for the entire family.

PMPL-2.0 crates.io 28 -isers

## Install

    cargo install iseriser

## What It Does

Given 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.

## The -iser Family

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

## Architecture

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.

GitHub crates.io