Experimental Python implementation of the Clarion cognitive architecture
☆68Aug 6, 2026Updated 2 months ago
Alternatives and similar repositories for pyClarion
Users that are interested in pyClarion are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Mirror of the official ACT-R Lisp implementation☆15Mar 23, 2023Updated 3 years ago
- ☆10May 10, 2016Updated 10 years ago
- TinyNS: Platform-Aware Neurosymbolic Auto Tiny Machine Learning☆25Jun 2, 2023Updated 3 years ago
- The Metacognitive Integrated Dual-Cycle Architecture (MIDCA)☆27Jun 13, 2023Updated 3 years ago
- [TPAMI] "Symbolic Visual Reinforcement Learning: A Scalable Framework with Object-Level Abstraction and Differentiable Expression Search"…☆18Jan 4, 2023Updated 3 years ago
- 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.
- Certified Reasoning with Language Models☆31Dec 6, 2023Updated 2 years ago
- The source of Walnut☆10Oct 22, 2026Updated last week
- A new way to generate large quantities of high quality synthetic data (on par with GPT-4), with better controllability, at a fraction of …☆23Oct 1, 2024Updated 2 years ago
- Advancement at the intersection of cognitive science, temporal knowledge graphs, database systems, and AI.☆15Sep 27, 2026Updated last month
- An LLM chatbot augmented by neuro-symbolic rules☆10Jun 8, 2023Updated 3 years ago
- OpenLock Environment for OpenAI Gym☆19Feb 16, 2021Updated 5 years ago
- Repository for the "Computational Cognitive Modeling and Linguistic Theory" (Brasoveanu & Dotlacil 2020) book☆50Aug 1, 2021Updated 5 years ago
- Companion code to the talk "Finite Flights on an Infinite Plane" (http://www.meetup.com/santa-monica-haskell/events/227156054/)☆15May 12, 2025Updated last year
- Python version of cognitive architecture MicroPsi☆193Jun 21, 2022Updated 4 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Contains the matrix generation software and normed matrices described in "Recreating Raven's: Software for systematically generating larg…☆18Dec 4, 2023Updated 2 years ago
- Official Release of NeurIPS 2020 Spotlight paper "Generative Neurosymbolic Machines"☆36Mar 9, 2024Updated 2 years ago
- OWL specification of the Core Ontology for Robotics and Automation (CORA) and other IEEE 1872-2015 ontologies☆35Oct 21, 2020Updated 6 years ago
- Framework and Language for Neurosymbolic Programming.☆522Jun 26, 2026Updated 4 months ago
- The Janus Architecture: a physical synthetic organism built around analog relational cognition, metabolic constraint, re-entrant observat…☆15Oct 8, 2026Updated 3 weeks ago
- An OpenAI wrapper for PyReason to use in a Grid World reinforcement learning setting☆32Dec 28, 2023Updated 2 years ago
- Codebase for VAEL: Bridging Variational Autoencoders and Probabilistic Logic Programming☆26Jun 30, 2023Updated 3 years ago
- LaTeX source for Sized Dependent Types via Extensional Type Theory☆12Jan 28, 2026Updated 9 months ago
- An environment for learning formal mathematical reasoning from scratch☆72Aug 18, 2024Updated 2 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- A Scalable Approximate Method for Probabilistic Neurosymbolic Inference☆26Jan 27, 2025Updated last year
- Soar's website: documentation, news, announcements, links, etc.☆18Oct 6, 2026Updated 3 weeks ago
- Codebase for the paper: Not All Neuro-Symbolic Concepts Are Created Equal: Analysis and Mitigation of Reasoning Shortcuts☆24Mar 4, 2024Updated 2 years ago
- A mind built around a local 27B model on one Mac: lasting memory, affect and drives, offline Wikipedia, voice and screen, procedures she …☆130Updated this week
- Pure Java implementation of the Soar cognitive architecture.☆62Sep 24, 2026Updated last month
- Haskell interface to automated theorem provers☆10Feb 10, 2022Updated 4 years ago
- Python library for computational formal logic, formal semantics, and theorem proving☆33Dec 13, 2025Updated 10 months ago
- Adaptive Neuro-Symbolic Network Agent☆44Jun 11, 2022Updated 4 years ago
- Sparse Transformers in JAX☆34Sep 17, 2026Updated last month
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A short course in Soar programming for engineers☆22Dec 27, 2024Updated last year
- Inductor Prolog: A Lightweight Embeddable C++ Prolog Compiler☆15Dec 4, 2023Updated 2 years ago
- Categorica: a pure and applied category theory framework for the Wolfram Language☆39Mar 24, 2024Updated 2 years ago
- Python library for program synthesis and symbolic execution combining constraint solving and LLMs☆39Mar 5, 2026Updated 7 months ago
- Planning and Domain Definition Language (PDDL) syntax highlighting for vim☆11Dec 12, 2023Updated 2 years ago
- This from-scratch implementation of Ruehlman's SuperBake injects verified facts into Transformer models without gradient descent by appen…☆15Jul 24, 2026Updated 3 months ago
- The Web Bot Auth implementation for Anubis.☆12Sep 28, 2026Updated last month