The stm32duino forum, linked to from stm32duino/Arduino_Core_STM32, has been down for at least a few days. Visiting the home page, http://stm32duino.com/, gives "Server quota exceeded".