Discrete calculus is a thing [0], although it is not so much a reformutaltion of infinitesimal calculus as it is its own field that borrows heavily from calculus.

[0] https://en.wikipedia.org/wiki/Finite_difference