Managed Projects

LogicMOO Simulated World

  No analysis available

Use a language CycL or KIF to represent shared ontological integration with a first person MOO system to provide debugging and agent facilities.

0 lines of code

0 current contributors

0 since last commit

1 users on Open Hub

Activity Not Available
0.0
 
I Use This
Mostly written in language not available
Licenses: No declared licenses

opensim4opencog

  Analyzed over 1 year ago

The goal of this project is to develop an interface to Opensim for OpenCog and other AI systems. It provides a means of connecting external AI bots over a socket to an avatar in the OpenSim Simulator . It uses TextSL as base and updates it to use libopenmetaverse, and includes DotLisp and a simple ... [More] task queue processor as a persistent middle layer. http://opencog.org/wiki/OpenSim_for_OpenCog [Less]

1.01M lines of code

0 current contributors

about 12 years since last commit

1 users on Open Hub

Activity Not Available
0.0
 
I Use This

swicli

  Analyzed 1 day ago

SWI-Prolog 2-Way interface to Commmon Language Interface C# ..NET/MONO

98.7K lines of code

0 current contributors

over 3 years since last commit

1 users on Open Hub

Inactive
0.0
 
I Use This

jrelisp-abcl-ws

  Analyzed about 15 hours ago

JRE Lisp - ABCL Implementation

491K lines of code

0 current contributors

almost 10 years since last commit

1 users on Open Hub

Inactive
0.0
 
I Use This
Licenses: No declared licenses

prologmud_server

  Analyzed about 2 months ago

https://gitlab.logicmoo.org/gitlab/logicmoo/prologmud_server

8.98M lines of code

0 current contributors

over 2 years since last commit

1 users on Open Hub

Activity Not Available
0.0
 
I Use This
Licenses: No declared licenses

PrologMUD

  Analyzed 1 day ago

1) Simple MUD Server written in Prolog 2) Logical inference system identical to CyC but written in Prolog

13.8K lines of code

1 current contributors

over 3 years since last commit

1 users on Open Hub

Inactive
5.0
 
I Use This

metta-testsuite

  Analyzed 1 day ago

LArge number of tests for the MeTTa Language and for it's compilers

4.59M lines of code

0 current contributors

29 days since last commit

1 users on Open Hub

Moderate Activity
0.0
 
I Use This

ARC2024_Kaggle

  Analyzed 1 day ago

A Unique Inductive Logic Solver for the Abstract Reasoning Corpus (ARC)

271K lines of code

0 current contributors

2 months since last commit

1 users on Open Hub

New Project
0.0
 
I Use This
Licenses: No declared licenses

wam_common_lisp

  Analyzed about 9 hours ago

This library is designed to *not* be just another an ad-hoc, informally-specified, bug-ridden, slow implementation of half of Common Lisp.

207K lines of code

1 current contributors

almost 4 years since last commit

1 users on Open Hub

Inactive
5.0
 
I Use This
Licenses: No declared licenses

logicmoo_planners

  Analyzed 1 day ago

Various Hybrid HTN Planners speaking PDDLish and OCLh

210K lines of code

0 current contributors

over 3 years since last commit

1 users on Open Hub

Inactive
0.0
 
I Use This
Licenses: No declared licenses