A working-group project to extend the Rust language to support unwinding that crosses FFI boundaries

Working out the official, formal grammar for Rust and validating it against existing implementations.

A working-group project to extend the Rust language to support safe transmute between types

Working out the "Unsafe Code Guidelines", which define what kind of behavior unsafe code can and cannot do.