Here is complete list -> https://toh.openwrt.org/?view=normal
78 devices in total when you filter for mikrotik -> brand column.
78 devices in total when you filter for mikrotik -> brand column.
That table is a much longer list! Still no love for my CRS/CSS, but it does look like that's probably most of the RB devices that Mikrotik actually intends for use as routers (rather than L3 switches).
Also has supported release version column, which is useful to have.