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 2 years ago
• white-flame / clyc
  Port of Cyc to Common Lisp
  ☆22Updated 4 years ago
• guillep / PharoCandle
  ☆18Updated 6 years ago
• SWI-Prolog / roadmap
  Discuss future development
  ☆22Updated 9 years ago
• alanruttenberg / lsw2
  OWL and Semantic Web toolkit for Common Lisp, used for construction and reasoning over ontologies and ontology-structured data
  ☆29Updated 2 months ago
• jeceljr / SmalltalkSurvey
  The goal is to compile a reasonably complete list of all implementations of the Smalltalk system
  ☆26Updated last year
• JanWielemaker / ffi
  SWI-Prolog dynamic C interface
  ☆17Updated 8 months ago
• AdamSpitz / klein
  A virtual machine for the Self language, written entirely in Self, and a development environment for that VM.
  ☆44Updated 15 years ago
• kursjan / petitparser2
  A high-performance top-down parser
  ☆44Updated 6 months ago
• kstephens / tort
  Tiny Object Run Time
  ☆22Updated 10 years ago
• 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
• fnogatz / plammar
  A Prolog grammar written in Prolog, for parsing and serialising Prolog code.
  ☆14Updated 3 years ago
• ptarau / TypesAndProofs
  Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
  ☆33Updated last year
• Anniepoo / swipldcgtut
  A tutorial for DCG's in swi-Prolog
  ☆35Updated 4 years ago
• Ducasse / SOUL
  Rescuing the SOUL great logic meta programming language
  ☆12Updated 6 years ago
• SWI-Prolog / packages-http
  The SWI-Prolog HTTP server and client libraries
  ☆25Updated last week
• ProgrammerArchaeology / openamulet
  ☆12Updated 3 months ago
• SNePS / SNePS2
  The SNePS 2 Knowledge Representation and Reasoning System
  ☆12Updated 7 years ago
• mndrix / edcg
  Extended DCG syntax for Prolog by Peter Van Roy
  ☆21Updated 7 years ago
• SWI-Prolog / packages-chr
  CHR: Leuven Constraint Handling Rules
  ☆26Updated last month
• JanWielemaker / chat80
  Classical CHAT80 NLP system for Prolog
  ☆22Updated 3 months ago
• victorr / jsqueak
  Unofficial repository for JSqueak: A Java implementation of Squeak Smalltalk.
  ☆23Updated 2 years ago
• white-flame / eurisko
  Doug Lenat's EURISKO from SAIL archives circa 1981
  ☆64Updated 11 months ago
• Attempto / ACE-in-GF
  Attempto Controlled English (http://attempto.ifi.uzh.ch/) in Grammatical Framework (https://www.grammaticalframework.org/)
  ☆58Updated 3 years ago
• pablomarx / AltoST80
  Recovered files for Smalltalk-80 on the Alto
  ☆11Updated 6 years ago
• seveno4 / EURISKO
  ☆57Updated last year
• smalljvm / SmallJ
  Smalltalk VM built on top of Java
  ☆22Updated last year
• aarroyoc / teruel
  Template engine for ISO Prolog, based on Jinja and Tera
  ☆17Updated last year
• mistupv / SWIPrologZ3
  A simple Prolog API for the Z3 constraint solver
  ☆15Updated 7 years ago
• ptarau / binprolog
  Fast, simplified WAM-based Prolog system
  ☆22Updated 3 weeks ago