Description: Haskell is a statically typed, purely functional programming language known for its strong static type system, sophisticated type inference, and non-strict evaluation. It is used in education, academia, and some commercial applications.
Type: software
Description: MathType is a powerful interactive equation editor for Windows and Mac that lets you create mathematical notation for word processing, web pages, desktop publishing, presentations, elearning, and for TeX, LaTeX, and MathML documents. It has an intuitive graphical interface allowing you to type or handwrite equations.
Type: software