moguro (rubygems): Decorator style assertions and type check library for Contract programming.
Keywords: contracts-programming|ruby|typechecker