GitHub repository: nimit-singhania/loopy
Primary language: C
Created: 2016-09-28T20:43:12Z
Description: A system for programming formally-verified loop transformations.