There is one from the market leader, it's called GNAT and it's part of the GCC: ...

		jk4930 on March 30, 2012 \| parent \| context \| favorite \| on: Rust 0.2 released There is one from the market leader, it's called GNAT and it's part of the GCC: http://libre.adacore.com/libre/