I am not aware of any book that is rigorous as well as deals with the programing aspect. That doesn't mean they are complementary. Hamilton deals with the time series from econometrics point of view. It is rigorous but not dry. My go-to books for intermediate to advanced econometrics would be Econometric Analysis by Greene (as mentioned in utobi's answer), Estimation and Inference in Econometrics by Davidson, MacKinnon, Econometrics by Schmidt, Statistical Limit Theory by Davidson, Advanced Econometrics by Amemiya.
With enough digressions, let me recommend you some books that might cater somewhat to your requirements to a certain extent:
$\bullet$ Introduction to Econometrics with R, by Christoph Hanck, Martin Arnold, Alexander Gerber, and Martin Schmelzer.
Written by one of our community's prolific users, Christoph Hanck, this book (available online) provides enough insight for a beginner to venture into programming without losing the spirit. They covered everything a standard graduate text would need to: from the classical regression inferences to panel data, instrumental variables. What I liked about this is that it doesn't lower the momentum; rather moves at an even pace with enough intuition. Unfortunately, I won't count it as an advanced book but this could provide an ample scope to explore further with a sound programming mind.
$\bullet$ Applied Econometrics with R by Christian Kleiber, Achim Zeileis, Springer Science$+$Business, $2008$.
This is a short book written with more or less the same intention as that of the former. Again lucidly written explaining each and every component of a script and the graphical outputs, the major highlight would be the chapter on Time Series which deals with structural models, unit roots, cointegration.
$\bullet$ Using R for Introductory Econometrics, by Florian Heiss, $2020$.
Liked Wooldridge? Well you would love this for the author wrote the book based on Wooldridge's text. The author focused on the implementation of $\mathtt{Tidyverse}$, simulations, time series regression, panel data, count data, censoring and truncation.
The author even wrote a companion book for implementation in Python.