Frama-C / headache

Lightweight tool for managing headers in source code files. It can update in any source code files (OCaml, C, XML et al).
24Updated 9 months ago

Alternatives and similar repositories for headache:

Users that are interested in headache are comparing it to the libraries listed below