TypeRex for Emacs - for OCaml 3.12.1

TypeRex is a powerful development environment for OCaml. It is designed to integrate easily in your favorite editor, and to provide all the commands that programmers expect from a modern IDE. TypeRex is open-source and is developed by OCamlPro and INRIA.


Show types and comments
Browsing of identifiers: go to definition, cycle between alternate definitions, and semantic grep.
Strictly semantic-preserving, local and whole-program refactoring as renaming identifiers and compilation units
Improved syntax coloring
Auto-completion of identifiers (experimental)
Robust w.r.t. not-recompiled, possibly unsaved buffers
Scalable (used regularly on a few hundreds of source files)