Alternatives and similar repositories for shop3

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

• rpgoldman / pddl-tools
  Common lisp library for manipulating PDDL expressions.
  ☆15Updated 2 weeks ago
• cl-axon / shop2
  Simple Hierarchical Ordered Planner - A mirror of
  ☆38Updated 9 years ago
• neil-lindquist / linear-programming
  A Common Lisp library for solving linear programming problems
  ☆110Updated 7 months ago
• briangu / OPS5
  OPS5 Production System
  ☆57Updated 12 years ago
• nikodemus / screamer
  Screamer is an extension of Common Lisp that adds support for nondeterministic programming.
  ☆250Updated last year
• 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 5 years ago
• codr7 / whirlog
  a minimal versioned log structured relational DB in Common Lisp
  ☆82Updated 4 years ago
• afainer / cleven
  Cleven is an experimental game engine with volume graphics written in Common Lisp.
  ☆48Updated 9 years ago
• kennytilton / cells
  A Common Lisp implementation of the dataflow programming paradigm
  ☆221Updated 2 years ago
• guenchi / Darkart
  A binary interface let Chez Scheme use Python, Lua, Ruby etc's library
  ☆195Updated 5 years ago
• patrikhaslum / INVAL
  The INVAL plan validator, and other PDDL tools.
  ☆22Updated 2 years ago
• triska / lisprolog
  Interpreter for a simple Lisp. Written in Prolog.
  ☆151Updated 2 years ago
• rongarret / BWFP
  ☆71Updated 7 years ago
• FdelMazo / cl-aristid
  Draw Lindenmayer Systems with Common LISP! -- Trabajo para [7531] Teoría del Lenguaje (FIUBA)
  ☆82Updated 5 years ago
• John-Nagle / nqthm
  nqthm - the original Boyer-Moore theorem prover, from 1992
  ☆57Updated 9 years ago
• projectured / projectured
  ProjecturEd is a generic purpose projectional editor.
  ☆142Updated 3 years ago
• 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…
  ☆102Updated 4 years ago
• kraison / vivace-graph-v3
  VivaceGraph version 3. Open source Common Lisp graph database & Prolog implementation. Supersedes http://github.com/kraison/vivace-graph-…
  ☆186Updated 7 months ago
• rongarret / ergolib
  A library designed to make programming in Common Lisp easier
  ☆149Updated 4 years ago
• slburson / fset
  FSet, the functional collections library for Common Lisp.
  ☆233Updated last week
• vsedach / Vacietis
  C to Common Lisp compiler
  ☆320Updated 3 years ago
• Apress / common-lisp-condition-system
  Source Code for 'The Common Lisp Condition System' by Michal "phoe" Herda
  ☆99Updated 5 years ago
• nickdrozd / reazon
  miniKanren for Emacs
  ☆114Updated last month
• Web-Prolog / swi-web-prolog
  A proof-of-concept SWI-Prolog implementation of Web Prolog
  ☆190Updated 5 years ago
• vseloved / should-test
  A minimal yet feature-rich Common Lisp test framework
  ☆45Updated 6 years ago
• phantomics / seed
  Interactive software environment based on Common Lisp.
  ☆139Updated last week
• tonyg / syndicate
  syn·di·cate: a language for interactive programs
  ☆159Updated last month
• froggey / Iota
  LLVM to Common Lisp transpiler.
  ☆273Updated 2 years ago
• michelp / hillisp
  CUDA parallel lisp toy inspired by Connection Machines
  ☆20Updated last year
• takagi / cl-cuda
  Cl-cuda is a library to use NVIDIA CUDA in Common Lisp programs.
  ☆300Updated 4 years ago