We have several screencasts that show how to use Hawk and work on its code:
Hawk has been at the core of a long series of papers. These are listed in chronological order (from oldest to newest):