Pragma is a back-end toolkit for gaming companies, so game developers can focus