utop

Universal toplevel for OCaml with support for multiline edition, history, real-time and context-sensitive completion, colors, and more.