Pinned Loading

1. MeTTa-Kernel MeTTa-Kernel Public

   MeTTa, Hyperon's AGI language, with a beautiful Python, TypeScript and C library, and a convenient extendable surface

   Python 1

2. 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 6 3

3. LeaTTa LeaTTa Public

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

   Lean 3 2

4. MeTTa-LSP MeTTa-LSP Public

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

   TypeScript 5 3

5. 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

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

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

   Rust 1 1