Alternatives and similar repositories for frdcsa-panoply-git-20200329

Users that are interested in frdcsa-panoply-git-20200329 are comparing it to the libraries listed below

• aindilis / flp
  The Free Life Planner Reference Manual
  ☆11Updated 3 weeks ago
• aindilis / free-life-planner
  Free Life Planner: An AI tool for helping with planning for day-to-day life.
  ☆66Updated 9 months 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
• logicmoo / CYC_JRTL_with_CommonLisp
  Common Lisp programmable version of LarKC/OpenCYC (And soon Prolog)
  ☆16Updated 2 years ago
• SWI-Prolog / packages-semweb
  The SWI-Prolog RDF store
  ☆32Updated last month
• cmungall / cltools
  tools for common-logic
  ☆19Updated 12 years ago
• ptarau / TypesAndProofs
  Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
  ☆33Updated last year
• KNowledgeOnWebScale / retina
  Integrated RDF Surfaces inspired by Pat Hayes, Patrick Hochstenbach and EYE.
  ☆13Updated 6 months ago
• khinsen / guix-gtoolkit
  A Guix dashboard for GToolkit
  ☆13Updated 2 years ago
• SNePS / SNePS2
  The SNePS 2 Knowledge Representation and Reasoning System
  ☆12Updated 7 years ago
• trueagi-io / metta-wam
  A Hyperon MeTTa Interpreter/Transpilier that targets the Warren Abstract Machine
  ☆21Updated this week
• terminusdb / terminus_store_prolog
  Prolog binding for terminusdb-store
  ☆21Updated 2 years ago
• Attempto / ACE-in-GF
  Attempto Controlled English (http://attempto.ifi.uzh.ch/) in Grammatical Framework (https://www.grammaticalframework.org/)
  ☆58Updated 3 years ago
• opencog / cogserver
  Distributed AtomSpace Network Server
  ☆21Updated 2 months ago
• triska / bitcoinolog
  Reason about Bitcoin addresses with Prolog
  ☆22Updated last year
• JanWielemaker / ffi
  SWI-Prolog dynamic C interface
  ☆17Updated 8 months ago
• ClioPatria / ClioPatria
  ClioPatria provides an RDF application platform
  ☆53Updated last year
• JanWielemaker / sCASP
  top-down interpreter for ASP programs with constraints
  ☆17Updated 2 years ago
• SWI-Prolog / packages-plunit
  The SWI-Prolog Unit Testing library
  ☆9Updated last month
• logicmoo / prologmud
  MUD Server written in Prolog using Forward chaining
  ☆29Updated 3 years ago
• cwebber / racket-linkeddata
  Linked data tooling for the Racket programming language (json-ld, eventually more)
  ☆16Updated 6 years ago
• mndrix / func
  Apply and compose functions in Prolog
  ☆19Updated 8 years ago
• white-flame / clyc
  Port of Cyc to Common Lisp
  ☆22Updated 4 years ago
• swi-to-yap / swicli
  SWI-Prolog 2-Way interface to Commmon Language Interface
  ☆13Updated 8 years ago
• ErgoAI / ErgoEngine
  The ErgoAI reasoning engine, an advanced object-oriented knowledge management system
  ☆37Updated 2 months ago
• gregr / ina
  experimental computational medium and supporting tools
  ☆22Updated this week
• EricssonResearch / plasticsearch
  ☆9Updated 9 years ago
• triska / proloxy
  Prolog Reverse Proxy
  ☆19Updated 7 years ago
• breck7 / research
  I moved this folder. Keeping this repo up for archival purposes only.
  ☆17Updated last year
• mattmight / derp2
  A parser tool for Racket with an expressive grammar notation
  ☆20Updated 10 years ago