Alternatives and similar repositories for opencyc-kb:

Users that are interested in opencyc-kb are comparing it to the libraries listed below

• logicmoo / CYC_JRTL_with_CommonLisp
  Common Lisp programmable version of LarKC/OpenCYC (And soon Prolog)
  ☆16Updated last year
• mclumd / Meta-AQUA
  Original LISP version of Meta-AQUA
  ☆13Updated 6 years ago
• fnogatz / plammar
  A Prolog grammar written in Prolog, for parsing and serialising Prolog code.
  ☆14Updated 3 years ago
• white-flame / clyc
  Port of Cyc to Common Lisp
  ☆22Updated 4 years ago
• JanWielemaker / chat80
  Classical CHAT80 NLP system for Prolog
  ☆21Updated last month
• kragen / dercuano
  a quick system I hacked together to bundle a few thousand pages of notes I mostly haven’t published before up into an archive of pregener…
  ☆15Updated 3 years ago
• seveno4 / EURISKO
  ☆48Updated 11 months ago
• alanruttenberg / lsw2
  OWL and Semantic Web toolkit for Common Lisp, used for construction and reasoning over ontologies and ontology-structured data
  ☆29Updated last week
• ronwalf / swoop
  Automatically exported from code.google.com/p/swoop
  ☆33Updated 10 years ago
• white-flame / eurisko
  Doug Lenat's EURISKO from SAIL archives circa 1981
  ☆57Updated 8 months ago
• white-flame / am
  Douglas Lenat's AM (Automated Mathematician) from SAIL archives circa 1977
  ☆43Updated last year
• fnogatz / dcg4pt
  Extend Definite Clause Grammars for Prolog by the corresponding parse tree
  ☆11Updated 2 years ago
• lispm / FRL
  Frame Representation Language
  ☆14Updated 7 years ago
• logicmoo / prologmud
  MUD Server written in Prolog using Forward chaining
  ☆29Updated 3 years ago
• ekaf / wordnet-prolog
  Prolog versions of the WordNet databases
  ☆30Updated last year
• SWI-PrologTeamLudumDare32 / LudumDare
  Our Ludum Dare entry
  ☆20Updated 8 years ago
• victorr / jsqueak
  Unofficial repository for JSqueak: A Java implementation of Squeak Smalltalk.
  ☆23Updated 2 years ago
• swi-to-yap / swicli
  SWI-Prolog 2-Way interface to Commmon Language Interface
  ☆13Updated 8 years ago
• pablomarx / AltoST80
  Recovered files for Smalltalk-80 on the Alto
  ☆11Updated 6 years ago
• larsbrinkhoff / forth-metacompiler
  Forth metacompiler written in Lisp, for bootstrapping
  ☆45Updated 3 years ago
• lambdamikel / DLMAPS
  DLMAPS = Description Logic Maps: Ontology-Based Spatial Queries to Digital City Maps
  ☆9Updated 4 years ago
• SNePS / SNePS2
  The SNePS 2 Knowledge Representation and Reasoning System
  ☆11Updated 6 years ago
• ha-mo-we / Racer
  Racer is a knowledge representation system that implements a highly optimized tableau calculus for the description logic SRIQ(D).
  ☆109Updated 6 years ago
• jeceljr / SmalltalkSurvey
  The goal is to compile a reasonably complete list of all implementations of the Smalltalk system
  ☆26Updated last year
• ptarau / TypesAndProofs
  Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
  ☆33Updated 10 months ago
• codefrau / Smalltalk78
  A Smalltalk-78 VM in Javascript
  ☆50Updated 3 weeks ago
• akkartik / am-utexas
  Reimplementation of Doug Lenat's Automated Mathematician by Bruce Porter's group at the University of Texas at Austin
  ☆57Updated 16 years ago
• martinmcclure / mist
  Filetree code for the Mist project (mist-project.org)
  ☆32Updated 8 years ago
• evertheylen / logicpy
  Prolog Implementation in Python
  ☆11Updated 7 years ago
• EricZinda / InductorProlog
  Inductor Prolog: A Lightweight Embeddable C++ Prolog Compiler
  ☆12Updated last year