GitHub repository: sdevin/toaster
Primary language: C++
Description: Tracking Of Agent (actions and belief) and Spatio-TEmporal Reasoning