Pragma is a company that creates a back-end toolkit for gaming companies so their developers can focus on making games. Pragma provides a toolkit that includes accounts, player data, lobbies, matchmaking, social systems, telemetry and store fulfillment.