GitHub repository: uwplse/stng
Primary language: C++
Description: compiler for fortran stencils using verified lifting,