MeTTaMeTTa, in pure TypeScript

A complete implementation of the OpenCog Hyperon language that runs anywhere TypeScript runs — the browser, Node, Deno, Bun, edge functions, and inside TypeScript AI agents. No native addons, no WASM.

Get started

Learn MeTTa

GitHub

Run it anywhere

One ESM bundle, ~23 KB gzipped. No native addon, no WASM, no Rust. Import it in a web page, a serverless handler, or an agent loop and go.

Faithful semantics

A port of hyperon-experimental's minimal interpreter, validated 270/270 against Hyperon's oracle corpus and cross-checked against the Lean-verified LeaTTa semantics.

TypeScript-native interop

Call your TypeScript functions from MeTTa, drop TypeScript objects straight into the atomspace as grounded atoms, and write rules with a typed eDSL — no FFI, same language end to end.

Async and concurrent

Grounded operations can do I/O and the evaluator awaits them. Concurrency primitives (par, race, once, with-mutex) and transactions build on top.

Scales to millions of atoms

Prolog-style clause indexing keys queries by functor and every ground argument, plus a flat interned KB with a worker-thread parallel matcher.

A typed eDSL

Write MeTTa in idiomatic TypeScript with typed term builders and a tagged template, or stay in plain MeTTa source. Same engine, same semantics.