SSealbook

rust-lang/miri

An interpreter for Rust's mid-level intermediate representation

License & maintenance

Apache-2.0 is a permissive license: free to use commercially with attribution.

Last code push today.