https://github.com/nikomatsakis/rust-redex https://github.com/nikomatsakis/rust-redex is a theoretical model of the interesting part of Rust (by one of the core

https://github.com/nikomatsakis/rust-redex https://github.com/nikomatsakis/rust-redex is a theoretical model of the interesting part of Rust (by one of the core-developers). I don't think it's complete though.