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