psyche-c is an open source compiler created in 2016 by Leandro T. C. Melo.
| #1049on PLDB | 10Years Old |
git clone https://github.com/ltcmelo/psychecPsyche-c is a compiler for incomplete C code. It features a Hindley/Milner-inspired type inference engine for C.