GitHub repository: sunsided/planning-wiki
Description: By the community, for everyone. Planning.wiki is the online guide to AI Planning