It comes from "Tom and Jerry". Source: I was there when the name was decided.

		sanxiyn on July 27, 2015 \| parent \| context \| favorite \| on: JerryScript – A JavaScript Engine for Internet of ... It comes from "Tom and Jerry". Source: I was there when the name was decided.