Alternatives and similar repositories for shop3:

Users that are interested in shop3 are comparing it to the libraries listed below

• cl-axon / shop2
  Simple Hierarchical Ordered Planner - A mirror of
  ☆32Updated 8 years ago
• triska / lisprolog
  Interpreter for a simple Lisp. Written in Prolog.
  ☆146Updated last year
• neil-lindquist / linear-programming
  A Common Lisp library for solving linear programming problems
  ☆110Updated last year
• Web-Prolog / swi-web-prolog
  A proof-of-concept SWI-Prolog implementation of Web Prolog
  ☆188Updated 4 years ago
• nikodemus / screamer
  Screamer is an extension of Common Lisp that adds support for nondeterministic programming.
  ☆237Updated 9 months ago
• patrikhaslum / INVAL
  The INVAL plan validator, and other PDDL tools.
  ☆17Updated last year
• logicmoo / wam_common_lisp
  Allow Lisp programs to stop implementing an ad-hoc, informally-specified, bug-ridden, slow implementation of less than half of ISO-Prolog…
  ☆101Updated 3 years ago
• rpgoldman / pddl-tools
  Common lisp library for manipulating PDDL expressions.
  ☆13Updated 6 months ago
• slburson / fset
  FSet, the functional collections library for Common Lisp.
  ☆200Updated this week
• plops / cl-cpp-generator
  another lisp library to generate c/c++ code. this one is supposed to be very simple. note that development of this repo has stopped. i am…
  ☆65Updated 4 years ago
• metagol / metagol
  Metagol - an inductive logic programming system
  ☆201Updated 3 years ago
• dbmcclain / Lisp-Actors
  Thread-agnostic Actors in Common Lisp
  ☆69Updated 2 weeks ago
• triska / clpz
  Constraint Logic Programming over Integers
  ☆190Updated 11 months ago
• Apress / common-lisp-condition-system
  Source Code for 'The Common Lisp Condition System' by Michal "phoe" Herda
  ☆97Updated 4 years ago
• briangu / OPS5
  OPS5 Production System
  ☆57Updated 11 years ago
• vseloved / should-test
  A minimal yet feature-rich Common Lisp test framework
  ☆43Updated 5 years ago
• takagi / cl-cuda
  Cl-cuda is a library to use NVIDIA CUDA in Common Lisp programs.
  ☆285Updated 3 years ago
• codr7 / whirlog
  a minimal versioned log structured relational DB in Common Lisp
  ☆73Updated 3 years ago
• aarroyoc / postgresql-prolog
  A Prolog library to connect to PostgreSQL databases
  ☆94Updated 8 months ago
• telekons / one-more-re-nightmare
  A fast regular expression compiler in Common Lisp
  ☆142Updated 3 months ago
• vsedach / Vacietis
  C to Common Lisp compiler
  ☆308Updated 2 years ago
• cosmos72 / stmx
  High performance Transactional Memory for Common Lisp
  ☆247Updated 11 months ago
• potassco / plasp
  🗺️ ASP planning tools for PDDL
  ☆28Updated 3 years ago
• kiselgra / c-mera
  Next-level syntax for C-like languages :)
  ☆411Updated 2 years ago
• sebdumancic / pylo2
  Python wrapper around several Prolog engines. Hoping to make symbolic AI a part of standard AI toolkit.
  ☆85Updated 3 years ago
• stylewarning / deprecated-coalton-prototype
  Coalton is (supposed to be) a dialect of ML embedded in Common Lisp.
  ☆207Updated 3 years ago
• rongarret / BWFP
  ☆70Updated 6 years ago
• triska / proloxy
  Prolog Reverse Proxy
  ☆19Updated 6 years ago
• armedbear / abcl
  Armed Bear Common Lisp <git+https://github.com/armedbear/abcl/> <--> <svn+https://abcl.org/svn> Bridge
  ☆301Updated last month