[westurner]

From "Show HN: Codemodder – A new codemod library for Java and Python" (2024) https://news.ycombinator.com/item?id=39111747 :

> [ codemodder-python, libCST, MOSES and Holman's elegant normal form, singnet/asmoses, Formal Verification, ]