Description: Docker is an open platform for developing, shipping, and running applications. It allows developers to package applications into containers—standardized executable components combining application source code with the operating system (OS) libraries and dependencies required to run that code in any environment.
Type: software
Pricing: Free
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