Skip to content
View MesTTo's full-sized avatar
🪐
talk to me about anything neurosymbolic ai
🪐
talk to me about anything neurosymbolic ai

Highlights

  • Pro

Block or report MesTTo

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
MesTTo/README.md

A MeTTa reduction: builds Mesto, if age > patience then AGI else Later, 18 > 0, True, AGI

Rust    C    TypeScript    Python    C#    HTML    CSS    MeTTa    Prolog

AGI/AI Research and Development Engineer working at Singularitynet

Pinned Loading

  1. PyMeTTa PyMeTTa Public

    PyMeTTa, the Python implementation of MeTTa. Write Python, get MeTTa: atoms are Python values and spaces are queryable stores.

    Python

  2. llm-by-neural-predictive-coding llm-by-neural-predictive-coding Public

    Local learning for GPT-2: predictive-coding distillation, continual-learning experiments, and MORK inference.

    Python 1

  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-Library-Pack MeTTa-Library-Pack Public

    The MeTTa Library Pack: the standard libraries, written in MeTTa.

    Prolog 1

  5. omegaclaw-deontic omegaclaw-deontic Public

    Deontic Task Orchestrator for OmegaClaw. Has defeasible event calculus, deontic and temporal reasoning, and agent verifiable work system

    MeTTa 2

  6. MeTTa-Grapher MeTTa-Grapher Public

    An interactive MeTTa graph workspace powered by TSMeTTa

    TypeScript