trueagi-io / VereyaLinks
Python api for agents in minecraft
☆12Updated 2 weeks ago
Alternatives and similar repositories for Vereya
Users that are interested in Vereya are comparing it to the libraries listed below
Sorting:
- MeTTa programming language implementation☆216Updated 3 weeks ago
- ☆14Updated 3 months ago
- The meta meme☆15Updated 2 months ago
- Discussion of MeTTa programming with examples☆34Updated 3 months ago
- A Simple Discord Bot with a Rasa Connection☆10Updated 11 months ago
- Neuro-symbolic interpretation learning (mostly just language-learning, for now)☆181Updated this week
- AI Agent Simulation generates Minecraft Settlements☆83Updated last year
- Tau LLM made with Unity 6 ML Agents☆17Updated 7 months ago
- MOSES Machine Learning: Meta-Optimizing Semantic Evolutionary Search for the AtomSpace (https://github.com/opencog/atomspace)☆45Updated last week
- Model Context Protocol Minecraft Server☆35Updated 11 months ago
- ElizaOS agent powered by Knowledge Graph memories. Based on the ElizaOS plugin enabling integration with the OriginTrail Decentralized Kn…☆38Updated last month
- a decentralized dataset generator and manipulator.☆11Updated last week
- Artificial Intelligence Domain Specific Language (AI-DSL) to enable autonomous interoperability between AI services.☆82Updated 5 months ago
- GPT-based language channel for NARS (ONA)☆36Updated 10 months ago
- AtomSpace Graph Database RocksDB backend☆18Updated last week
- Constructing community of LLM-based Agent in the minecraft☆15Updated 3 weeks ago
- The AI and Human powered ticket system to manage your AI based code generation with tickets☆30Updated 2 years ago
- MeTTa Optimal Reduction Kernel☆39Updated last week
- Supercharge Bittensor Ecosystem with Advanced Mathematical and Logical AI☆13Updated last year
- Model Server Template. Used to expose custom models to the LangSmith Playground☆16Updated last year
- The Internet Memes Knowledge Graph☆14Updated last year
- Cognitive Computing with Associative Memory☆36Updated last year
- LMQL implementation of tree of thoughts☆34Updated last year
- Set up an access point to your Bittensor Validator.☆14Updated 2 years ago
- mirror from Project page on Inria Gitlab | Why3 is a software verification platform, featuring a versatile ML-style language and interfac…☆12Updated 7 years ago
- Unleash the full potential of exascale LLMs on consumer-class GPUs, proven by extensive benchmarks, with no long-term adjustments and min…☆26Updated last year
- Experimental Python implementation of the Clarion cognitive architecture☆61Updated 3 weeks ago
- MindMapper is an innovative program that empowers intelligent agents to navigate complex thought landscapes and collaboratively map their…☆31Updated last month
- Turing machines, Rule 110, and A::B reversal using Claude 3 Opus.☆58Updated last year
- Grounding LLM mathematical reasoning with proof assistants.☆64Updated 2 years ago