Description: Gummi is a LaTeX editor designed for GNU/Linux. It features syntax highlighting, spell checking, image insertion, code completion, and more. Overall, it aims to provide an editor for LaTeX focused on productivity and ease of use.
Type: software
Pricing: Open Source
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