"Is this a virus?" Nope, this template and builds are not, unless you got them from a site that isn't GitHub or itch.io. "Why is it in JSON, and what is a JSON file?" https://en.wikipedia.org/wiki/JSON, and GDevelop doesn't have a custom file name for game project files, but Game Maker, Scratch, and others have their own custom.