Mono в настоящее время планирует довольно большое обновление 1.1, оно не умерло. Если вам абсолютно необходимо что-то вроде привязок OpenGL 4.2, вы можете загрузить исходный код OpenTK и использовать его генератор для загрузки спецификационных файлов OpenGL 4.2 и создания новых привязок, а затем скомпилировать OpenTK для собственного использования. Если вы расширите класс GameWindow, у вас уже есть кроссплатформенный контекст и создание окон, это очень приятно.
OpenTK также имеет довольно солидную математическую библиотеку, а методы типа glUniformMatrix4fv() имеют перегрузки для OpenTK.Matrix4.
1 год на самом деле не делает проект неактивным, учитывая, что единственным вариантом для вас является Tao, который выпустил обновление в 2005 году и имеет жестко привязанные привязки только до OpenGL 2.1