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.