A total-functional stream processor with definitive worst-case execution time and memory bounds. Edit below; the program is compiled and verified in your browser, its per-chunk bounds are shown, and you can run it step by step. New to Keleusma? Start with the guide (also in 日本語).
Loading compiler…
Run executes the program in your browser. input is the
main parameter, and each resume value. A loop
stops at each yield (highlighted) and at the iteration
Reset; a fn runs to Finished.
Programs that call host functions, or read private data before writing it,
cannot run yet.