This is a partial list, please email Stefan Woltran if you would like to suggest some other resource.