GPT-based language channel for NARS (ONA)
☆40Jan 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.☆119May 30, 2025Updated last year
- Non-Axiomatic Causal Explorer☆23May 6, 2025Updated last year
- OpenNARS for Research 3.0+☆422Mar 31, 2021Updated 5 years ago
- Swift implementation of Pei Wang's Non-Axiomatic Logic☆13Jul 1, 2025Updated last year
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Adaptive Logic and Neural Network (ALANN) version of NARS style General Machine Intelligence (GMI)☆35Nov 30, 2022Updated 3 years ago
- Adaptive Neuro-Symbolic Network Agent☆42Jun 11, 2022Updated 4 years ago
- Efficient MeTTa language implementation in Prolog.☆27Updated this week
- ☆37Updated this week
- A General Model for Learning and Decision-Making in Artificial Animals☆10Jun 18, 2017Updated 9 years ago
- Adaptive Neuro-Symbolic Network Agent☆14Oct 11, 2018Updated 7 years ago
- Save, track and query 3D+time locations of objects in the AtomSpace☆16Apr 3, 2025Updated last year
- Generate networks from syntax (e.g. natural language, math proofs, action plans, biome/reactome nets)☆35Dec 9, 2025Updated 7 months ago
- Soar Agent (and SML code) that learns through situated interactive instruction in a robotic environment☆37Sep 15, 2023Updated 2 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- parser/viewer for olean files (lean 3)☆13May 8, 2019Updated 7 years ago
- An open source graphical proof construction assistant for the creation of Propositional Natural Deduction proofs.☆17May 24, 2026Updated 2 months ago
- AutoGraph: autonomous graph based clustering of metabolite conformations☆12Mar 25, 2022Updated 4 years ago
- Cópia filtrada segura e estável de dados oficiais do Brasil representados no OSM☆15Sep 26, 2020Updated 5 years ago
- Astro Design Components☆19Sep 9, 2020Updated 5 years ago
- A Python implementation of the ACT-R cognitive Architecture☆36Oct 5, 2025Updated 9 months ago
- ☆12Jul 31, 2020Updated 5 years ago
- A service that parses a sentence using AMR and returns a set of Verbnet logic predicates grounded with the roles of the input sentence.☆13Apr 6, 2022Updated 4 years ago
- Convert Abstract Meaning Representation (AMR) into first-order logic☆17Aug 7, 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.
- Links to recourses for the Lean Theorem Prover☆13Dec 3, 2019Updated 6 years ago
- A Next.js chatbot app demonstrating seamless integration with window.ai.☆15Jun 25, 2023Updated 3 years ago
- Github mirror of MediaWiki extension WikibaseQualityConstraints - our actual code is hosted with Gerrit (please see https://www.mediawiki…☆14Updated this week
- A graphical web application for interactive theorem proving in Charles Peirce's alpha existential graph system.☆11Jan 5, 2025Updated last year
- SIU: A Million-Scale Structural Small Molecule-Protein Interaction Dataset for Unbiased Bioactivity Prediction☆17Feb 17, 2025Updated last year
- Soar, a general cognitive architecture for systems that exhibit intelligent behavior.☆426Updated this week
- A python library that supports all vector databases specifically for LLM apps and frameworks☆13May 3, 2023Updated 3 years ago
- allows Mathematica to control NetLogo (and not vice versa)☆16Dec 22, 2025Updated 7 months ago
- ☆31Dec 13, 2023Updated 2 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- ☆67Updated this week
- A Java program synthesizer.☆23Mar 28, 2019Updated 7 years ago
- accelerate your knowledge of LaTeX☆16Feb 28, 2025Updated last year
- A high performance I/O library for deep learning in Julia, based on the PyTorch WebDataset library☆15Dec 18, 2025Updated 7 months ago
- AIXIjs - General Reinforcement Learning in the Browser☆151Jul 19, 2020Updated 6 years ago
- A package to interact with poe.com☆12Mar 16, 2023Updated 3 years ago
- An LLM Client for the PS Vita☆13Jun 23, 2025Updated last year