Discussion of MeTTa programming with examples
☆40Aug 17, 2026Updated 2 months ago
Alternatives and similar repositories for metta-examples
Users that are interested in metta-examples are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆13Sep 15, 2025Updated last year
- MeTTa programming language implementation☆282Feb 11, 2026Updated 8 months ago
- Metta-morph (from Metamorphosis): Macro-based MeTTa to (Chicken) Scheme translator.☆12Aug 8, 2025Updated last year
- MeTTa module containing various flavors of backward and forward chaining, as well as converters between these flavors.☆16Sep 16, 2026Updated last month
- ONA-style NARS implementation in MeTTa☆11Oct 14, 2024Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- MeTTa Optimal Reduction Kernel☆63Updated this week
- Efficient MeTTa language implementation in Prolog.☆31Oct 28, 2026Updated last week
- Meta Optimization Semantic Evolutionary Search☆18Updated this week
- Distributed Atomspace.☆12Jul 24, 2026Updated 3 months ago
- AIRIS Public Release☆39Mar 26, 2026Updated 7 months ago
- Resources to parse into computational semantics in order to enable model checkers to regenerate and extend a program resembling the origi…☆13Sep 2, 2024Updated 2 years ago
- Common Lisp programmable version of LarKC/OpenCYC (And soon Prolog)☆19Apr 17, 2023Updated 3 years ago
- ☆44Aug 6, 2026Updated 3 months ago
- Python api for agents in minecraft☆15Feb 3, 2026Updated 9 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Artificial Intelligence Domain Specific Language (AI-DSL) to enable autonomous interoperability between AI services.☆89Jul 24, 2026Updated 3 months ago
- A deliberative software agent using Perl/Prolog/Emacs able to plan and execute language functions, programs and shell commands☆13May 17, 2019Updated 7 years ago
- Pfc: adding forward chaining and truth maintenance to Prolog☆12Sep 6, 2022Updated 4 years ago
- YAP is a high-performance Prolog compiler☆13Mar 11, 2011Updated 15 years ago
- The OpenCog (hyper-)graph database and graph rewriting system☆1,012Feb 10, 2026Updated 8 months ago
- ☆17Jul 27, 2026Updated 3 months ago
- DRS Analysis Tool (DAT) parses and analyses Discourse Representation Structure output from Attempto Controlled English (ACE) parser (APE)…☆13Jan 13, 2019Updated 7 years ago
- State-of-the-art predictive coding, made easy.☆76Oct 19, 2026Updated 2 weeks ago
- AtomSpace Graph Database RocksDB backend☆21Jan 21, 2026Updated 9 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- NLP functionality on top of the Sigma system☆21Oct 17, 2026Updated 2 weeks ago
- Generate networks from syntax (e.g. natural language, math proofs, action plans, biome/reactome nets)☆36Dec 9, 2025Updated 10 months ago
- Non-Axiomatic Causal Explorer☆24May 6, 2025Updated last year
- This repository contains the documentation for the standard library of the MeTTa language.☆22Jul 22, 2025Updated last year
- Top-down interpreter for ASP programs with Constraints☆48Updated this week
- Aigents Java Core Platform☆35Oct 15, 2024Updated 2 years ago
- Open Source Deep Reinforcement Learning, based on Agent 57 (Badia et al, 2020)☆39Aug 10, 2024Updated 2 years ago
- Explainable machine learning☆17Mar 17, 2019Updated 7 years ago
- Adaptive Logic and Neural Network (ALANN) version of NARS style General Machine Intelligence (GMI)☆36Nov 30, 2022Updated 3 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- top-down interpreter for ASP programs with constraints☆20Sep 19, 2022Updated 4 years ago
- An Inductive Logic Programming system for online learning of event definitions in the form of Event Calculus programs☆20Oct 17, 2020Updated 6 years ago
- Rational OpenCog Controlled Agent (ROCCA). Use OpenCog to control a rational agent in OpenAI Gym and Malmo environments.☆40Apr 5, 2023Updated 3 years ago
- Python implementation of churiso☆20Jul 16, 2020Updated 6 years ago
- Hyperon port of PLN (experimental)☆11Sep 21, 2026Updated last month
- SingularityNET Beta DApp lets you interact with Agents registered on the Kovan network using testnet AGI☆15Aug 16, 2019Updated 7 years ago
- A C++ implementation for using Prolog in ROS.☆10Jun 24, 2017Updated 9 years ago