Logicmμ (logicmoo)

Logicmμ

logicmoo

Geek Repo

Home Page:https://logicmoo.org

Twitter:@logicmoo

Github PK Tool:Github PK Tool

Logicmμ's repositories

logicmoo_workspace

https://jenkins.logicmoo.org/job/logicmoo_workspace https://logicmoo.org/xwiki/

prologmud

MUD Server written in Prolog using Forward chaining

Language:PrologLicense:MITStargazers:30Issues:15Issues:0

CYC_JRTL_with_CommonLisp

Common Lisp programmable version of LarKC/OpenCYC (And soon Prolog)

Language:JavaLicense:NOASSERTIONStargazers:15Issues:10Issues:3

logicmoo_ec

A SWI-Prolog Pack that lets Prolog code seamlessly switch between planners

Language:PrologLicense:BSD-2-ClauseStargazers:15Issues:10Issues:3

programk

Chatbot impls in Prolog

pfc

Pfc: adding forward chaining and truth maintenance to Prolog

Language:PrologLicense:BSD-2-ClauseStargazers:9Issues:12Issues:2

tauchain_prolog

Tau Meta Language (TML) Inptereter coded in Prolog

Language:PrologStargazers:7Issues:12Issues:0

dictoo

Dict-like OO Syntax Pack

Language:PrologLicense:BSD-2-ClauseStargazers:5Issues:5Issues:1

logicmoo_cg

Conceptual Graph (CG) Libraries in Prolog

Language:PrologLicense:LGPL-2.1Stargazers:4Issues:11Issues:0

Logicmoo_docker

Docker Master Container that starts the rest of the Logicmoo services (see https://hub.docker.com/repository/docker/logicmoo/logicmoo_starter_image )

Language:JavaScriptLicense:LGPL-2.1Stargazers:4Issues:9Issues:260

logicmoo_utils

Shared predicates between LOGICMOO projects

Language:PrologLicense:MITStargazers:4Issues:13Issues:1

predicate_streams

Implement your own prolog streams with predicate sources and sinks

Language:PrologLicense:BSD-2-ClauseStargazers:3Issues:4Issues:0

swish

SWI-Prolog for SHaring: a SWI-Prolog web IDE (Friguzzi also less changes to Main)

Language:PrologLicense:NOASSERTIONStargazers:3Issues:10Issues:0

ARC_study

The Abstraction and Reasoning Corpus

Language:PythonLicense:Apache-2.0Stargazers:2Issues:1Issues:0
Language:PrologLicense:MITStargazers:2Issues:12Issues:0

tuProlog

SxxMachine hack of https://bitbucket.org/tuprologteam/tuProlog.git

Language:HTMLStargazers:2Issues:10Issues:0

vspace-metta

Version Space Candidate Elimination inside of MeTTa

ai-dsl

Artificial Intelligence Domain Specific Language (AI-DSL) to enable autonomous interoperability between AI services.

License:MITStargazers:1Issues:0Issues:0

atomspace

The OpenCog (hyper-)graph database and graph rewriting system

Language:C++License:NOASSERTIONStargazers:1Issues:2Issues:0

das

Distributed Atomspace.

Language:PythonStargazers:1Issues:1Issues:0

ilm

Easily fine tune GPT-2 to fill in missing text

Language:PythonStargazers:1Issues:2Issues:0
Language:PrologLicense:NOASSERTIONStargazers:0Issues:12Issues:0
Language:JavaLicense:NOASSERTIONStargazers:0Issues:3Issues:0

elFinder

📁 Open-source file manager for web, written in JavaScript using jQuery and jQuery UI

Language:JavaScriptLicense:NOASSERTIONStargazers:0Issues:2Issues:0

hyperon-experimental

OpenCog Hyperon experimental version

Language:RustLicense:MITStargazers:0Issues:1Issues:0

logicmoo-gatsby

Gatsby starter for a Contentful project from the community.

Language:JavaScriptLicense:MITStargazers:0Issues:13Issues:0

metta-nars

ONA-style NARS implementation in MeTTa

Language:ShellLicense:MITStargazers:0Issues:1Issues:0

metta-src-conversions

Many Decades of AI Algorithms translated (src-to-src) into the Hyperon MeTTa Language

Language:PrologStargazers:0Issues:0Issues:0

pyswip

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, a utility class that makes it easy querying with Prolog and also a Pythonic interface.

Language:PythonLicense:MITStargazers:0Issues:0Issues:0

theia

Eclipse Theia is a cloud & desktop IDE framework implemented in TypeScript.

Language:TypeScriptLicense:NOASSERTIONStargazers:0Issues:2Issues:0