An optimizing, functional SSA-based compiler written in Rust hosting a frontend, intermediate transformations and a backend. The compiler utilizes the GVN_PRE transformation to optimize programs in SSA form, and an SMT solver for register allocation.

Lossless file compression algorithms implemented in Rust.