Well that’s a good list to get you started!
There’s plenty other #FOSS #gamedev gems which I haven’t mentioned here, but again check https://t.co/DkPo9YGa8J for more options (even awesome-gamedev is not exhaustive, but feel free to contribute what’s missing!).