Skip to content

@logicmoo Logicmμ

Change the repository type filter

All

    Repositories list

    113 repositories

    • theia

      Public
      Eclipse Theia is a cloud & desktop IDE framework implemented in TypeScript.
      TypeScript
      •
      Other
      •2.8k•1•0•14•Updated Apr 13, 2026Apr 13, 2026

    • metta-wam

      Public
      A Hyperon MeTTa Interpreter/Transpilier that targets the Warren Abstract Machine
      Prolog
      •23•0•0•2•Updated Mar 29, 2026Mar 29, 2026

    • vscode_petta_mork

      Public
      Shell
      •0•2•0•0•Updated Nov 26, 2025Nov 26, 2025

    • PeTTa

      Public
      Prolog
      •
      MIT License
      •38•0•0•0•Updated Nov 18, 2025Nov 18, 2025

    • llmjam

      Public
      Python
      •3•2•0•0•Updated Sep 25, 2025Sep 25, 2025

    • phaelus-jam-1

      Public
      Allow LLMs to jam with you in real-time from and to midi.
      Python
      •
      Other
      •0•0•0•0•Updated Sep 22, 2025Sep 22, 2025

    • ace_llm_logic

      Public
      A pipeline that uses ACE and an LLM to convert natural English into Logical Form
      Prolog
      •0•2•0•0•Updated Jul 18, 2025Jul 18, 2025

    • tuProlog

      Public
      SxxMachine hack of https://bitbucket.org/tuprologteam/tuProlog.git
      HTML
      •0•2•0•2•Updated Jul 12, 2025Jul 12, 2025

    • metta-testsuite

      Public
      Prolog
      •5•3•1•0•Updated Jul 8, 2025Jul 8, 2025

    • metta-morph-mlog

      Public
      Metta-morph (from Metamorphosis): Macro-based MeTTa to (Chicken) Scheme translator (For two-way testing with MeTTaLog)
      Python
      •
      MIT License
      •4•0•0•0•Updated Jun 23, 2025Jun 23, 2025

    • nartech_ros

      Public
      Python
      •3•0•0•0•Updated May 7, 2025May 7, 2025

    • ARC2024_Kaggle

      Public
      Prolog
      •0•4•0•0•Updated Apr 27, 2025Apr 27, 2025

    • chaining

      Public
      MeTTa module containing various flavors of backward and forward chaining, as well as converters between these flavors.
      Python
      •
      GNU General Public License v3.0
      •8•0•0•0•Updated Feb 22, 2025Feb 22, 2025

    • minecraft-demo

      Public
      https://github.com/trueagi-io/minecraft-demo + https://github.com/berickcook/experiential-minecraft
      Python
      •
      GNU Affero General Public License v3.0
      •16•0•0•0•Updated Feb 3, 2025Feb 3, 2025

    • logicmoo_utils

      Public
      Shared predicates between LOGICMOO projects
      Prolog
      •
      MIT License
      •1•6•0•0•Updated Apr 20, 2024Apr 20, 2024

    • metta-src-conversions

      Public
      Many Decades of AI Algorithms translated (src-to-src) into the Hyperon MeTTa Language
      Prolog
      •1•10•0•0•Updated Feb 26, 2024Feb 26, 2024

    • vspace-metta

      Public
      Version Space Candidate Elimination inside of MeTTa
      HTML
      •4•4•1•0•Updated Feb 25, 2024Feb 25, 2024

    • ai-dsl

      Public
      Artificial Intelligence Domain Specific Language (AI-DSL) to enable autonomous interoperability between AI services.
      Idris
      •
      MIT License
      •19•2•0•0•Updated Feb 22, 2024Feb 22, 2024

    • tauchain_prolog

      Public
      Tau Meta Language (TML) Inptereter coded in Prolog
      Prolog
      •0•7•0•0•Updated Jan 3, 2024Jan 3, 2024

    • pyswip

      Public
      PySwip is a Python - SWI-Prolog bridge enabling to query SWI-Prolog in your Python programs. It features an (incomplete) SWI-Prolog foreign language interface, …
      Python
      •
      MIT License
      •105•0•0•0•Updated Nov 28, 2023Nov 28, 2023

    • metta-nars

      Public
      ONA-style NARS implementation in MeTTa
      Shell
      •
      MIT License
      •5•0•0•0•Updated Nov 19, 2023Nov 19, 2023

    • hyperon-experimental

      Public
      OpenCog Hyperon experimental version
      Rust
      •
      MIT License
      •87•1•0•0•Updated Nov 19, 2023Nov 19, 2023

    • dictoo

      Public
      Dict-like OO Syntax Pack
      Prolog
      •
      BSD 2-Clause "Simplified" License
      •0•5•1•0•Updated Sep 16, 2023Sep 16, 2023

    • das

      Public
      Distributed Atomspace.
      Python
      •12•2•0•0•Updated Aug 26, 2023Aug 26, 2023

    • logicmoo_workspace

      Public
      https://jenkins.logicmoo.org/job/logicmoo_workspace https://logicmoo.org/xwiki/
      plannermudagi
      plannermudagigame-serverprolog-programming-languageartifical-intelligencelogicmoo
      Other
      •10•44•439•22•Updated Aug 17, 2023Aug 17, 2023

    • swish

      Public
      SWI-Prolog for SHaring: a SWI-Prolog web IDE (Friguzzi also less changes to Main)
      Prolog
      •
      Other
      •142•3•0•4•Updated Apr 18, 2023Apr 18, 2023

    • CYC_JRTL_with_CommonLisp

      Public
      Common Lisp programmable version of LarKC/OpenCYC (And soon Prolog)
      natural-language-processingcommon-lispartificial-intelligence
      natural-language-processingcommon-lispartificial-intelligencelisp-interpreterartificial-general-intelligencelogic-programmingprolog-programming-languagecycopencycabcl
      Java
      •
      Other
      •4•17•2•1•Updated Apr 17, 2023Apr 17, 2023

    • logicmoo_workspace_w_remotes

      Public
      Prolog
      •
      Other
      •0•0•0•3•Updated Mar 6, 2023Mar 6, 2023

    • ARC_study

      Public
      The Abstraction and Reasoning Corpus
      Python
      •
      Apache License 2.0
      •704•2•0•0•Updated Jan 13, 2023Jan 13, 2023

    • logicmoo-gatsby

      Public
      Gatsby starter for a Contentful project from the community.
      JavaScript
      •
      MIT License
      •0•0•0•1•Updated Jan 11, 2023Jan 11, 2023
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.