The workshop will start with a small intro on the tools, and we can go deeper into one or the other depending on the interest from the audience. Some developers of some tools mentioned above will be probably at the workshop, or available on IRC.