DifferentialEquations.jl from the ground up: the pendulum beyond small angles

Afterwards you can integrate any system of first-order ODEs with DifferentialEquations.jl, control its accuracy, and find events such as zero crossings.