Learn EML
A playable ladder into mathematical programming. Start with tiny control puzzles, continue into Level 1 with no prerequisites, and finish Level 2 ready to reason about multi-module systems on real hardware. The electronics path turns EML into starter kernels for sensors, guards, outputs, traces, and evidence packets.
Self-paced. Written for engineers. Every code sample is a real .eml file you can copy out and compile.
Play EML
Learn the language by solving tiny control puzzles: clamp a signal, cross a threshold, smooth an output, satisfy a guard, and turn the solution into a starter electronics kernel.
EML in 30 Minutes
Write your first equation, emit Python/C-style outputs, inspect Lean theorem scaffolds and hardware-target profiles, and read the chain-order profile. No prerequisites beyond high-school algebra.
Engineering with EML
Multi-module systems, the chain-order cost model, compositional verification contracts, hardware budgets, multi-target CI workflows, and the standard library. The lessons that turn a Level 1 user into an EML engineer.
Domain Tracks
Six tracks, one per industry vertical. Each track walks through the kinds of equations the vertical lives on — what the math is, why chain order matters there, what proofs ship, and which targets the kernel lands on. The pre-built kernels themselves are the proprietary product; tracks describe the surface without shipping the source. Upgrade to Forge Pro for access.
Forge Internals
How Forge actually works: the parser, the Pfaffian profiler, the optimizer pipeline (inline / CSE / SuperBEST / shake-imports), the target registry, the FPGA allocator, and the Lean theorem-shape generator.
Where to start
- Never seen EML before? Start by playing Level 0, then move to Level 1.
- Already know the basics? Jump to Level 2 for module composition, contracts, and CI.
- Want to build hardware? Finish Level 0, then jump to Monogate Electronics to turn EML-style kernels into LED, sensor, display, and matrix projects.
- Looking for your domain? The Level 3 tracks pair the engineering foundations with the kernels you'd actually ship.
- Want to extend the compiler? Level 4 is the Forge internals — parser, profiler, optimizer, backends.