I also like the Physics and Math in SICM (Structure and Interptretation of Classical Mechanics), and Scheme maps well to math equations, at least for me .
Julia does follow the way math is written, but I prefer Haskell. The book "The Haskell Road to Logic, Math and Programming"  is great, and this article on Geometric Algebra (GA) in Haskell is excellent .
Small question though: are infinite series and Taylor polynomials not part of calculus? I don't see them here.
I rather like this phrasing because basically everything you'll learn in calculus is a consequence of the completeness property of the reals.
That has a lot of nice properties which are useful in proofs, whereas the limit of sums definition suffers from there being too many ways for "delta x goes to 0" which need to be shown to be equivalent at some point to be useful (nasty!).
It's also very rare for inline code to be useful (versus multiline), so the backtick is generally wasted in markdown anyways.
Point is, I hope the ecosystem has gotten better last time I tried it ~3 years ago, and I also hope the interoperability didn't turn out to be "too good" for the ecosystem's own health.