trueagi-io / VereyaLinks
Python api for agents in minecraft
☆10Updated 2 months ago
Alternatives and similar repositories for Vereya
Users that are interested in Vereya are comparing it to the libraries listed below
Sorting:
- My corner of guix packages. They are either works in progress or have licenses that do not necessarily belong in a libre distribution.☆12Updated 6 months ago
- ☆8Updated last year
- OpenCog Attention Allocation Subsystem☆14Updated 3 months ago
- formalization of theorems of higher algebraic K-theory☆8Updated 11 years ago
- A collection of libraries in Scheme☆13Updated 4 years ago
- Distributed AtomSpace Network Server☆22Updated 2 weeks ago
- Save, track and query 3D+time locations of objects in the AtomSpace☆13Updated 3 months ago
- The Internet Memes Knowledge Graph☆15Updated 9 months ago
- Animation of Yves Lafont's Interaction Combinators☆19Updated 3 years ago
- The SMoL (Standard Model of Languages) Family of Languages☆18Updated 6 months ago
- An Editor with Generic Semantics for Formal Reasoning About Visual Notations☆19Updated 4 years ago
- MOSES Machine Learning: Meta-Optimizing Semantic Evolutionary Search for the AtomSpace (https://github.com/opencog/atomspace)☆43Updated last month
- Haskell bindings to llama.cpp☆11Updated last year
- VC - Verse Calculus - notes & learnings from: The Verse Calculus: a Core Calculus for Functional Logic Programming (official paper by Epi…☆10Updated 2 years ago
- How to run Panoply Git GNU/Linux (the version of FRDCSA made by combining all of the redacted GitHub FRDCSA codebases)☆12Updated 2 years ago
- A Simple Discord Bot with a Rasa Connection☆10Updated 6 months ago
- ☆11Updated 6 months ago
- Generate sandbox buildable Nix expression from Mix lock file☆12Updated 3 years ago
- GPT-based language channel for NARS (ONA)☆33Updated 5 months ago
- The Flix Programming Book☆19Updated last week
- The main repository integrating the LaTeX beamer-based slides☆26Updated 3 months ago
- Standard library for Lambda Calculus, finally making LC a practical programming language.☆14Updated last month
- A extensive list of all the awesome things around Bittensor.☆11Updated last year
- [NO LONGER MAINTAINED, SUPERSEDED BY https://github.com/trueagi-io/pln-experimental and https://github.com/trueagi-io/PLN]. Probabilisti…☆16Updated 3 months ago
- Reason about Bitcoin addresses with Prolog☆22Updated last year
- A package and module for using GNU Guix on Nix(OS). Kinda more a code dump than for actual use. See fork☆15Updated 5 years ago
- World's fastest FRACTRAN interpeter☆14Updated 2 years ago
- A Scheme to Unlambda compiler☆18Updated 8 years ago
- an experiment☆11Updated 7 months ago
- AtomSpace Graph Database RocksDB backend☆17Updated 3 months ago