David Speck's repositories
shakey2016
Shakey 2016 is a today's (2016) implementation of Shakey with modern robotics technology.
symbolic-osp
Sym-Osp is a state-of-the-art optimal oversubscription planner based on symbolic search.
downward
The Fast Downward domain-independent classical planning system
Language:C++GPL-3.0000
planutils
General library for setting up linux-based environments for developing, running, and evaluating planners.
Language:PythonMIT000
speckdavid.github.io
A beautiful, simple, clean, and responsive Jekyll theme for academics
Language:JavaScriptMIT000
unified-planning
The AIPlan4EU Unified Planning Library
Language:Python000