Hindley-Milner type inference engine for C - View it on GitHub