Alternatives and similar repositories for shrdlu

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

• tsgouros / www-shrdlu
  A revival of Terry Winograd's famous SHRDLU program, adapted to use on the web.
  ☆35Updated 10 years ago
• white-flame / clyc
  Port of Cyc to Common Lisp
  ☆23Updated 5 years ago
• akkartik / am-utexas
  Reimplementation of Doug Lenat's Automated Mathematician by Bruce Porter's group at the University of Texas at Austin
  ☆58Updated 16 years ago
• tonyg / kali-scheme
  Kali is Kelsey and Rees's distributed Scheme implementation based on Scheme48
  ☆36Updated 13 years ago
• blakemcbride / PSL
  Portable Standard Lisp
  ☆54Updated 4 years ago
• avshabanov / lisp800
  Inspired by lisp500, lisp800 is a small embeddable dialect by lisp500 with the emphasis on embeddability
  ☆20Updated 12 years ago
• eriktmueller / daydreamer
  DAYDREAMER goal-based agent
  ☆78Updated 3 years ago
• LdBeth / star-lisp
  A *LISP emulator
  ☆35Updated 5 years ago
• sfahlman / scone
  ☆81Updated 2 years ago
• omasanori / franz-lisp
  The source code of Franz Lisp
  ☆47Updated 5 years ago
• guitarvydas / wam
  A WAM (Warren Abstract Machine for Prolog) written in Common Lisp
  ☆13Updated 6 years ago
• briangu / OPS5
  OPS5 Production System
  ☆57Updated 12 years ago
• logicmoo / prologmud
  MUD Server written in Prolog using Forward chaining
  ☆28Updated 3 years ago
• white-flame / eurisko
  Doug Lenat's EURISKO from SAIL archives circa 1981
  ☆66Updated last year
• larsbrinkhoff / forth-metacompiler
  Forth metacompiler written in Lisp, for bootstrapping
  ☆46Updated 4 years ago
• binghe / MCL
  Macintosh Common Lisp 6
  ☆24Updated 6 years ago
• mistupv / SWIPrologZ3
  A simple Prolog API for the Z3 constraint solver
  ☆15Updated 7 years ago
• thephoeron / qgame
  QGAME: Quantum Gate and Measurement Emulator, a quantum computer simulator
  ☆32Updated 8 years ago
• seveno4 / EURISKO
  ☆60Updated last year
• jackpal / lisp5000
  A small dialect of Common Lisp based upon lisp500
  ☆37Updated 11 years ago
• Henry / EuLisp
  Resurrection of the EuLisp definition and the Youtoo, EuXLisp and Eu2C implementations
  ☆64Updated 14 years ago
• poplog / poplog
  Poplog
  ☆21Updated 14 years ago
• nilqed / SNARK
  SNARK - SRI's New Automated Reasoning Kit
  ☆19Updated 8 months ago
• SNePS / SNePS2
  The SNePS 2 Knowledge Representation and Reasoning System
  ☆12Updated 7 years ago
• hanshuebner / cadr2
  MIT CADR Lisp Machine Resurrection Project
  ☆17Updated 11 years ago
• jaoswald / cl-comfy-6502
  Baker's COMFY compiler for the 6502 ported to Common Lisp
  ☆31Updated 14 years ago
• g000001 / Starlisp-simulator
  *Lisp simulator
  ☆28Updated 12 years ago
• irori / advent-unlambda
  A faithful implementation of the Colossal Cave Adventure in Unlambda
  ☆18Updated 5 years ago
• kstephens / tort
  Tiny Object Run Time
  ☆24Updated 10 years ago
• malisper / Clamp
  Common Lisp with Arc Macros and Procedures
  ☆75Updated 9 years ago