monogate forge

Explore EML. Build toward Forge.

The public package today is monogate: EML arithmetic, BEST routing, symbolic optimization, search, and PyTorch layers.
Multi-target Forge compiler backends are active roadmap/private evidence, not a public installable product yet.

See the demo ↓Read the research →

~/forge

current public status

What you can install today is the EML research and optimization package.

Works today

pip install monogate gives the public EML math library: the core operator, elementary functions, BEST routing, optimizer utilities, symbolic search, and PyTorch activation experiments.

In development

Forge compiler backends, hardware-oriented codegen, and proof-carrying export flows are being built and reviewed through private evidence packets.

Not claimed yet

There is no public monogate-forge package today, and this site should not be read as a claim that Verilog, zkproof, MATLAB, or other compiler targets are currently shipped for public use.

how it works

From public EML experiments to the Forge compiler roadmap.

01Install the public EML packageThe package name today is monogate, not monogate-forge.

02Use the working math layerCore EML arithmetic, elementary functions, BEST routing, optimizer passes, MCTS search, and PyTorch layers.

03Review measured evidenceKeep examples tied to tests, local packets, and explicit non-claims.

04Track Forge compiler work separatelyMulti-target codegen and proof-carrying exports are roadmap/private evidence until a public package exists.

05Publish only shipped capabilitiesAmbition stays visible, but installable claims must match what users can run.

Today: EML math and optimization.
Roadmap: compiler targets, hardware flows, and proof-carrying exports.

how it works

Three things the public package is allowed to claim today.

Measure

EML expressions can be measured and optimized as symbolic math objects.

BEST routing can choose cheaper operator families than an all-EML baseline.

Verify

Public examples should be backed by tests, reproducible snippets, and explicit claim boundaries.

Compiler correctness and formal proof claims remain blocked.

Compile

Forge compiler targets are the roadmap, not the public package promise today.

No bit-equivalence or hardware-codegen claim is made here.

examples

Roadmap examples are being replaced with public, runnable snippets.

The previous live-compile pane got ahead of the public package. Until public Forge targets ship, this section is a placeholder for examples that users can reproduce with monogate.

industry coverage

22 verticals in the private roadmap inventory.

These cards are not public compiler availability claims. The four example-pending cards are being rebuilt as reproducible public monogate snippets; the rest remain private evidence until their artifacts are published.

Aerospace

example pending

Flight control · Guidance · Propulsion

Chain orders: 0–4
Certification: DO-178C

Automotive

example pending

ADAS · Powertrain · Chassis

Chain orders: 0–2
Certification: ISO 26262

Medical

example pending

Infusion pumps · Defibrillation · PK/PD

Chain orders: 0–3
Certification: IEC 62304

Audio

example pending

DSP · Effects · Synthesis

Chain orders: 0–2
Certification: —

Robotics

private evidence

Kinematics · Perception · Platforms

Chain orders: 0–4
Certification: ISO 10218

Manufacturing

private evidence

CNC · Additive · Quality control

Chain orders: 0–3
Certification: ISO 9001

Energy

private evidence

Power grid · Renewables · Nuclear

Chain orders: 0–2
Certification: NRC / IEC 61508

Defense

private evidence

Fire control · EW · Navigation

Chain orders: 0–2
Certification: MIL-STD-882

ML Inference

private evidence

Activations · Loss · Quantisation

Chain orders: 0–3
Certification: —

Scientific

private evidence

Biology · Climate · Physics

Chain orders: 0–2
Certification: —

Crypto

private evidence

AES · SHA · X25519 · Post-quantum

Chain orders: —
Certification: FIPS 140-3

Finance

private evidence

Pricing · Greeks · Risk

Chain orders: 0–3
Certification: SR 11-7 / FRTB

Telecom

private evidence

OFDM · QAM · Link budget

Chain orders: 0–2
Certification: 3GPP

Radar

private evidence

Doppler · Beamforming · Tracking

Chain orders: 0–3
Certification: —

Semiconductor

private evidence

Diodes · BJT · MOSFET · Op-amps

Chain orders: 0–1
Certification: JEDEC

Chemistry

private evidence

Kinetics · Pharma · Spectroscopy

Chain orders: 0–2
Certification: ICH Q-series

Geospatial

private evidence

Distance · Bearing · Projections

Chain orders: 0–2
Certification: ICAO Annex 4

Imaging

private evidence

Demosaic · Filtering · Sharpening

Chain orders: 0–1
Certification: —

Agriculture

private evidence

Photosynthesis · Soil water · Yield

Chain orders: 0–2
Certification: FAO-56

Graphics

private evidence

Shading · BRDFs · Shadows

Chain orders: 0–1
Certification: —

Environmental

private evidence

Emissions · Air · Ocean · Water

Chain orders: 0–2
Certification: EPA / IPCC

Construction

private evidence

Concrete · Beams · Foundations

Chain orders: 0–1
Certification: ACI / AISC

the numbers

Public claims are now separated from the compiler roadmap.

Public PyPI package

EML

Core operator

BEST

Routing layer

roadmap

Forge compiler targets

Installable today: monogate for EML arithmetic, optimization, routing, search, and ML experiments. Compiler targets such as C, Rust, Verilog, Lean, MATLAB, and zkproof remain roadmap/private evidence until a public Forge package ships.

waitlist

Be first to know when Forge goes public.

We'll send one email when the GitHub repo opens. No newsletter. No drip campaign.