It's nice to see Rust being used successfully for some fairly high-level, research-like problems. The whole blog series is quite interesting (you can find the older posts in the readme file for the repo, or more conveniently in the "posts" folder, listed by date).