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