From "Show HN: Codemodder – A new codemod library for Java and Python" (2024)
<a href="https://news.ycombinator.com/item?id=39111747">https://news.ycombinator.com/item?id=39111747</a> :<p>> [ codemodder-python, libCST, MOSES and Holman's elegant normal form, <i>singnet/asmoses</i>, Formal Verification, ]