Solar2D Box2D Corona Labs Inc. Kamibox Gunman Taco Truck Open-source video game C4 Engine Kynapse Video games and Linux Defold Stencyl GDevelop LWJGL Godot (game engine) Mobile app development List of formerly proprietary software List of game engines