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 and their hardware budgets. The electronics path turns EML into starter kernels for sensors, guards, outputs, traces, and evidence packets.
Self-paced. Written for engineers. Before each deploy, every command in Levels 1 and 2 that calls the compiler is run against the release pip install monogate-forge gives you, beside the source its page shows. A command whose source the page does not show is checked for argument errors only, and the Level 0 puzzles are not compiled by that check.
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, contracts on composed functions, hardware budgets, multi-target CI workflows, and the standard library. The lessons that turn a Level 1 user into an EML engineer.
Domain Tracks
None of these 6 domain tracks has a page on this site. Each card names an industry vertical and the kind of kernel a track for it would cover. The compiler itself is free — install Forge and every target is available with no license.
Forge Internals
Topics: the parser, the Pfaffian profiler, the optimizer passes (inlining, CSE, SuperBEST routing, import shaking), the target registry, the FPGA allocator, and the Lean backend.
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.