Is anyone aware of an open-sourced codebase that uses a highly restrictive standard like this? Probably more like likely just plain MISRA, since anything developed by Lockheed using this doc would be classified I'm sure.

I've seen standards like this shared a few times, but never seen the code they actually result in.