GitHub repository: F1-C0D3/gencot
Primary language: C
Created: 2020-04-29T15:50:51Z
Description: Tool for partial translation from C to Cogent (https://github.com/NICTA/cogent)