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.
  ☆32Updated 10 years ago
• white-flame / clyc
  Port of Cyc to Common Lisp
  ☆22Updated 4 years ago
• logicmoo / prologmud
  MUD Server written in Prolog using Forward chaining
  ☆29Updated 3 years ago
• avshabanov / lisp800
  Inspired by lisp500, lisp800 is a small embeddable dialect by lisp500 with the emphasis on embeddability
  ☆20Updated 11 years ago
• akkartik / am-utexas
  Reimplementation of Doug Lenat's Automated Mathematician by Bruce Porter's group at the University of Texas at Austin
  ☆57Updated 16 years ago
• binghe / MCL
  Macintosh Common Lisp 6
  ☆23Updated 6 years ago
• tonyg / kali-scheme
  Kali is Kelsey and Rees's distributed Scheme implementation based on Scheme48
  ☆38Updated 13 years ago
• jackpal / lisp5000
  A small dialect of Common Lisp based upon lisp500
  ☆37Updated 10 years ago
• eriktmueller / daydreamer
  DAYDREAMER goal-based agent
  ☆75Updated 3 years ago
• nilqed / SNARK
  SNARK - SRI's New Automated Reasoning Kit
  ☆19Updated 2 months ago
• poplog / poplog
  Poplog
  ☆21Updated 14 years ago
• yuxi-liu-wired / cyc-archive
  An archive of material related to the Cyc project.
  ☆22Updated last month
• guitarvydas / wam
  A WAM (Warren Abstract Machine for Prolog) written in Common Lisp
  ☆13Updated 6 years ago
• mistupv / SWIPrologZ3
  A simple Prolog API for the Z3 constraint solver
  ☆15Updated 7 years ago
• jiyunomegami / Vacietis
  C to Common Lisp compiler
  ☆8Updated 8 years ago
• jeceljr / SmalltalkSurvey
  The goal is to compile a reasonably complete list of all implementations of the Smalltalk system
  ☆26Updated last year
• LdBeth / star-lisp
  A *LISP emulator
  ☆35Updated 5 years ago
• blakemcbride / PSL
  Portable Standard Lisp
  ☆54Updated 3 years ago
• boxer-project / boxer-sunrise
  Sunrise on the Boxer Reconstruction Project
  ☆49Updated this week
• Henry / EuLisp
  Resurrection of the EuLisp definition and the Youtoo, EuXLisp and Eu2C implementations
  ☆64Updated 14 years ago
• John-Nagle / nqthm
  nqthm - the original Boyer-Moore theorem prover, from 1992
  ☆52Updated 8 years ago
• g000001 / Starlisp-simulator
  *Lisp simulator
  ☆28Updated 11 years ago
• PDP-10 / Interlisp-10
  ☆19Updated 2 years ago
• dylan-hackers / gwydion
  Gwydion Dylan - compiler for Dylan targeting C
  ☆9Updated 13 years ago
• hebisch / poplog
  ☆26Updated last month
• mmontone / garnet
  Garnet - a graphical toolkit for Lisp
  ☆20Updated 3 years ago
• larsbrinkhoff / forth-metacompiler
  Forth metacompiler written in Lisp, for bootstrapping
  ☆45Updated 3 years ago
• ahungry / pseudo
  Pseudo, a 2.5d multiplayer roguelike
  ☆32Updated 4 months ago
• barak / zenlisp
  http://www.t3x.org/files/zenlisp.zip
  ☆17Updated 4 years ago
• thephoeron / qgame
  QGAME: Quantum Gate and Measurement Emulator, a quantum computer simulator
  ☆32Updated 8 years ago