GitHub - nasa/cpr: LAR-19679-1 : CPR*: Formally Verified Compact Position Reporting Algorithm https://github.com/nasa/cpr

NASA(しかもラングレー研究所)のコード！！！！＞＜；