Utilities for the K Framework, implemented in Rust - View it on GitHub