Besides the other GUI libraries people have mentioned, there is also Eto: https://github.com/picoe/Eto