Skip to content

Navigation Menu

Appearance settings

trueagi-io

Explore
By company size
By use case
By industry
View all solutions
Topics
- AI
- DevOps
- Security
- Software Development
- View all
Explore
- GitHub Sponsors
  Fund open source developers
- The ReadME Project
  GitHub community articles
Repositories
- Enterprise platform
  AI-powered developer platform
Available add-ons
Pricing

Search code, repositories, users, issues, pull requests...

Search

Clear

Search syntax tips

Provide feedback

We read every piece of feedback, and take your input very seriously.

Include my email address so I can be contacted

Saved searches

Use saved searches to filter your results more quickly

Name

Query

To see all available qualifiers, see our documentation.

Appearance settings

You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session.

Dismiss alert

trueagi-io

Overview
Repositories
Projects
Packages
People

More

Overview
Repositories
Projects
Packages
People

Pinned Loading

hyperon-experimental hyperon-experimental Public

MeTTa programming language implementation

Rust 186 68
minecraft-demo minecraft-demo Public

Python 8 11
metta-examples metta-examples Public

Discussion of MeTTa programming with examples

Python 28 23
pln-experimental pln-experimental Public

Hyperon port of PLN (experimental)

Idris 8 15

Repositories

Loading

Type

Select type

All Public Sources Forks Archived Mirrors Templates

Language

Select language

All C++ Idris Java Kotlin Prolog Python Rust Shell

Sort

Select order

Last updated Name Stars

Showing 10 of 17 repositories

MORK Public
MeTTa Optimal Reduction Kernel

trueagi-io/MORK’s past year of commit activity

Rust 21 5 0 1 Updated Jun 9, 2025
metta-wam Public
A Hyperon MeTTa Interpreter/Transpilier that targets the Warren Abstract Machine

trueagi-io/metta-wam’s past year of commit activity

Prolog 21 17 106 (3 issues need help) 0 Updated Jun 8, 2025
hyperon-experimental Public
MeTTa programming language implementation

trueagi-io/hyperon-experimental’s past year of commit activity

Rust 186 MIT 68 112 (1 issue needs help) 4 Updated Jun 6, 2025
PLN Public
Modern PLN implementation for Hyperon

trueagi-io/PLN’s past year of commit activity

Shell 2 MIT 2 0 3 Updated Jun 6, 2025
pln-experimental Public
Hyperon port of PLN (experimental)

trueagi-io/pln-experimental’s past year of commit activity

Idris 8 AGPL-3.0 15 0 0 Updated Jun 2, 2025
chaining Public
MeTTa module containing various flavors of backward and forward chaining, as well as converters between these flavors.

trueagi-io/chaining’s past year of commit activity

Shell 10 GPL-3.0 6 0 1 Updated May 30, 2025
jetta Public

trueagi-io/jetta’s past year of commit activity

Kotlin 0 MIT 0 7 0 Updated May 20, 2025
minecraft-demo Public

trueagi-io/minecraft-demo’s past year of commit activity

Python 8 AGPL-3.0 11 1 0 Updated May 16, 2025
Vereya Public
Python api for agents in minecraft

trueagi-io/Vereya’s past year of commit activity

Java 10 5 5 0 Updated May 16, 2025
metta-examples Public
Discussion of MeTTa programming with examples

trueagi-io/metta-examples’s past year of commit activity

Python 28 MIT 23 20 (8 issues need help) 2 Updated May 8, 2025

View all repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Uh oh!

There was an error while loading. Please reload this page.

Most used topics

Loading…

Uh oh!

There was an error while loading. Please reload this page.

Footer

© 2025 GitHub, Inc.

Footer navigation

Terms
Privacy
Security
Status
Docs
Contact

You can’t perform that action at this time.