This web page is under construction and will evolve to house research software developed by Knowledge Representation and Reasoning (KR&R) and machine learning students, postdocs, faculty, and affiliates at the University of Toronto over the years. It includes a number of contributions related to cognitive robotics, automated planning, and sequential decision making.