Alternatives and similar repositories for shop3

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

• briangu / OPS5
  OPS5 Production System
  ☆57Updated 12 years ago
• nikodemus / screamer
  Screamer is an extension of Common Lisp that adds support for nondeterministic programming.
  ☆248Updated last year
• neil-lindquist / linear-programming
  A Common Lisp library for solving linear programming problems
  ☆110Updated 6 months ago
• cl-axon / shop2
  Simple Hierarchical Ordered Planner - A mirror of
  ☆38Updated 9 years ago
• rpgoldman / pddl-tools
  Common lisp library for manipulating PDDL expressions.
  ☆15Updated 6 months 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
• 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
• triska / lisprolog
  Interpreter for a simple Lisp. Written in Prolog.
  ☆151Updated 2 years ago
• kennytilton / cells
  A Common Lisp implementation of the dataflow programming paradigm
  ☆221Updated 2 years ago
• rongarret / BWFP
  ☆71Updated 7 years ago
• John-Nagle / nqthm
  nqthm - the original Boyer-Moore theorem prover, from 1992
  ☆56Updated 9 years ago
• vsedach / Vacietis
  C to Common Lisp compiler
  ☆319Updated 3 years ago
• slburson / fset
  FSet, the functional collections library for Common Lisp.
  ☆233Updated this week
• stylewarning / deprecated-coalton-prototype
  Coalton is (supposed to be) a dialect of ML embedded in Common Lisp.
  ☆208Updated 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 6 months ago
• projectured / projectured
  ProjecturEd is a generic purpose projectional editor.
  ☆142Updated 3 years ago
• Web-Prolog / swi-web-prolog
  A proof-of-concept SWI-Prolog implementation of Web Prolog
  ☆190Updated 5 years ago
• triska / clpz
  Constraint Logic Programming over Integers
  ☆210Updated last year
• afainer / cleven
  Cleven is an experimental game engine with volume graphics written in Common Lisp.
  ☆48Updated 8 years ago
• froggey / Iota
  LLVM to Common Lisp transpiler.
  ☆273Updated 2 years ago
• j3pic / lisp-binary
  A library to easily read and write complex binary formats.
  ☆101Updated last year
• rongarret / ergolib
  A library designed to make programming in Common Lisp easier
  ☆149Updated 4 years ago
• guenchi / Darkart
  A binary interface let Chez Scheme use Python, Lua, Ruby etc's library
  ☆195Updated 5 years ago
• Mathieu-Desrochers / Schemings
  You dig Scheme. The world is coded in C. You get both.
  ☆100Updated 4 years ago
• Apress / common-lisp-condition-system
  Source Code for 'The Common Lisp Condition System' by Michal "phoe" Herda
  ☆99Updated 5 years ago
• white-flame / clyc
  Port of Cyc to Common Lisp
  ☆23Updated 5 years ago
• FdelMazo / cl-aristid
  Draw Lindenmayer Systems with Common LISP! -- Trabajo para [7531] Teoría del Lenguaje (FIUBA)
  ☆82Updated 5 years ago
• cosmos72 / stmx
  High performance Transactional Memory for Common Lisp
  ☆254Updated last year
• quil-lang / alexa
  A Lexical Analyzer Generator
  ☆63Updated last year