SCILab

Это "официальный" список библиотек (как бесплатных, так и коммерческих) поддерживающих микроконтроллеры STM32. Выяснилось, что многие этот список ранее не видели...