Things get so much more fun once you embrace spinors.
https://www.unisys.com/product-info-sheet/ecs/clearpath-mast...
Failing a full derivation from the ground up, a proof of the equivalence to Newtonian mechanics would be interesting.
The Hamiltonian approach in contrast is breadth-first: you single out a time axis, start with some initial state, and consider all possibilities that a particle (or field in QFT) could evolve forwards in time just a tiny bit (this is what the Hamiltonian operator does). Then you add up all these possibilities to find the next state, and so you move forwards through time by keeping track of all possible evolutions all at once. This massive superposition of everything that is possible (with corresponding amplitudes) is what you call a state (or wavefunction) and the space that it lives in is the Hilbert (or Fock) space.
So Lagrangian/path-integral: follow full trajectories, then add up all possible choices. depth-first
Hamiltonian/time-evolution: add up all choices for a tiny step in time, then simply do more steps: breadth-first
I imagine it a bit like a scanline algorithm calculating an image as it moves down the screen (Hamiltonian) vs something like a stochastic raytracer that can start with an empty image and refine it pixel by pixel by shooting more rays (Lagrangian)
This is my layman explanation anyways...hopefully it helps, even though i can't say much about their relationship in classical physics.