Over the last few months I've been maintaining a custom fork of libGL, but a few weeks ago I hit a corruption bug that I couldn't solve and decided to essentially tear the whole thing apart and put it back together again
So, now it's *mostly* back together and it lives here: https://github.com/Kazade/GLdc
There are still outstanding features to implement, so I'm not recommending people just blindly switch over, but I would really appreciate if people could try it, and report bugs on GitHub (or even better, send me patches!)
There are a lot of bug fixes in this version compared to libGL, and it adheres more to the spec. The one thing you will need to do is swap glSwapBuffers with glKosSwapBuffers.