| packages/nixpkgs/ubootQemuRiscv64Smode | Boot loader for embedded systems |
| packages/nixpkgs/ubootVisionFive2 | Boot loader for embedded systems |
| packages/nixpkgs/opensbi | RISC-V Open Source Supervisor Binary Interface |
| packages/nixpkgs/crosvm | Secure virtual machine monitor for KVM |
| packages/nixpkgs/cloud-hypervisor | Open source Virtual Machine Monitor (VMM) that runs on top of KVM |
| packages/nixpkgs/libkrunfw | Dynamic library bundling the guest payload consumed by libkrun |
| packages/nixpkgs/libkrun | Dynamic library providing Virtualization-based process isolation capabilities |
| packages/nixpkgs/krunvm | CLI-based utility for creating microVMs from OCI images |
| packages/nixpkgs/muvm | Run programs from your system in a microVM |
| packages/nixpkgs/m2-mesoplanet | Macro Expander Saving Our m2-PLANET |
| packages/nixpkgs/mescc-tools | Collection of tools written for use in bootstrapping |
| packages/nixpkgs/mescc-tools-extra | Collection of tools written for use in bootstrapping |
| packages/nixpkgs/m2libc | More standards compliant C library written in M2-Planet's C subset |
| packages/nixpkgs/m2-planet | PLAtform NEutral Transpiler |
| packages/nixpkgs/temurin-bin-24 | Eclipse Temurin, prebuilt OpenJDK binary |
| packages/nixpkgs/temurin-bin-23 | Eclipse Temurin, prebuilt OpenJDK binary |
| packages/nixpkgs/temurin-jre-bin-23 | Eclipse Temurin, prebuilt OpenJDK binary |
| packages/nixpkgs/temurin-jre-bin-24 | Eclipse Temurin, prebuilt OpenJDK binary |
| packages/nixpkgs/himitsu-firefox | Himitsu integration for Firefox |
| packages/nixpkgs/python312Packages.debugpy | Implementation of the Debug Adapter Protocol for Python |
| packages/nixpkgs/coqPackages.compcert | Formally verified C compiler |
| packages/nixpkgs/box64 | Lets you run x86_64 Linux programs on non-x86_64 Linux systems |
| packages/nixpkgs/compcert | Formally verified C compiler |
| packages/nixpkgs/hareThirdParty.hare-ev | Event loop for Hare programs |
| packages/nixpkgs/hareThirdParty.hare-ssh | SSH client & server protocol implementation for Hare |
| packages/nixpkgs/harec | Bootstrapping Hare compiler written in C for POSIX systems |
| packages/nixpkgs/hareThirdParty.hare-json | This package provides JSON support for Hare |
| packages/nixpkgs/hareThirdParty.hare-toml | TOML implementation for Hare |
| packages/nixpkgs/hareThirdParty.hare-compress | Compression algorithms for Hare |
| packages/nixpkgs/hareHook | Setup hook for the Hare compiler |
| packages/nixpkgs/hare | Systems programming language designed to be simple, stable, and robust |
| packages/nixpkgs/haredoc | Hare's documentation tool |
| packages/nixpkgs/haredo | Simple and unix-idiomatic build automator |
| packages/nixpkgs/hareThirdParty.hare-png | PNG implementation for Hare |
| packages/nixpkgs/temurin-jre-bin-25 | Eclipse Temurin, prebuilt OpenJDK binary |
| packages/nixpkgs/temurin-jre-bin | Eclipse Temurin, prebuilt OpenJDK binary |
| packages/nixpkgs/temurin-bin | Eclipse Temurin, prebuilt OpenJDK binary |
| packages/nixpkgs/temurin-bin-21 | Eclipse Temurin, prebuilt OpenJDK binary |
| packages/nixpkgs/swt | A widget toolkit for Java to access the user-interface facilities of
the operating systems on which it is implemented.
|
| packages/nixpkgs/temurin-jre-bin-21 | Eclipse Temurin, prebuilt OpenJDK binary |
| packages/nixpkgs/temurin-bin-25 | Eclipse Temurin, prebuilt OpenJDK binary |
| packages/nixpkgs/treecat | Serialize a directory to a tree diagram, and vice versa |
| packages/nixpkgs/javaPackages.compiler.temurin-bin.jdk-25 | Eclipse Temurin, prebuilt OpenJDK binary |
| packages/nixpkgs/javaPackages.compiler.temurin-bin.jre-21 | Eclipse Temurin, prebuilt OpenJDK binary |
| packages/nixpkgs/himitsu | Secret storage manager |
| packages/nixpkgs/javaPackages.compiler.temurin-bin.jdk-21 | Eclipse Temurin, prebuilt OpenJDK binary |
| packages/nixpkgs/javaPackages.compiler.temurin-bin.jre-25 | Eclipse Temurin, prebuilt OpenJDK binary |
| packages/nixpkgs/python313Packages.debugpy | Implementation of the Debug Adapter Protocol for Python |
| packages/nixpkgs/python314Packages.debugpy | Implementation of the Debug Adapter Protocol for Python |
| packages/nixpkgs/riscv-pk | RISC-V Proxy Kernel and Bootloader |
| packages/nixpkgs/corretto21 | Amazon's distribution of OpenJDK |
| packages/nixpkgs/corretto25 | Amazon's distribution of OpenJDK |
| packages/nixpkgs/corretto17 | Amazon's distribution of OpenJDK |
| packages/nixpkgs/grub2_efi | GNU GRUB, the Grand Unified Boot Loader |
| packages/nixpkgs/sportstracker | Desktop application for people who want to record and analyze their sporting activities |
| packages/nixpkgs/scenebuilder | Visual, drag'n'drop, layout tool for designing JavaFX application user interfaces |
| packages/nixpkgs/javaPackages.compiler.corretto25 | Amazon's distribution of OpenJDK |
| packages/nixpkgs/javaPackages.compiler.corretto17 | Amazon's distribution of OpenJDK |
| packages/nixpkgs/hmcl | Minecraft Launcher which is multi-functional, cross-platform and popular |
| packages/nixpkgs/javaPackages.compiler.corretto21 | Amazon's distribution of OpenJDK |
| packages/nixpkgs/cgoban | Client for the KGS Go Server |
| packages/nixpkgs/temurin-jre-bin-17 | Eclipse Temurin, prebuilt OpenJDK binary |
| packages/nixpkgs/temurin-bin-17 | Eclipse Temurin, prebuilt OpenJDK binary |
| packages/nixpkgs/javaPackages.compiler.temurin-bin.jdk-17 | Eclipse Temurin, prebuilt OpenJDK binary |
| packages/nixpkgs/javaPackages.compiler.temurin-bin.jre-17 | Eclipse Temurin, prebuilt OpenJDK binary |
| packages/nixpkgs/javaPackages.compiler.openjdk17-bootstrap | Eclipse Temurin, prebuilt OpenJDK binary |
| packages/nixpkgs/openjdk17-bootstrap | Eclipse Temurin, prebuilt OpenJDK binary |
| packages/nixpkgs/atlassian-cli | Integrated family of CLI’s for various Atlassian applications |
| packages/nixpkgs/jdk23_headless | Open-source Java Development Kit |
| packages/nixpkgs/jdk24_headless | Open-source Java Development Kit |
| packages/nixpkgs/jdk24 | Open-source Java Development Kit |
| packages/nixpkgs/jdk23 | Open-source Java Development Kit |
| packages/nixpkgs/jetbrains.jdk-no-jcef-17 | OpenJDK fork which better supports Jetbrains's products |
| packages/nixpkgs/dbqn | BQN implementation in Java |
| packages/nixpkgs/burpsuite | Integrated platform for performing security testing of web applications |
| packages/nixpkgs/calcoo | RPN and algebraic scientific calculator |
| packages/nixpkgs/dapl | APL implementation in Java |
| packages/nixpkgs/appfire-cli | Integrated family of CLIs for Atlassian, Atlassian-related, and other applications |
| packages/nixpkgs/apgdiff | Another PostgreSQL diff tool |
| packages/nixpkgs/anyk | Tool for filling forms for the Hungarian government |
| packages/nixpkgs/checkstyle | Checks Java source against a coding standard |
| packages/nixpkgs/commafeed | Google Reader inspired self-hosted RSS reader |
| packages/nixpkgs/detekt | Static code analysis for Kotlin |
| packages/nixpkgs/clanlib | Cross platform toolkit library with a primary focus on game creation |
| packages/nixpkgs/dependency-track | Intelligent Component Analysis platform that allows organizations to identify and reduce risk in the software supply chain |
| packages/nixpkgs/ballerina | Open-source programming language for the cloud |
| packages/nixpkgs/bundletool | Command-line tool to manipulate Android App Bundles |
| packages/nixpkgs/dita-ot | Open-source publishing engine for content authored in the Darwin Information Typing Architecture |
| packages/nixpkgs/feyngame | Java-based graphical tool for drawing Feynman diagrams |
| packages/nixpkgs/global-platform-pro | Command-line utility for managing applets and keys on Java Cards |
| packages/nixpkgs/fastddsgen | Fast-DDS IDL code generator tool |
| packages/nixpkgs/gephi | Platform for visualizing and manipulating large graphs |
| packages/nixpkgs/fop | XML formatter driven by XSL Formatting Objects (XSL-FO) |
| packages/nixpkgs/flix | Flix Programming Language |
| packages/nixpkgs/gradle-dependency-tree-diff | Intelligent diff tool for the output of Gradle's dependencies task |
| packages/nixpkgs/exificient | Java implementation of the W3C Efficient Extensible Interchange (EXI) format specification |
| packages/nixpkgs/forge-mtg | Magic: the Gathering card game with rules enforcement |
| packages/nixpkgs/graphwar | Artillery game in which you must hit your enemies using mathematical functions |
| packages/nixpkgs/gprojector | G |
| packages/nixpkgs/tomcat10 | Implementation of the Java Servlet and JavaServer Pages technologies |