Haskell
Every expression in Haskell has a type that is determined at compile time. All the types composed together by function application have to match up. If they don't, the program will be rejected by the compiler. Types become not only a form of guarantee, but a language for expressing the construction of programs. Every function in Haskell is a function in the mathematical sense (i.e., "pure"). Even side-effecting IO operations are but a description of what to do, produced by pure code. There are no statements or instructions, only expressions that cannot mutate variables (local or global) nor access state like time or random numbers. You don't have to explicitly write out every type in a Haskell program. Types will be inferred by unifying every type bidirectionally. However, you can write out types if you choose, or ask the compiler to write them for you for handy documentation.
Learn more
Guix
Guix is an advanced distribution of the GNU operating system developed by the GNU Project—which respects the freedom of computer users. Guix supports transactional upgrades and roll-backs, unprivileged package management, and more. When used as a standalone distribution, Guix supports declarative system configuration for transparent and reproducible operating systems. It provides Guile Scheme APIs, including high-level embedded domain-specific languages (EDSLs) to define packages and whole-system configurations. Guix comes with thousands of packages which include applications, system tools, documentation, fonts, and other digital goods readily available for installing with the GNU Guix package manager.
Learn more
Synaptic
Synaptic is a graphical package management program for apt. It provides the same features as the apt-get command-line utility with a GUI front-end based on Gtk+. Install, remove, upgrade and downgrade single and multiple packages. Upgrade your whole system. Manage package repositories (sources.list). Find packages by name, description, and several other attributes. Select packages by status, section, name, or a custom filter. Sort packages by name, status, size, or version. Browse all available online documentation related to a package. Download the latest changelog of a package. Lock packages to the current version. Force the installation of a specific package version. Undo/Redo selections. Built-in terminal emulator for the package manager. Debian/Ubuntu only, configure packages through the debconf system. Debian/Ubuntu only, Xapain-based fast search (thanks to Enrico Zini).
Learn more
Posit
Posit builds tools that help data scientists work more efficiently, collaborate seamlessly, and share insights securely across their organizations. Its Positron code editor provides the speed of an interactive console combined with the power to build, debug, and deploy data-science workflows in Python and R. Posit’s platform enables teams to scale open-source data science, offering enterprise-ready capabilities for publishing, sharing, and operationalizing applications. Companies rely on Posit’s secure infrastructure to host Shiny apps, dashboards, APIs, and analytical reports with confidence. Whether using open-source packages or cloud-based solutions, Posit supports reproducible, high-quality work at every stage of the data lifecycle. Trusted by millions of users—and more than half of the Fortune 100—Posit empowers professionals across industries to innovate with data.
Learn more
