https://c9x.me/compile/ (c frontend: https://github.com/michaelforney/cproc)
https://github.com/sysprog21/shecc (this fundamentally targets risc-like architectures, but is very clearly written).
perhaps eventually a simple well-defined semantics will emerge (i think projects like the above already support more of a regehr-style c rather than iso).