A Gallina compiler with C++17 as an intermediate representation - View it on GitHub