Douglas R. Miles (TeamSPoon)

TeamSPoon

Geek Repo

Company:@TeamSPoon

Location:https://github.com/logicmoo

Home Page:http://linkedin.com/in/logicmoo

Twitter:@logicmoo

Github PK Tool:Github PK Tool


Organizations
dpndnt
DragonComputer
FRDCSA
glue-ai
logicmoo
opensim4opencog
PlanLogic
radegastdev
SWI-PrologTeamLudumDare32
swi-to-yap

Douglas R. Miles's repositories

SxxMachine

A simple C++ Prolog Machine

Language:C++Stargazers:8Issues:3Issues:0

opencyc

OpenCyc from Sourceforge.net (Orignal Project was taken down)

Language:JavaStargazers:6Issues:3Issues:0

swipl-devel-unstable

DIFF https://github.com/SWI-Prolog/swipl-devel/compare/master...logicmoo:master_dvard

Language:CLicense:NOASSERTIONStargazers:4Issues:7Issues:16

logicmoo_workspace_w_remotes

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

Language:PrologLicense:NOASSERTIONStargazers:2Issues:1Issues:0

prolog-ludumdare44

Ludum Dare 44 entry

Language:PrologLicense:MITStargazers:2Issues:4Issues:0

aic-praise

SRI International's AIC PRAiSE (Probabilistic Reasoning As Symbolic Evaluation) Library (for Java 1.8+)

Language:JavaLicense:BSD-3-ClauseStargazers:1Issues:2Issues:0

atomspace

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

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

blockly-page-editor

Example for creating a visual programming editor with blockly

Language:JavaScriptLicense:MITStargazers:1Issues:3Issues:0

ClioPatria-filessytem-and-clausedb

ClioPatria provides an RDF application platform with Logicmoo filessytem Editing

Language:PrologLicense:NOASSERTIONStargazers:1Issues:7Issues:0

coolstore-microservices

A Kubernetes-based microservices application on service mesh

Language:C#License:MITStargazers:1Issues:2Issues:0

daydreamer

DAYDREAMER goal-based agent

Language:Common LispLicense:GPL-2.0Stargazers:1Issues:3Issues:0

downward

The Fast Downward domain-independent classical planning system

Language:PythonLicense:GPL-3.0Stargazers:1Issues:2Issues:0

html-pipeline

HTML processing filters and utilities

Language:RubyLicense:MITStargazers:1Issues:3Issues:0

hyperon-experimental

Experimental Hyperon versions

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

ilm

Easily fine tune GPT-2 to fill in missing text

Language:PythonStargazers:1Issues:2Issues:0

jupyter-server-proxy

Jupyter notebook server extension to proxy web services.

Language:PythonLicense:BSD-3-ClauseStargazers:1Issues:2Issues:0

MKM

MKM seeks to formalize mathematical knowledge with CYC

pln

Probabilistic Logic Network (PLN) implemented on top of the Unified Rule Engine (URE). https://wiki.opencog.org/w/Probabilistic_logic_networks

Language:SchemeLicense:NOASSERTIONStargazers:1Issues:2Issues:0

propbank-frames

Lexicon of frame files used by Propbank annotation. A searchable, readable version of these files is stored at http://verbs.colorado.edu/propbank/framesets-english-aliases/

License:CC-BY-SA-4.0Stargazers:1Issues:2Issues:0

sphinx5

Pure Java speech recognition library - UNAUTHORIZED MODIFICATIONS

Language:JavaLicense:AGPL-3.0Stargazers:1Issues:2Issues:0

swicli_old

SWI-Prolog 2-Way interface to Commmon Language Interface

Language:C#License:CC0-1.0Stargazers:1Issues:3Issues:0

TML

Tau Meta-Language

Language:C++Stargazers:1Issues:2Issues:0

ure

Unified Rule Engine. Graph rewriting system for the AtomSpace. Used as reasoning engine for OpenCog.

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

ARC

The Abstraction and Reasoning Corpus

Language:C++Stargazers:0Issues:0Issues:0
Language:Jupyter NotebookStargazers:0Issues:0Issues:0
Language:ScalaLicense:NOASSERTIONStargazers:0Issues:1Issues:0

gpt4all_generative_agents

Generative Agents: Interactive Simulacra of Human Behavior using GPT4All free model which runs on CPU

License:Apache-2.0Stargazers:0Issues:1Issues:0

metta-wam

A Hyperon MeTTa Interpreter/Transpilier that targets the Warren Abstract Machine

Language:PrologStargazers:0Issues:0Issues:0

randomfun

Notebooks and various random fun

Language:Jupyter NotebookStargazers:0Issues:1Issues:0

vspace-metta

Version Space Candidate Elimination inside of MeTTa

Language:HTMLStargazers:0Issues:1Issues:0