It's nice to see Eiffel (BTW, a programming language, not a library as you state) come to the Mac. I've been using OT Eiffel for the Mac for the past few beta versions, and it works quite well. The Eiffel language is safer than C++ and supports solid software engineering principles and a more powerful O-O model.