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