A kind of Nomic in which the the rules are expressed in some programming language, and enforce themselves.
Examples:
