See READMEs for inline-c and inline-c-cpp.
inline-c
inline-c-cpp
inline-c was written by Francesco Mazzoli, with contributions from Mathieu Boespflug, Junji Hashimoto, and Robert Hensing.
It is now maintained by Junji Hashimoto.