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.

TypeRex IDE

TypeRex integrates with your favorite editors.

Semantic Grep

TypeRex shows where identifiers are defined and used.

Auto-Completion

TypeRex proposes possible completions when you write code.

‹ ›

Features

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)

Download ››