ROC-HJ: Reachability analysis and Optimal Control problems - Hamilton-Jacobi equations. The software ROC-HJ is a C++ library that implements a set of numerical methods for solving some Hamilton-Jacobi equations arising in optimal control theory. The library also contains some useful tools for analyzing the numerical solutions and aiming at designing the optimal control laws along with the corresponding optimal trajectories.