I’d be remiss if I didn’t mention (eventually) that Calculus Made Easy is an introductory calculus textbook which develops the whole subject in terms of infinitesimals. It actually predates Robinson, so it doesn’t use the hyperreals, but it’s precisely the same general idea.
Calculus Made Easy is public domain, and it’s available for free download from Project Gutenberg.