Although it would be useful if a software developers menu was out there, I can confirm they include things like each large-name and up-and-coming providers. https://asteroidsathome.net/boinc/view_profile.php?userid=713101