stuartpb / shrdlu
Terry Winograd's SHRDLU
☆38Updated 13 years ago
Alternatives and similar repositories for shrdlu:
Users that are interested in shrdlu are comparing it to the libraries listed below
- DAYDREAMER goal-based agent☆75Updated 3 years ago
- MUD Server written in Prolog using Forward chaining☆29Updated 2 years ago
- A revival of Terry Winograd's famous SHRDLU program, adapted to use on the web.☆28Updated 9 years ago
- Sunrise on the Boxer Reconstruction Project☆46Updated last week
- Port of Cyc to Common Lisp☆22Updated 4 years ago
- Portable Standard Lisp☆53Updated 3 years ago
- Archive of old version, visit gendl.org for current version --- #gendl on libera.chat☆57Updated 2 years ago
- Inspired by lisp500, lisp800 is a small embeddable dialect by lisp500 with the emphasis on embeddability☆20Updated 11 years ago
- Macintosh Common Lisp 6☆23Updated 6 years ago
- SNARK - SRI's New Automated Reasoning Kit☆19Updated 8 years ago
- nqthm - the original Boyer-Moore theorem prover, from 1992☆50Updated 8 years ago
- Pseudo, a 2.5d multiplayer roguelike☆32Updated 2 weeks ago
- Reimplementation of Doug Lenat's Automated Mathematician by Bruce Porter's group at the University of Texas at Austin☆56Updated 16 years ago
- C to Common Lisp compiler☆8Updated 8 years ago
- E language implementation targeting Common Lisp☆14Updated 12 years ago
- Doug Lenat's EURISKO from SAIL archives circa 1981☆54Updated 6 months ago
- Lisp-based OWL Full Processor on top of Common Lisp Object System (CLOS), See http://www-kasm.nii.ac.jp/~koide/SWCLOS2-en.htm☆16Updated 5 years ago
- Luke Tierney's Xlispstat statistical environment☆16Updated 9 years ago
- ☆78Updated last year
- Kali is Kelsey and Rees's distributed Scheme implementation based on Scheme48☆37Updated 12 years ago
- Bringing the terseness of Arc to Common Lisp. Originally at https://github.com/malisper/Clamp.☆10Updated 4 years ago
- A WAM (Warren Abstract Machine for Prolog) written in Common Lisp☆12Updated 5 years ago
- A *LISP emulator☆34Updated 4 years ago
- Resurrection of the EuLisp definition and the Youtoo, EuXLisp and Eu2C implementations☆63Updated 13 years ago
- ThinLisp is an open source Lisp to C translator.☆32Updated 9 years ago
- An experimental esolang implementation of a Kolmogorov-Uspensky machine☆29Updated 8 years ago
- Concise implementation of a lisp-like language for low-end and embedded devices☆100Updated 11 years ago
- Allow Lisp programs to stop implementing an ad-hoc, informally-specified, bug-ridden, slow implementation of less than half of ISO-Prolog…☆101Updated 3 years ago