A new library for implementing executable programming contracts for Elixir code is introduced. In addition to classical contract constructs such as pre- and post-conditions, the library permits e.g. to specify exceptional behaviour (i.e. which exceptions are thrown and under which conditions), and to associate timers with function calls to detect non- terminating or too slow computations.