Conan, Balde, FStar, Janetsh, OpenVZ and 7 more are some of the popular tools that integrate with C lang. Here's a list of all 12 tools that integrate with C lang.
C-lang
