engine loading…

The parsed NIF (.p.aif) appears here live as you type — the parser turns your source into nimony's untyped intermediate form.

The typed NIF (.s.aif) appears here after type-checking — the semchecker resolves every symbol, overload and type on top of the parsed form.

The lowered NIF (.c.aif) from aowlhexer — ARC, closures, exceptions and generics lowered in, the form the C backend consumes. Select this stage to run the lowering (loads a ~6 MB bundle on first view).

Press Run to see the program's execution serialized as NIF — the run rung (.run.aif): source → parsed → typed → run, the bottom of aowli's content-addressed compilation tower.

Export your program to another language — transpiled entirely in your browser by the nimony toolchain compiled to JavaScript. Type-check first (the program must be valid); the selected target's source appears here with syntax highlighting.

Pick an example and press Run. The interpreter runs entirely in your browser — no server ever sees or executes your code.

stdin

Symbols in your code appear here as you type — click one to jump to it. Hover any name in the editor for its type; ⌃Space completes; F12 goes to definition.