| packages/nixpkgs/xorg.xcursorthemes | |
| packages/nixpkgs/xorg.libXp | |
| packages/nixpkgs/xorg.libXt | |
| packages/nixpkgs/xorg.fontdecmisc | |
| packages/nixpkgs/woof | Web Offer One File - Command-line utility to easily exchange files over a local network |
| packages/nixpkgs/xorg.libXpresent | |
| packages/nixpkgs/xorg.fontarabicmisc | |
| packages/nixpkgs/veriT | Open, trustable and efficient SMT-solver |
| packages/nixpkgs/xorg.mkfontdir | |
| packages/nixpkgs/xorg.libfontenc | |
| packages/nixpkgs/xorg.xmag | |
| packages/nixpkgs/xorg.libXfont2 | |
| packages/nixpkgs/wayfirePlugins.focus-request | Wayfire plugin provides a mechanism to grant focus to views that make a focus self-request |
| packages/nixpkgs/xorg.bdftopcf | |
| packages/nixpkgs/xorg.x11perf | |
| packages/nixpkgs/thunderbird-128-unwrapped | Full-featured e-mail client |
| packages/nixpkgs/xorg.xcursorgen | |
| packages/nixpkgs/xorg.libXext | |
| packages/nixpkgs/xorg.fontxfree86type1 | |
| packages/nixpkgs/transmission_3-qt | Fast, easy and free BitTorrent client (deprecated version 3) |
| packages/nixpkgs/xorg.xf86videorendition | |
| packages/nixpkgs/xorg.xmodmap | |
| packages/nixpkgs/xorg.libXi | |
| packages/nixpkgs/xorg.libXtst | |
| packages/nixpkgs/xorg.fontsunmisc | |
| packages/nixpkgs/xorg.xkill | |
| packages/nixpkgs/xorg.xcbutilerrors | |
| packages/nixpkgs/xorg.fontbitstream100dpi | |
| packages/nixpkgs/autoconf213 | Part of the GNU Build System |
| packages/nixpkgs/bitbucket-server-cli | Command line interface to interact with BitBucket Server (formerly Atlassian Stash) |
| packages/nixpkgs/_0verkill | ASCII-ART bloody 2D action deathmatch-like game |
| packages/nixpkgs/coq_8_6 | Coq proof assistant |
| packages/nixpkgs/beamMinimal27Packages.erlang-ls | Erlang Language Server |
| packages/nixpkgs/apacheKafka_3_7 | High-throughput distributed messaging system |
| packages/nixpkgs/artim-dark | Dark theme deeply inspired by the Ayu Dark color palette |
| packages/nixpkgs/coqPackages.metacoq | |
| packages/nixpkgs/cardboard | Scrollable, tiling Wayland compositor inspired on PaperWM |
| packages/nixpkgs/coqPackages.ElmExtraction | A framework for extracting Coq programs to Elm |
| packages/nixpkgs/dovecot_fts_xapian | Dovecot FTS plugin based on Xapian |
| packages/nixpkgs/agdaPackages.generic | A library for doing generic programming in Agda |
| packages/nixpkgs/docker-sync | Run your application at full speed while syncing your code for development |
| packages/nixpkgs/elementsd-simplicity | Open Source implementation of advanced blockchain features extending the Bitcoin protocol |
| packages/nixpkgs/coqPackages.metacoq-safechecker-plugin | |
| packages/nixpkgs/apacheKafka_3_8 | High-throughput distributed messaging system |
| packages/nixpkgs/beamMinimal26Packages.elixir_1_14 | Functional, meta-programming aware language built on top of the Erlang VM |
| packages/nixpkgs/_2048-cli | Game 2048 for your Linux terminal |
| packages/nixpkgs/coqPackages.metacoq-erasure-plugin | |
| packages/nixpkgs/coqPackages.metacoq-common | |
| packages/nixpkgs/ci-edit | Terminal text editor with mouse support and ctrl+Q to quit |
| packages/nixpkgs/coq_8_5 | Coq proof assistant |
| packages/nixpkgs/beamMinimal26Packages.erlang-ls | Erlang Language Server |
| packages/nixpkgs/coqPackages.jasmin | Jasmin language & verified compiler |
| packages/nixpkgs/bitcoind-abc | Peer-to-peer electronic cash system (Cash client) |
| packages/nixpkgs/coqPackages.metacoq-safechecker | |
| packages/nixpkgs/cloudlogoffline | Offline frontend for Cloudlog |
| packages/nixpkgs/beam27Packages.erlang-ls | Erlang Language Server |
| packages/nixpkgs/coqPackages.metacoq-template-coq | |
| packages/nixpkgs/coqPackages.metacoq-erasure | |
| packages/nixpkgs/coqPackages.metacoq-pcuic | |
| packages/nixpkgs/cudaPackages_11.saxpy | Simple (Single-precision AX Plus Y) FindCUDAToolkit.cmake example for testing cross-compilation |
| packages/nixpkgs/coqPackages.metacoq-translations | |
| packages/nixpkgs/beam26Packages.erlang-ls | Erlang Language Server |
| packages/nixpkgs/deepin.deepin-gtk-theme | Deepin GTK Theme |
| packages/nixpkgs/bullet-roboschool | Professional free 3D Game Multiphysics Library |
| packages/nixpkgs/dfilemanager | File manager written in Qt/C++ |
| packages/nixpkgs/colorstorm | Color theme generator for editors and terminal emulators |
| packages/nixpkgs/dsd | Digital Speech Decoder |
| packages/nixpkgs/catch | Multi-paradigm automated test framework for C++ and Objective-C (and, maybe, C) |
| packages/nixpkgs/bitcoin-abc | Peer-to-peer electronic cash system (Cash client) |
| packages/nixpkgs/avr-sim | AVR assembler simulator for the stepwise execution of assembler source code - with many extras |
| packages/nixpkgs/botan2 | Cryptographic algorithms library |
| packages/nixpkgs/coqPackages.RustExtraction | A framework for extracting Coq programs to Rust |
| packages/nixpkgs/coqPackages.metacoq-template-pcuic | |
| packages/nixpkgs/antlr4_8 | Powerful parser generator |
| packages/nixpkgs/blas-reference | Basic Linear Algebra Subprograms |
| packages/nixpkgs/archivebox | Open source self-hosted web archiving |
| packages/nixpkgs/cyber | Fast, efficient, and concurrent scripting language |
| packages/nixpkgs/coqPackages.metacoq-utils | |
| packages/nixpkgs/_2048-cli-curses | Game 2048 for your Linux terminal |
| packages/nixpkgs/beam26Packages.elixir_1_14 | Functional, meta-programming aware language built on top of the Erlang VM |
| packages/nixpkgs/coqPackages.metacoq-quotation | |
| packages/nixpkgs/floorp-unwrapped | Fork of Firefox that seeks balance between versatility, privacy and web openness |
| packages/nixpkgs/gr-framework | GR framework is a graphics library for visualisation applications |
| packages/nixpkgs/gnat12 | GNU Compiler Collection, version 12.4.0 (wrapper script) |
| packages/nixpkgs/gpxsee-qt6 | GPS log file viewer and analyzer |
| packages/nixpkgs/gcc11 | GNU Compiler Collection, version 11.5.0 (wrapper script) |
| packages/nixpkgs/gcc9 | GNU Compiler Collection, version 9.5.0 (wrapper script) |
| packages/nixpkgs/freeimage | Open Source library for accessing popular graphics image file formats |
| packages/nixpkgs/gfortran12 | GNU Compiler Collection, version 12.4.0 (wrapper script) |
| packages/nixpkgs/gfortran11 | GNU Compiler Collection, version 11.5.0 (wrapper script) |
| packages/nixpkgs/gperf_3_0 | Perfect hash function generator |
| packages/nixpkgs/gcc12 | GNU Compiler Collection, version 12.4.0 (wrapper script) |
| packages/nixpkgs/gimp3Plugins.gmic | GIMP plugin for the G'MIC image processing framework |
| packages/nixpkgs/gnat11 | GNU Compiler Collection, version 11.5.0 (wrapper script) |
| packages/nixpkgs/f3d_egl | Fast and minimalist 3D viewer using VTK |
| packages/nixpkgs/gn_2233 | Meta-build system that generates build files for Ninja |
| packages/nixpkgs/gdc | GNU Compiler Collection, version 11.5.0 (wrapper script) |
| packages/nixpkgs/gcc10 | GNU Compiler Collection, version 10.5.0 (wrapper script) |
| packages/nixpkgs/gfortran9 | GNU Compiler Collection, version 9.5.0 (wrapper script) |
| packages/nixpkgs/glabels | Create labels and business cards |