Android devices can be identified by their unique codenames. This list is generated by fetching data from multiple sources and collating it in a single (codename, OSes) map.
The code is open source and available here: https://github.com/olaki-android/olaki
If you're thinking of reusing an old phone or trying out a different OS, I hope you find this list useful.