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 4 months ago
• aindilis / free-life-planner
  Free Life Planner: An AI tool for helping with planning for day-to-day life.
  ☆66Updated 8 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
• logicmoo / programk
  Chatbot impls in Prolog
  ☆15Updated 3 years ago
• Attempto / Clex
  Large lexicon for APE (~100,000 entries)
  ☆28Updated 6 years ago
• SNePS / SNePS2
  The SNePS 2 Knowledge Representation and Reasoning System
  ☆11Updated 6 years ago
• ptarau / TypesAndProofs
  Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
  ☆33Updated 11 months ago
• opencog / cogserver
  Distributed AtomSpace Network Server
  ☆21Updated last month
• tkuhn / AceRules
  A rule engine based on Attempto Controlled English
  ☆18Updated 6 months ago
• poplog / poplog
  Poplog
  ☆21Updated 14 years ago
• mattmight / derp2
  A parser tool for Racket with an expressive grammar notation
  ☆20Updated 10 years ago
• julianmendez / cel
  A lightweight Description Logic reasoner for large-scale biomedical ontologies
  ☆18Updated 4 months ago
• gregr / ina
  experimental computational medium and supporting tools
  ☆22Updated 2 weeks ago
• GrammaticalFramework / gf-contrib
  Community contributions to the Grammatical Framework
  ☆60Updated 10 months ago
• logicmoo / logicmoo_ec
  A SWI-Prolog Pack that lets Prolog code seamlessly switch between planners
  ☆16Updated 3 years ago
• SWI-Prolog / packages-semweb
  The SWI-Prolog RDF store
  ☆32Updated 2 weeks ago
• rla / prolog-markdown
  Markdown parser for SWI-Prolog.
  ☆21Updated 4 years ago
• opencog / ure
  [NO LONGER MAINTAINED, SUPERSEDED BY https://github.com/trueagi-io/chaining]. Unified Rule Engine. Graph rewriting system for the AtomSpa…
  ☆56Updated last month
• koo5 / koordinator2000
  crowd-defunding
  ☆10Updated 2 weeks ago
• JanWielemaker / ffi
  SWI-Prolog dynamic C interface
  ☆17Updated 7 months ago
• mistupv / SWIPrologZ3
  A simple Prolog API for the Z3 constraint solver
  ☆15Updated 7 years ago
• lambdamikel / OntoLisp
  A Common Lisp Framework for the Semantic Web
  ☆22Updated 4 years ago
• guitarvydas / wam
  A WAM (Warren Abstract Machine for Prolog) written in Common Lisp
  ☆13Updated 6 years ago
• white-flame / clyc
  Port of Cyc to Common Lisp
  ☆22Updated 4 years ago
• trueagi-io / metta-wam
  A Hyperon MeTTa Interpreter/Transpilier that targets the Warren Abstract Machine
  ☆19Updated this week
• sharplispers / ops5
  The Ops5 programming language for production systems
  ☆38Updated 5 years ago
• synchrony / smsn-mode
  Emacs client for Semantic Synchrony knowledge graphs
  ☆12Updated last year
• rocketnia / fexpress
  A compilation-friendly fexpr language. (Proof of concept.)
  ☆21Updated 3 months ago
• cl-model-languages / cl-prolog2
  Common Interface to ISO Prolog implementations from Common Lisp
  ☆34Updated 3 years ago