InfiniteOpt.jl is another Julia package that supports the solution of large-scale optimal control problems. It can use both JuMP and ExaModels as backend.
https://github.com/infiniteopt/InfiniteOpt.jl/

I would suggest to add a comparison between InfiniteOpt.jl and OptimalControl.jl. See e.g. the following tutorial:
https://infiniteopt.github.io/InfiniteOpt.jl/stable/examples/Optimal%20Control/hovercraft/