Pinned Loading

1. MeTTaScript MeTTaScript Public

   A metagraph database and reasoning engine in pure TypeScript. Store facts, query by pattern, derive new facts with rules, and search non-deterministically.

   TypeScript 4 3

2. LeaTTa LeaTTa Public

   LeaTTa: a machine-checked operational semantics and metatheory of MeTTa in Lean 4, with a Verso book.

   Lean 2 2

3. MeTTa-LSP MeTTa-LSP Public

   A MeTTa language server, VS Code extension, CLI, MCP server, and documentation toolkit built on @metta-ts/core.

   TypeScript 3 2

4. PeTTaChainer PeTTaChainer Public

   Forked from rTreutlein/PeTTaChainer

   Fork of PeTTaChainer implementing the operational core of πPLN (paraconsistent PLN): generated local contexts, evidence-count truth values, and contextual reasoning in MeTTa.

   Python

5. oh-my-goals oh-my-goals Public

   A native MeTTa decision gate that ranks agent actions against explicit goals, policy norms, and graded evidence.

   TypeScript

6. metta-on-mork metta-on-mork Public

   MORK as an in-process Hyperon atomspace backend (Space/SpaceMut)

   Rust 1 1