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 / free-life-planner
  Free Life Planner: An AI tool for helping with planning for day-to-day life.
  ☆69Updated last year
• akkartik / am-utexas
  Reimplementation of Doug Lenat's Automated Mathematician by Bruce Porter's group at the University of Texas at Austin
  ☆58Updated 17 years ago
• triska / proloxy
  Prolog Reverse Proxy
  ☆20Updated 7 years ago
• Attempto / ACE-in-GF
  Attempto Controlled English (http://attempto.ifi.uzh.ch/) in Grammatical Framework (https://www.grammaticalframework.org/)
  ☆60Updated 4 years ago
• logicmoo / logicmoo_workspace
  https://jenkins.logicmoo.org/job/logicmoo_workspace https://logicmoo.org/xwiki/
  ☆44Updated 2 years ago
• cmungall / cltools
  tools for common-logic
  ☆22Updated 12 years ago
• GrammaticalFramework / gf-contrib
  Community contributions to the Grammatical Framework
  ☆62Updated last year
• logicmoo / CYC_JRTL_with_CommonLisp
  Common Lisp programmable version of LarKC/OpenCYC (And soon Prolog)
  ☆16Updated 2 years ago
• logicmoo / logicmoo_clif
  Base Forward Chaining Knowledge Base Maintenance System
  ☆19Updated 4 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).
  ☆114Updated 7 years ago
• padsproj / pads-haskell
  Haskell binding for PADS
  ☆21Updated 6 years ago
• triska / ediprolog
  Emacs Does Interactive Prolog
  ☆45Updated last year
• rla / prolog-markdown
  Markdown parser for SWI-Prolog.
  ☆23Updated 5 years ago
• cwebber / racket-linkeddata
  Linked data tooling for the Racket programming language (json-ld, eventually more)
  ☆16Updated 7 years ago
• JanWielemaker / ffi
  SWI-Prolog dynamic C interface
  ☆17Updated last year
• Attempto / Clex
  Large lexicon for APE (~100,000 entries)
  ☆30Updated 7 years ago
• SWI-Prolog / packages-semweb
  The SWI-Prolog RDF store
  ☆32Updated this week
• ioannad / jeffrey
  Choiceless grapher: a common-lisp diagram maker for consequences of the Axiom of Choice. This is a mirror of https://gitlab.common-lisp.n…
  ☆29Updated 7 months ago
• ClioPatria / ClioPatria
  ClioPatria provides an RDF application platform
  ☆57Updated last month
• stassa / Gleemin
  A Magic: the Gathering™ expert system
  ☆95Updated 13 years ago
• nomyx / Nomyx
  The Nomyx game
  ☆84Updated 2 years ago
• spechub / Hets
  The Heterogeneous Tool Set
  ☆59Updated 3 months ago
• AceWiki / AceWiki
  AceWiki is a semantic wiki based on controlled natural language.
  ☆73Updated 11 months ago
• gregr / ina
  experimental computational medium and supporting tools
  ☆23Updated last week
• haskell-lisp / liskell
  Haskell Semantics with Lisp Syntax
  ☆73Updated 11 years ago
• khinsen / guix-gtoolkit
  A Guix dashboard for GToolkit
  ☆14Updated 2 years ago
• gregr / icfp2017-artifact-auas7pp
  ICFP 2017 Artifact for Functional Pearl: A Unified Approach to Solving Seven Programming Problems
  ☆29Updated 7 years ago
• logicmoo / logicmoo_ec
  A SWI-Prolog Pack that lets Prolog code seamlessly switch between planners
  ☆16Updated 3 years ago
• enso-lang / enso
  ☆71Updated 5 years ago
• logicmoo / prologmud
  MUD Server written in Prolog using Forward chaining
  ☆28Updated 3 years ago