 An automatic sudoku solver.

-P type
 An interactive sudoku playing app. S-type
 A student calendar app with scheduled lectures. S-type
 The Barchester City Council Parking System (p. 9).
 Untappd (a social network that tracks which beer you drank and shares it to your friends).
 Canvas (the learning management software system used by UTwente).
 A PDF reader.
 A compiler for a textual programming language like Java.
 A compiler for a graphical modelling language like UML.
 An augmented reality set.