-
-
-
-
PLN Public
Forked from trueagi-io/PLNModern PLN implementation for Hyperon
Shell MIT License UpdatedSep 3, 2025 -
cplint Public
Forked from friguzzi/cplintcplint is a suite of programs for reasoning with probabilistic logic programs
Prolog Other UpdatedJul 17, 2025 -
NASTL Public
Non-Axiomatic Logic truth values for Signal Temporal Logic formulas: Non-Axiomatic Signal Temporal Logic
-
axiom Public
Forked from VersesTech/axiomImplementation and evaluation of the AXIOM architecture from the preprint "AXIOM: Learning to Play Games in Minutes with Expanding Object Centric Models"
Python Other UpdatedJun 2, 2025 -
-
-
Verstable Public
Forked from JacksonAllan/VerstableA versatile, performance-oriented generic hash table library for C.
C MIT License UpdatedMay 6, 2025 -
-
open_manipulator_x Public
Forked from husarion/open_manipulator_xC++ Apache License 2.0 UpdatedApr 23, 2025 -
CC Public
Forked from JacksonAllan/CCA small, ergonomic generic container library.
C MIT License UpdatedApr 21, 2025 -
AniNAL Public
Rule-set-wise trimmed-down and for temporal compounding optimized ONA configuration and demonstration for effective basic perceptual reasoning & sensorimotor.
-
OpenNARS-for-Applications Public
Forked from opennars/OpenNARS-for-ApplicationsGeneral reasoning component for applications based on NARS theory.
C MIT License UpdatedApr 14, 2025 -
metta-wam Public
Forked from trueagi-io/metta-wamA Hyperon MeTTa Interpreter/Transpilier that targets the Warren Abstract Machine
Prolog UpdatedApr 7, 2025 -
-
-
openrobotics_darknet_ros Public
Forked from ros2/openrobotics_darknet_rosROS 2 interface to darknet, an open source neural network library.
C++ Apache License 2.0 UpdatedOct 26, 2024 -
metta-nars Public
ONA-style NARS implementation in MeTTa
-
ros_gz_NARtech Public template
Forked from gazebosim/ros_gz_project_templateA project integrating ROS and Gazebo simulator for NARtech demos.
C++ Apache License 2.0 UpdatedSep 17, 2024 -
vspace-metta Public
Forked from logicmoo/vspace-mettaVersion Space Candidate Elimination inside of MeTTa
HTML UpdatedFeb 25, 2024 -
NarsGPT Public
A NARS implemented as a GPT model prompted to invoke reasoning steps, with NARS-based memory and control machinery implemented in Python.
-
metta-morph Public archive
Forked from trueagi-io/metta-morphMetta-morph (from Metamorphosis): Macro-based MeTTa to (Chicken) Scheme translator.
Python MIT License UpdatedNov 17, 2023 -
hyperon-experimental Public
Forked from trueagi-io/hyperon-experimentalOpenCog Hyperon experimental version
Rust MIT License UpdatedAug 3, 2023 -
hyperon-pln Public
Forked from trueagi-io/pln-experimentalHyperon port of PLN
Idris GNU Affero General Public License v3.0 UpdatedAug 1, 2023 -
-
Lazyminer Public
The Lazyminer project, Non-Axiomatic Reasoning for rule mining on mobile devices.
-
-
{{ message }}