SETL, SET Language, was created by Prof. Jacob T. "Jack" Schwartz of the Courant Institute of Mathematical Sciences (CIMS) at New York University in 1969.

Jack's key observation was that one of the great accomplishments of mathematics in the past century was set theory. SETL provides an executable specification language for expressing algorithms at an abstract level using the theory of finite sets.

The purpose of this project is to produce a high-quality SETL compiler based on Python and written in Python. The project also aims to produce numerous examples of the use of SETL.