I don't know.
But I just released a language called U, and I was surprised to see this one.
https://ulanguage.org
When compiling to C, does it use MISRA C or some other accepted standard for how to write secure and reliable C?
Just like V but without sharp edges?
When compiling to C, does it use MISRA C or some other accepted standard for how to write secure and reliable C?