Universal toplevel for OCaml
Browse cluster: OCaml Systems and Utilities →utop is an improved read-eval-print loop (REPL) for OCaml that runs in terminals or Emacs. Built on the OCaml libraries Lambda-term and Zed, it provides context-sensitive code completion powered by compiler libraries, syntax highlighting, automatic evaluation of Lwt and Async expressions, a `#typeof` directive for type inspection, and vi-style editing mode. The project includes Emacs integration via `utop.el` and supports customizable prompts, key bindings, and automatic installation of toplevel printers for libraries annotated with the `[@@ocaml.toplevel_printer]` attribute.