NAKATA Maho's starred repositories
CFortranTranslator
A translator from Fortran to C++. We provide statement-wise translation to improve readability.
slides_nvr2021
Slides about APA toolbox for the JST/CREST workshop http://verifiedby.me/nvr2021/ (2021-11-27).