GitHub repository: mit-pdos/mcqc
Primary language: Haskell
Description: A Gallina compiler with C++17 as an intermediate representation