JuDO is a user interface written in Julia, it allows users to enter specifications of an optimal control problem. DynOptInterface.jl is the underlying mathematical abstraction layer of JuDO.
JuDO can deal with dynamic optimization problems, it is an extension of JuMP.jl, a package that could solve mathematical optimization problems.