Established: June 6, 2013

Pex4Fun is a browser-based teaching and learning environment targeting teachers and students for introductory to advanced programming or software engineering courses. At the core of the platform is an automated grading engine based on symbolic execution. In Pex4Fun, teachers can create virtual classrooms, customize existing courses, and publish new learning material including learning games.

Pex for fun (opens in new tab)

Try it out on the web

Go to (opens in new tab), and click Learn (opens in new tab) to start tutorials.


Portrait of Peli de Halleux

Peli de Halleux

Principal Research Software Engineer