Game Development Extensions Game Development Extensions, a battle-tested library of game-ready high-performance C# code.