GPT-based language channel for NARS (ONA)
☆42Jan 22, 2025Updated last year
Alternatives and similar repositories for NARS-GPT
Users that are interested in NARS-GPT are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A NARS implemented as a GPT model prompted to invoke reasoning steps, with NARS-based memory and control machinery implemented in Python.☆46Feb 1, 2024Updated 2 years ago
- General reasoning component for applications based on NARS theory.☆121May 30, 2025Updated last year
- Non-Axiomatic Causal Explorer☆25May 6, 2025Updated last year
- A Non-Axiomatic Reasoning System implemented in Python☆29Aug 19, 2025Updated last year
- ☆34Nov 27, 2024Updated last year
- 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.
- OpenNARS for Research 3.0+☆428Mar 31, 2021Updated 5 years ago
- ☆45Aug 6, 2026Updated 3 months ago
- ONA-style NARS implementation in MeTTa☆11Oct 14, 2024Updated 2 years ago
- Adaptive Logic and Neural Network (ALANN) version of NARS style General Machine Intelligence (GMI)☆36Nov 30, 2022Updated 3 years ago
- Metta-morph (from Metamorphosis): Macro-based MeTTa to (Chicken) Scheme translator.☆12Aug 8, 2025Updated last year
- GUI for LLaDA Diffusion LLM with Quantization for low end GPU and CPU options.☆25Mar 7, 2025Updated last year
- Adaptive Neuro-Symbolic Network Agent☆14Oct 11, 2018Updated 8 years ago
- A place to store AI deep research reports☆12Aug 1, 2026Updated 3 months ago
- Adversarial LLM Reversal for hermes-agent☆19Aug 17, 2026Updated 2 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Generate networks from syntax (e.g. natural language, math proofs, action plans, biome/reactome nets)☆36Dec 9, 2025Updated 10 months ago
- Save, track and query 3D+time locations of objects in the AtomSpace☆17Apr 3, 2025Updated last year
- SWI-Tinker: a browser playground for SWI-Prolog☆14Jul 25, 2026Updated 3 months ago
- Soar, a general cognitive architecture for systems that exhibit intelligent behavior.☆450Updated this week
- An open source graphical proof construction assistant for the creation of Propositional Natural Deduction proofs.☆17May 24, 2026Updated 5 months ago
- Soar Agent (and SML code) that learns through situated interactive instruction in a robotic environment☆38Sep 15, 2023Updated 3 years ago
- ☆18Dec 18, 2023Updated 2 years ago
- ☆18Nov 5, 2025Updated last year
- ☆10Dec 8, 2022Updated 3 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- ☆14Aug 18, 2026Updated 2 months ago
- A graphical web application for interactive theorem proving in Charles Peirce's alpha existential graph system.☆11Jan 5, 2025Updated last year
- AutoGraph: autonomous graph based clustering of metabolite conformations☆12Mar 25, 2022Updated 4 years ago
- Jai WASM Plugin☆12Nov 13, 2023Updated 2 years ago
- A proof-of-concept implementation of the Prisma App☆11Jan 11, 2018Updated 8 years ago
- ☆12Jul 31, 2020Updated 6 years ago
- A Python implementation of the ACT-R cognitive Architecture☆37Oct 5, 2025Updated last year
- ☆10Mar 20, 2025Updated last year
- A simple UDP Client Server program written in C language☆22Apr 6, 2018Updated 8 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.
- Movie recommendation system built with factorization machines and deep learning☆10Jan 28, 2019Updated 7 years ago
- zero-vocab or low-vocab embeddings☆18Jul 17, 2022Updated 4 years ago
- ☆20Jul 23, 2026Updated 3 months ago
- Solving the "Flow Free" game (mobile app) with Clojure and SAT☆12Jun 22, 2019Updated 7 years ago
- Q&A Bot with Llama Index and LangChain☆28Mar 31, 2023Updated 3 years ago
- Links to recourses for the Lean Theorem Prover☆13Dec 3, 2019Updated 6 years ago
- Verified decision procedures for modal logics in Lean☆13Jun 13, 2020Updated 6 years ago