DOE OSTI2019TypeforgeTypeforge is a tool for type refactoring in C/C++ programs. It enables users to transform the type of any variables or operations. It guarantees the syntactic and semantic correctness of the generated code -- it will always compile! IsPINNOW, NATHANT.↗