Show HN: LeanCreator – a stripped-down QtCreator for C/C++, LeanQt and BUSY February 25, 2023 by Comments