Thanks! I used Raylib, actually. The levels were built with Tiled, and rendered procedurally with Raylib's rlgl API. That way, I didn't actually have to 3D model the maps, and it generates some fairly complex scenery.