| lemminx | XML Language Server |
| maven | Build automation tool (used primarily for Java projects) |
| languagetool | Proofreading program for English, French German, Polish, and more |
| ktlint | Anti-bikeshedding Kotlin linter with built-in formatter |
| keycloak | Identity and access management for modern applications and services |
| lavalink | Standalone audio sending node based on Lavaplayer and Koe |
| maven3 | Build automation tool (used primarily for Java projects) |
| key | Java formal verification tool |
| leiningen | Project automation for Clojure |
| kotlin-interactive-shell | Kotlin Language Interactive Shell |
| megabasterd | Yet another unofficial (and ugly) cross-platform MEGA downloader/uploader/streaming suite |
| ltex-ls-plus | LSP language server for LanguageTool |
| komga | Free and open source comics/mangas server |
| marytts | Open-source, multilingual text-to-speech synthesis system written in pure Java |
| ltex-ls | LSP language server for LanguageTool |
| karate | API Test Automation Made Simple |
| ktfmt | Program that reformats Kotlin source code to comply with the common community standard for Kotlin code conventions |
| kamilalisp | Functional, flexible, and concise Lisp |
| openjdk17 | Open-source Java Development Kit |
| openrefine | Power tool for working with messy data and improving it |
| openjump | Open source Geographic Information System (GIS) written in the Java programming language |
| ocis_5-bin | ownCloud Infinite Scale Stack |
| openjdk25_headless | Open-source Java Development Kit |
| openjdk21_headless | Open-source Java Development Kit |
| openjdk17_headless | Open-source Java Development Kit |
| openrocket | Model-rocketry aerodynamics and trajectory simulation software |
| openjdk | Open-source Java Development Kit |
| openjdk_headless | Open-source Java Development Kit |
| open-pdf-sign | Digitally sign PDF files from your commandline |
| pakku | Multiplatform modpack manager for Minecraft: Java Edition |
| openjdk25 | Open-source Java Development Kit |
| openjdk21 | Open-source Java Development Kit |
| openapi-generator-cli | Allows generation of API client libraries (SDK generation), server stubs and documentation automatically given an OpenAPI Spec |
| polylith | Tool used to develop Polylith based architectures in Clojure |
| projectlibre | Project-Management Software similar to MS-Project |
| protoc-gen-grpc-java | gRPC Java Codegen Plugin for Protobuf Compiler |
| reposilitePlugins.groovy | Groovy plugin for Reposilite. |
| sbcl | Common Lisp compiler |
| reposilitePlugins.checksum | Checksum plugin for Reposilite. |
| reptyr | Reparent a running program to a new terminal |
| reposilitePlugins.prometheus | Prometheus plugin for Reposilite. |
| s3proxy | Access other storage backends via the S3 API |
| reposilite | Lightweight and easy-to-use repository management software dedicated for the Maven based artifacts in the JVM ecosystem |
| reposilitePlugins.swagger | Swagger plugin for Reposilite. |
| reposilitePlugins.migration | Migration plugin for Reposilite. |
| slipstream | Mod manager for FTL: Faster Than Light |
| tomcat9 | Implementation of the Java Servlet and JavaServer Pages technologies |
| sonarlint-ls | Sonarlint language server |
| tmpi | Run a parallel command inside a split tmux window |
| sqlline | Shell for issuing SQL to relational databases via JDBC |
| shen-sbcl | Port of Shen running on Steel Bank Common Lisp |
| sbcl_2_4_6 | Common Lisp compiler |
| suwayomi-server | Free and open source manga reader server that runs extensions built for Mihon (Tachiyomi) |
| stirling-pdf | Locally hosted web application that allows you to perform various operations on PDF files |
| tomcat | Implementation of the Java Servlet and JavaServer Pages technologies |
| tika | Toolkit for extracting metadata and text from over a thousand different file types |
| tomcat10 | Implementation of the Java Servlet and JavaServer Pages technologies |
| sbcl_2_5_10 | Common Lisp compiler |
| sbcl_2_6_0 | Common Lisp compiler |
| schemaspy | Document your database simply and easily |
| tomcat11 | Implementation of the Java Servlet and JavaServer Pages technologies |
| yed | Powerful desktop application that can be used to quickly and effectively generate high-quality diagrams |
| verapdf | Command line and GUI industry supported PDF/A and PDF/UA Validation |
| trimmomatic | Flexible read trimming tool for Illumina NGS data |
| wiremock | Flexible tool for building mock APIs |
| bitsnpicas | Bitmap and emoji font creation and conversion tools |
| librandombytes | Simple API for applications generating fresh randomness |
| lib25519 | Simple API for applications generating fresh randomness |
| libcpucycles | Microlibrary for counting CPU cycles |
| uwuify | Fast text uwuifier |
| blas-ilp64 | openblas with just the BLAS C and FORTRAN ABI |
| blas | openblas with just the BLAS C and FORTRAN ABI |
| lapack | openblas with just the LAPACK C and FORTRAN ABI |
| mir | Display server and Wayland compositor developed by Canonical |
| lapack-ilp64 | openblas with just the LAPACK C and FORTRAN ABI |
| mir_2_15 | Display server and Wayland compositor developed by Canonical |
| openblasCompat | Basic Linear Algebra Subprograms |
| openblas | Basic Linear Algebra Subprograms |
| polkadot | Implementation of a https://polkadot.network node in Rust based on the Substrate framework |
| nixseparatedebuginfod | Downloads and provides debug symbols and source code for nix derivations to gdb and other debuginfod-capable debuggers as needed |
| sonusmix | Next-gen Pipewire audio routing tool |
| watershot | Simple wayland native screenshot tool |
| eidolon | Single TUI-based registry for drm-free, wine and steam games on linux, accessed through a rofi launch menu |
| greetd.wlgreet | Raw wayland greeter for greetd, to be run under sway or similar |
| greetd.regreet | Clean and customizable greeter for greetd |
| greetd.greetd | Minimal and flexible login manager daemon |
| greetd.tuigreet | Graphical console greeter for greetd |
| libunwind | Portable and efficient API to determine the call-chain of a program |
| python312Packages.hpccm | HPC Container Maker |
| break-time | Break timer that forces you to take a break |
| cwe-client-cli | Simple command line client for CWE |
| wlx-overlay-s | Wayland/X11 desktop overlay for SteamVR and OpenXR, Vulkan edition |
| wayvr-dashboard | Work-in-progress overlay application for launching various applications and games directly into a VR desktop environment |
| below | Time traveling resource monitor for modern Linux systems |
| asahi-btsync | Tool to sync Bluetooth pairing keys with macos on ARM Macs |
| bark | Live sync audio streaming for local networks |
| deqp-runner | VK-GL-CTS/dEQP wrapper program to parallelize it across CPUs and report results against a baseline |
| cosmic-randr | Library and utility for displaying and configuring Wayland outputs |
| clapboard | Wayland clipboard manager that will make you clap |
| cosmic-panel | Panel for the COSMIC Desktop Environment |