get started
Install Forge. Compile to every target — free.
Monogate Forge is the EML→multi-target compiler. Every compile target is free — there is no Pro tier. Install the CLI, or try it in your browser at efrog.dev.
step 1 — install
Install the Forge compiler
The compiler CLI takes an EML module and emits any supported target. No license token — every target is free.
pip install monogate-forge
Then compile, e.g. to synthesizable Verilog:
eml-compile model.eml --target verilog
Want just the EML math, routing, optimization, search, and ML research package? That ships separately as pip install monogate.
step 2 — what you get
One EML source, every target — all free
Compile targets
The same verified EML compiles to any of these, with no Pro tier or license.
- Software — C, C++, Rust, Go, Java, Kotlin, C#, Python, JavaScript, WebAssembly, MATLAB
- GPU shaders — HLSL, GLSL, GLSL ES, WGSL, Metal
- Hardware — Verilog, SystemVerilog, VHDL, Chisel (+ SPICE, KiCad, JLCPCB)
- IR & proofs — LLVM IR, Lean 4, Coq, Isabelle
- Other — Solidity, and safety-critical Ada / AUTOSAR / AADL / ROS 2
Try it & install
Everything is free to use right now.
- Browser: compile any target at efrog.dev — no install
- PyPI: pip install monogate-forge
- Source: the full compiler source ships in the pip wheel
- Verification: Lean 4 proof artifacts emit alongside the code