A Rust implementation of this idea is Crux: https://redbadger.github.io/crux/