A straightforward, Rust implementation of (the non speed-optimized parts of) the Anatomy: https://aszepieniec.github.io/stark-anatomy/
The original Python code, whose lead we follow closely, is available here: https://github.com/aszepieniec/stark-anatomy