Profiling
- SpaceTime is integrated into the compiler and allows profiling of memory allocation. (Removed since 4.12.0)
- landmarks: a profiling library for OCaml, taking into account both memory allocation and CPU time.
- Standard tools such as gprof can also be used to debug OCaml programs.
- ocaml-tracy: Bindings to the amazing tracy profiler.
- gdbprofiler:
Profile OCaml programs by connecting to
gdb
. Very impressive output. (Repository archived since May 17th 2024)