A framework that adds mixins, inversion of control, DbC, and other language features to the Common Language Runtime.