stuartpb / shrdluLinks
Terry Winograd's SHRDLU
☆41Updated 14 years ago
Alternatives and similar repositories for shrdlu
Users that are interested in shrdlu are comparing it to the libraries listed below
Sorting:
- A revival of Terry Winograd's famous SHRDLU program, adapted to use on the web.☆38Updated 10 years ago
- Port of Cyc to Common Lisp☆23Updated 5 years ago
- MUD Server written in Prolog using Forward chaining☆28Updated 3 years ago
- Kali is Kelsey and Rees's distributed Scheme implementation based on Scheme48☆36Updated 13 years ago
- DAYDREAMER goal-based agent☆78Updated 4 years ago
- Inspired by lisp500, lisp800 is a small embeddable dialect by lisp500 with the emphasis on embeddability☆20Updated 12 years ago
- Portable Standard Lisp☆55Updated 2 weeks ago
- OPS5 Production System☆57Updated 12 years ago
- A small dialect of Common Lisp based upon lisp500☆37Updated 11 years ago
- Reimplementation of Doug Lenat's Automated Mathematician by Bruce Porter's group at the University of Texas at Austin☆58Updated 17 years ago
- Doug Lenat's EURISKO from SAIL archives circa 1981☆68Updated last year
- A simple Prolog API for the Z3 constraint solver☆15Updated 7 years ago
- Forth metacompiler written in Lisp, for bootstrapping☆46Updated 4 years ago
- Our Ludum Dare entry☆20Updated 8 years ago
- A *LISP emulator☆35Updated 5 years ago
- Resurrection of the EuLisp definition and the Youtoo, EuXLisp and Eu2C implementations☆64Updated 14 years ago
- ☆81Updated 2 years ago
- ☆61Updated last year
- Lisp evaluator in the LIsp for Zick's Lisp implementations☆56Updated 4 years ago
- Fork of Ian Piumarta's maru self-bootstrapping lisp compiler. Work has moved to http://code.google.com/r/kurts68-maru/☆41Updated 4 years ago
- The SNePS 2 Knowledge Representation and Reasoning System☆12Updated 7 years ago
- Prolog Technology Theorem Prover☆12Updated last year
- ☆28Updated 4 months ago
- Common Lisp with Arc Macros and Procedures☆75Updated 9 years ago
- CUDA parallel lisp toy inspired by Connection Machines☆20Updated last year
- Lisp Machine Keyboard USB driver☆32Updated 6 years ago
- nqthm - the original Boyer-Moore theorem prover, from 1992☆56Updated 9 years ago
- A WAM (Warren Abstract Machine for Prolog) written in Common Lisp☆13Updated 6 years ago
- QGAME: Quantum Gate and Measurement Emulator, a quantum computer simulator☆33Updated 8 years ago
- MIT Scheme's Edwin Editor written on top of Scheme48 and SCSH☆43Updated 9 years ago