I'm partial to Caratheodory's definition of the derivative, which avoid limits like the infinitesimal approach, but doesn't pull in all the extra baggage that come with infinitesimals (if you do it rigorously).

djb (yes, that one) has a pretty good primer on it: https://cr.yp.to/papers/calculus-19970403-retypeset20220326....