Cyclone was already a good response. I&#x27;ll add that you want one that&#x27;s better than C and easy enough to port to. One that combines simplicity, fast compilation, fast execution, no undefined behavior, and plenty of safety.<p>Fortunately, Niklaus Wirth and his people already implemented a half dozen or so of them. Plus industrial variants like Delphi (or FreePascal) and Modula-3. Safer, faster to develop, all used for OS&#x27;s, most with GC, and fast enough in production. This of course assumes you won&#x27;t use Ada, which eliminated most of safety issues as well.<p>I doubt people will build on them. The dangers of C have too much allure. Plus all the code already written. ;)