Library frenetic

The entry point for this library is module Frenetic.