ISAC, aka ISAbelle for Calculations in applied mathematics, is a programming language created in 2003.