Uni seems free of proprietary bullshit (so far). I can use GCC and neovim for my CS class and Eduroam's auth script is libre. 🤘
It is a rather strange license, though... I had to read sure it to make sure it was libre. It's strangely verbose for something that could be a modified BSD 3-Clause license.
Pretty cool place for libre software loving nerds to hang out.