Easy to Use

ROTOR is easily installed via OPAM and invoked on the command line. It uses your .merlin file to find your code, and outputs a diff patch of your refactoring.

Get Started


Developed at the University of Kent as part of a project on Trustworthy Refactoring, ROTOR is designed on solid formal principles and an analysis of OCaml’s semantics.

Learn More


ROTOR has been developed for the OCaml community, with the collaboration of Jane Street. Future plans include integration with IDEs and the dune build tool.


Easy, Contract, and Teamwork icons provided by Icons8.