These commercial and proprietary video games have had their source code made available to the public by the developers, pursuant to the specified software license.