The EyeDual Playground

Run EyeDual programs in your browser with syntax coloring, examples, proofs, and shareable editor links.

⚙ Advanced configuration
No background knowledge loaded.

Enter any EyeDual file URL and click “Load from URL”. Background knowledge is prepended when the program runs.

Editable EyeDual program custom program
Output Idle.
(no output yet)
Ready. eyedual v…

For local use, serve the checkout with a small HTTP server first; browser modules and example loading usually do not work from file://.