CATs are implemented in a turing complete language called Chialisp https://chialisp.com/docs/puzzles/cats/