This is the map. If you have a codebase and a need, this page routes you to
the -iser that grants it — the "right place" index for the augmentation family.
It is the coordination layer for Aspect-Oriented Language Design (see
theory/AOLD.adoc) and the Integrated Stack of Stacks (theory/iSOS.adoc).
Every -iser injects one specialist language’s superpower into the code you
already have, via manifest → Idris2 ABI → Zig FFI → codegen → build/run. You
do not learn the language. Find your need in the left column; go to the -iser in
the middle.
| I want to… | Use | Aspect / language essence |
|---|---|---|
…distribute a single-machine workload across a cluster |
Chapel data-parallelism |
|
…push array/number crunching onto the GPU |
Futhark kernels |
|
…make a Python/R pipeline ~100× faster |
Julia |
|
…add fault tolerance / supervision to concurrent code |
OTP/BEAM |
|
…get data-race freedom for concurrency |
Pony reference capabilities |
|
…optimise an image/video pipeline |
Halide schedules |
|
…rewrite array patterns as optimised primitives |
BQN |
|
…generate high-performance C libraries |
Nim metaprogramming |
|
…prove critical functions correct-by-construction |
Dafny |
|
…model-check a state machine |
TLA+/PlusCal |
|
…find counterexamples in an API model |
Alloy |
|
…get proven-correct wrappers from interfaces |
Idris2 dependent types |
|
…verify real-time embedded logic |
Lustre |
|
…add formal type safety to a query language |
graded type systems |
|
…wrap C in zero-cost memory safety |
ATS linear types |
|
…enforce use-exactly-once on resources |
Ephapax linear semantics |
|
…target WASM with affine + dependent types |
AffineScript |
|
…augment any database (drift/provenance/temporal) |
VeriSimDB octad |
|
…make configs self-validating |
K9 contracts |
|
…add cryptographic attestation to markup/config |
A2ML |
|
…make operations reversible + auditable |
Oblíbený |
|
…add energy/carbon/cost awareness |
Eclexia |
|
…put provably-safe ethical guardrails on an AI agent |
Phronesis |
|
…add consent flows + accessibility |
WokeLang |
|
…model uncertainty over deterministic code |
Betlang ternary probability |
|
…expose a complex API progressively |
My-Lang |
|
…formalise ISU figure-skating notation |
Anvomidav |
|
…scaffold a brand-new -iser for another language |
the meta-framework |
|
Note
|
Status across the family is scaffold → pre-alpha; chapeliser,
verisimiser, and typedqliser are the most developed. Each -iser’s own
ROADMAP.adoc is the source of truth for its maturity. (The family READMEs
historically over-stated test counts; trust the per-repo cargo test output.)
|
| -iserisation is… | …and it is not |
|---|---|
augmentation: bolt one specialist language’s power onto a foreign host |
aggregate-library: aLib is the dual — the minimal overlap common to all systems. -isers add the exotic edge; aLib distils the shared core. |
a coordination atlas: the index that sends you to the right capability |
nextgen-language-evangeliser: that advocates adopting whole next-gen languages; the atlas routes you to a capability, no adoption required. |
a family of proof-carrying seams (Idris2 ABI + Zig FFI) |
the dyadic language/toolchain design of Ephapax, or an AffineScript "face". |
your app ──► <name>.toml ──► the -iser CLI
│
┌─────────────────┼─────────────────┐
▼ ▼ ▼
Idris2 ABI Zig FFI target codegen
(prove interface) (C-ABI bridge) (specialist lang)
└─────────────────┴─────────────────┘
▼
your app, now wearing the aspect
# install any -iser (standalone Rust binary)
cargo install chapeliser # …or any name above
# the shared five-command interface
<iser> init # write a manifest for your project
<iser> validate # check it against the Idris2 ABI spec
<iser> generate # emit the specialist-language code
<iser> build # build the generated output
<iser> run # run itTo create an aspect for a language that has no -iser yet, use the meta-framework:
iseriser generate -m <language>.toml -o ./<name>iser (see
examples/newlang/iseriser.toml).