The Eyepl Playground

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

⚙ Advanced configuration
No background knowledge loaded.

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

Editable Eyepl program custom program
Output Idle.
(no output yet)
Ready. eyepl v…

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