The Magic the Gathering Comprehensive Rules are a fun read: https://blogs.magicjudges.org/rules/cr/

It's in English rather than computer code, but it sets out the data model and game loop in a way that should feel pretty familiar to programmers.