digdeeproots / provable-refactorings

A collection of refactoring recipes that are provably safe. They never accidentally introduce nor fix a bug, including one that you don't know exists. They maintain all behavior, including unknown or unspecified behavior. To accomplish this, each recipe is concrete and language-specific.
β˜†265Updated 7 months ago

Alternatives and similar repositories for provable-refactorings:

Users that are interested in provable-refactorings are comparing it to the libraries listed below