GitHub repository: tomahawkins/cil
Primary language: OCaml
Description: A Haskell interface to CIL.