I might also use a few files from LD28 that I haven’t integrated into Colorado yet:

https://digitaldoge.duckdns.org/ld28/ld28-byte-raider/byte-raider-4.0.0-source.zip

Particularly vbo.lua and shader.lua which wrap some lower-level OpenGL stuff as Lua objects.