You can be pretty certain that nothing quite like that exists. The question is, though, how close would some other language have to be before it would convince you to give up?
Most languages are defined by a community of users. Users take up a language because of its features, capabilities and community and you can be sure no community would develop around a language that was defined simply by its implementation technology.
Many languages are created as pet projects or as academic works. If one exists you can be sure no-one here has ever heard of it, so no joy there either.
If we consider just languages that compile into a C back-end, there have been many. C++, Objective-C and Eiffel come immediately to mind, but there are many more.
If we broaden your target slightly from C back-end into statically-typed back-end then it includes the JVM and CLR. There are heaps of languages that compile to those targets, and both JVM amd CLR intermediate code can be compiled into assembly language (think Hotspot and JIT).
So depending on exactly how you delineate your question, the answer could range from none to lots and lots. Not an easy question to give a firm answer.
So finally I would observe that questions about 'name that specific product/language/technology' are not a good match for P.SE, as you would doubtless know. Perhaps you could consider that if you decide to continue with this project and are looking for more help.
Scheme is an example of a dynamically-typed language with good meta-programming which can be compiled into C and other statically typed back-ends. It has a strong community and my guess is you've already heard of it. Whether it is a close enough match to the proposal to make you abandon your project is not for me to say.