 The IT University of Copenhagen's entire enterprise architecture is implemented in around 100,000 lines of SML, including staff records, payroll, course administration and feedback, student project management, and web-based self-service interfaces.The Isabelle proof assistant is written in SML.SML is widely used in-house by compiler and chip designers, for example by ARM.