A tool for automatic Haskell binding generation from C header files
well-typed.com