Some tools for the OpenTK framework