eriktmueller / daydreamerLinks
DAYDREAMER goal-based agent
☆77Updated 3 years ago
Alternatives and similar repositories for daydreamer
Users that are interested in daydreamer are comparing it to the libraries listed below
Sorting:
- MUD Server written in Prolog using Forward chaining☆29Updated 3 years ago
- E language implementation targeting Common Lisp☆14Updated 13 years ago
- ThoughtTreasure commonsense knowledge base and architecture for natural language processing☆79Updated 9 years ago
- Pseudo, a 2.5d multiplayer roguelike☆32Updated 5 months ago
- Terry Winograd's SHRDLU☆40Updated 14 years ago
- YACC is dead for Common Lisp (based on http://arxiv.org/abs/1010.5023)☆40Updated last year
- Port of Cyc to Common Lisp☆22Updated 4 years ago
- (experimental, deprecated) Common Lisp core for Turtl. The goal is to put all logic in lisp, and embed in other runtimes (Node-webkit, An…☆51Updated 9 years ago
- Common Lisp Structure Editor☆24Updated 6 months ago
- Interactive software environment based on Common Lisp.☆77Updated 2 months ago
- SNARK - SRI's New Automated Reasoning Kit☆19Updated 3 months ago
- Common Lisp with Arc Macros and Procedures☆74Updated 8 years ago
- Reimplementation of Doug Lenat's Automated Mathematician by Bruce Porter's group at the University of Texas at Austin☆57Updated 16 years ago
- Pure math functions useful for games, 3D, and GL in general.☆17Updated 9 years ago
- access (parts of) VIGRA's functionality from Racket☆15Updated 3 years ago
- experimental computational medium and supporting tools☆22Updated last week
- ☆18Updated 8 years ago
- Poplog☆21Updated 14 years ago
- A programming argot☆58Updated last year
- ...☆29Updated 8 years ago
- Markdown parser for SWI-Prolog.☆21Updated 4 years ago
- An object-oriented dialect of Scheme☆60Updated 3 years ago
- miniKanren in the browser☆55Updated 9 years ago
- Cleven is an experimental game engine with volume graphics written in Common Lisp.☆45Updated 8 years ago
- a fork of net.sourceforge.wilbur updated for mcl and sbcl☆27Updated 3 years ago
- Gradual WAM implementation using Hassan Aït-Kaci's tutorial reconstruction☆27Updated 6 years ago
- C to Common Lisp compiler☆8Updated 8 years ago
- nqthm - the original Boyer-Moore theorem prover, from 1992☆52Updated 8 years ago
- Distributed, asychronous message passing system for Clozure Common Lisp☆66Updated 7 years ago
- Don't Lisp, Talk!☆57Updated last year