close fullscreen

MeTTa Programming Language+Hyperon Experimental

help edit space_dashboard
human approved
more_horiz
open_in_full page
fullscreen modal
edit edit
space_dashboard advanced
human authored
more_horiz
open_in_full page
fullscreen modal
edit edit
space_dashboard advanced
runtime
more_horiz
open_in_full page
fullscreen modal
edit create
space_dashboard advanced
metta
more_horiz
open_in_full page
fullscreen modal
edit create
space_dashboard advanced

Hyperon-Experimental is the original reference implementation of MeTTa, serving as the “master blueprint” for the language and the primary engine for R&D. Built in Rust, it is designed for maximum extensibility.

A notable characteristic is its deep Python integration, which enables a hybrid development model where MeTTa and Python code can interoperate seamlessly within the same application. This provides the leverage of the entire Python ecosystem, including its vast AI, data science, and machine learning libraries, directly within MeTTa’s symbolic reasoning framework.

Furthermore, Hyperon-Experimental is engineered as an extensible library with a C API, allowing it to be integrated with programs written in other languages like C or C++. While this architecture is robust and forward-looking, it intentionally prioritizes flexibility and semantic correctness over raw execution speed. As a result, it has merit for conducting small experiments but does not, at present, provide production-grade performance.

Repositories

  • View on GitHub

Papers & Publications

  • Potapov A., Bogdanov V. Univalent foundations of AGI are (not) all you need // Springer: LNCS, V.13154 (proc. AGI'21). 2022. P. 184–195.
  • Warrell J., Potapov A., Vandervorst A., Goertzel B. A Meta-Probabilistic-Programming Language for Bisimulation of Probabilistic and Non-Well-Founded Type Systems // Springer: LNCS, V.13539 (proc. AGI'22). 2023. P. 434–451.
ROADMAP
  • Add capability to integrate various expression evaluation mechanisms
  • Integration of Prolog VM-based modules
  • Release Python packages for Windows
  • Address inefficient variable bindings for performance improvement

Continue Reading

  • Hyperon Experimental Primer
  • Hyperon Experimental Deep Dive