stuartpb / shrdlu
Terry Winograd's SHRDLU
☆38Updated 13 years ago
Related projects: ⓘ
- A revival of Terry Winograd's famous SHRDLU program, adapted to use on the web.☆28Updated 9 years ago
- Port of Cyc to Common Lisp☆22Updated 4 years ago
- DAYDREAMER goal-based agent☆74Updated 2 years ago
- MUD Server written in Prolog using Forward chaining☆30Updated 2 years ago
- Inspired by lisp500, lisp800 is a small embeddable dialect by lisp500 with the emphasis on embeddability☆20Updated 11 years ago
- ☆14Updated this week
- Archive of old version, visit gendl.org for current version --- #gendl on libera.chat☆57Updated last year
- A small dialect of Common Lisp based upon lisp500☆38Updated 10 years ago
- Reimplementation of Doug Lenat's Automated Mathematician by Bruce Porter's group at the University of Texas at Austin☆51Updated 15 years ago
- Doug Lenat's EURISKO from SAIL archives circa 1981☆48Updated 2 months ago
- ☆31Updated this week
- Macintosh Common Lisp 6☆23Updated 5 years ago
- E language implementation targeting Common Lisp☆14Updated 12 years ago
- ☆34Updated 5 months ago
- A WAM (Warren Abstract Machine for Prolog) written in Common Lisp☆12Updated 5 years ago
- nqthm - the original Boyer-Moore theorem prover, from 1992☆49Updated 8 years ago
- Kali is Kelsey and Rees's distributed Scheme implementation based on Scheme48☆36Updated 12 years ago
- Poplog☆21Updated 13 years ago
- Pseudo, a 2.5d multiplayer roguelike☆30Updated last year
- A simple Prolog API for the Z3 constraint solver☆14Updated 6 years ago
- Sunrise on the Boxer Reconstruction Project☆42Updated this week
- ☆22Updated this week
- SNARK - SRI's New Automated Reasoning Kit☆19Updated 8 years ago
- Common Lisp with Arc Macros and Procedures☆71Updated 8 years ago
- Gwydion Dylan - compiler for Dylan targeting C☆8Updated 12 years ago
- Minimal Lisp/Forth☆10Updated 11 years ago
- Self-like language implemented in the RPython language toolkit.☆28Updated 3 years ago
- Forth metacompiler written in Lisp, for bootstrapping☆41Updated 3 years ago
- Portable Standard Lisp☆53Updated 3 years ago
- C to Common Lisp compiler☆8Updated 8 years ago