One of the primary languages I was taught in college was Modula-3. At the time it was a huge improvement over both Pascal (which was also taught) but it had some of the same power as C++ but was much safer. I was always a bit sad it didn't catch on.
It is one of my favourite GC enabled system programming languages.
The most well known version, Critical Mass Modula-3, was made open source and some devs are still developing it.
https://github.com/modula3/cm3
Last commit 4 days ago.