Buenos días.
Sí, esa web del Principado de Asturias recoge todos los decretos.
https://politicallinguistica.asturias.es/toponimia-normativa

Cuando hay cambios de toponimia en concejos sin un decreto, que deben de ser 3 o 4 yo dejo la castellana en name. Ya he corregido bastantes "hiperasturianismos" o topónimos no oficiales, como en Peñaullan, Pravia.

Con respecto a los mapas. Hay un visor autonómico. SITPA, pero en nombres de lugares (parajes) y picos tiene algunas diferencias con el IGN y es bastante pesado por lo que moverse por ese visor se hace muy lento.

Los mapas del IGN como el visor Iberpix contemplan la denominación oficial de los pueblos y villas de Asturias, tal y como están en los decretos, aunque tardan un poco en actualizarse y los cambios más recientes puede que no se vean. Sin embargo, tiene una capa de nombres geográficos que esa está bastante actualizada e incluso corrige la ubicación de ciertos topónimos.

Por cierto, el IGN es el Instituto Geográfico NACIONAL, vamos que es el estado (España en su conjunto) el que hace esos mapas y recoge los toponimos oficializados en el BOPA. El argumento de que solo era oficial en Asturias en la cabeza de algunos será espectacular, pero la realidad es bien distinta.