cs/Interface declaration system for Ruby. Good for object-oriented type declaration and checking. Written in C.