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

Trustworthy

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

Community

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.

Contribute

Easy, Contract, and Teamwork icons provided by Icons8.