David Speck's starred repositories
unified-planning
The AIPlan4EU Unified Planning Library
direct-ranker
Code and Supplementary Material to the Paper: Pairwise Learning to Rank by Neural Networks Revisited: Reconstruction, Theoretical Analysis and Practical Performance
symbolic-osp
Sym-Osp is a state-of-the-art optimal oversubscription planner based on symbolic search.
shakey2016
Shakey 2016 is a today's (2016) implementation of Shakey with modern robotics technology.