I am pleased to announce a new Eiffel tool that is able to convert (or wrap) Objective-C frameworks to Eiffel.
I've been working on this during my master thesis at Eiffel Software and, although not completely ready for development in the software industry (there are still several manual settings/details that might be improved), we're going to release a public beta soon.