Alternatives and similar repositories for shop3

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

• neil-lindquist / linear-programming
  A Common Lisp library for solving linear programming problems
  ☆110Updated 6 months ago
• rpgoldman / pddl-tools
  Common lisp library for manipulating PDDL expressions.
  ☆15Updated 6 months ago
• cl-axon / shop2
  Simple Hierarchical Ordered Planner - A mirror of
  ☆38Updated 9 years ago
• nikodemus / screamer
  Screamer is an extension of Common Lisp that adds support for nondeterministic programming.
  ☆248Updated last year
• briangu / OPS5
  OPS5 Production System
  ☆57Updated 12 years ago
• codr7 / whirlog
  a minimal versioned log structured relational DB in Common Lisp
  ☆81Updated 4 years ago
• 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
• triska / lisprolog
  Interpreter for a simple Lisp. Written in Prolog.
  ☆151Updated 2 years ago
• afainer / cleven
  Cleven is an experimental game engine with volume graphics written in Common Lisp.
  ☆48Updated 8 years ago
• vsedach / Vacietis
  C to Common Lisp compiler
  ☆317Updated 3 years ago
• patrikhaslum / INVAL
  The INVAL plan validator, and other PDDL tools.
  ☆22Updated 2 years ago
• Web-Prolog / swi-web-prolog
  A proof-of-concept SWI-Prolog implementation of Web Prolog
  ☆190Updated 4 years ago
• kennytilton / cells
  A Common Lisp implementation of the dataflow programming paradigm
  ☆221Updated 2 years ago
• rongarret / ergolib
  A library designed to make programming in Common Lisp easier
  ☆149Updated 4 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
• froggey / Iota
  LLVM to Common Lisp transpiler.
  ☆272Updated 2 years ago
• John-Nagle / nqthm
  nqthm - the original Boyer-Moore theorem prover, from 1992
  ☆56Updated 9 years ago
• vseloved / progalgs-code
  Code for the book "Programming Algorithms"
  ☆56Updated 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-…
  ☆180Updated 5 months ago
• cosmos72 / stmx
  High performance Transactional Memory for Common Lisp
  ☆254Updated last year
• euslisp / EusLisp
  EusLisp is an integrated programming system for the research on intelligent robots based on Common Lisp and Object-Oriented programming. …
  ☆64Updated 2 months ago
• vseloved / should-test
  A minimal yet feature-rich Common Lisp test framework
  ☆45Updated 6 years ago
• Apress / common-lisp-condition-system
  Source Code for 'The Common Lisp Condition System' by Michal "phoe" Herda
  ☆99Updated 5 years ago
• slburson / fset
  FSet, the functional collections library for Common Lisp.
  ☆227Updated this week
• naveensundarg / Common-Lisp-Actors
  An actor system for Common Lisp.
  ☆113Updated 6 years ago
• takagi / cl-cuda
  Cl-cuda is a library to use NVIDIA CUDA in Common Lisp programs.
  ☆297Updated 4 years ago
• jrm-code-project / LISP-Machine
  Archive of LISP Machine, Inc.
  ☆273Updated 5 years ago
• phantomics / seed
  Interactive software environment based on Common Lisp.
  ☆139Updated last week
• eugeneia / erlangen
  Distributed, asychronous message passing system for Clozure Common Lisp
  ☆66Updated 7 years ago
• projectured / projectured
  ProjecturEd is a generic purpose projectional editor.
  ☆142Updated 3 years ago