| wayfirePlugins.wayfire-shadows | Wayfire plugin that adds window shadows |
| xorg.xcbutil | |
| xorg.libxshmfence | |
| xorg.fontbhlucidatypewriter100dpi | |
| xorg.libXres | |
| virt-manager-qt | Desktop user interface for managing virtual machines (QT) |
| xorg.fontadobe100dpi | |
| xorg.fontbitstreamtype1 | |
| xorg.libxkbfile | |
| xorg.xev | |
| xorg.libWindowsWM | |
| xorg.xgc | |
| xorg.fontmuttmisc | |
| xorg.xfontsel | |
| xorg.fontbitstream75dpi | |
| xorg.viewres | |
| xorg.fontschumachermisc | |
| xorg.libXv | |
| xorg.libXdamage | |
| xorg.fontmicromisc | |
| xorg.fontmiscmeltho | |
| yubikey-personalization-gui | QT based cross-platform utility designed to facilitate reconfiguration of the Yubikey |
| xorg.lndir | |
| xorg.xcalc | |
| xorg.libXaw | |
| xorg.xcursorthemes | |
| xorg.libXp | |
| xorg.libXt | |
| xorg.fontdecmisc | |
| woof | Web Offer One File - Command-line utility to easily exchange files over a local network |
| xorg.libXpresent | |
| xorg.fontarabicmisc | |
| veriT | Open, trustable and efficient SMT-solver |
| xorg.mkfontdir | |
| xorg.libfontenc | |
| xorg.xmag | |
| xorg.libXfont2 | |
| wayfirePlugins.focus-request | Wayfire plugin provides a mechanism to grant focus to views that make a focus self-request |
| xorg.bdftopcf | |
| xorg.x11perf | |
| thunderbird-128-unwrapped | Full-featured e-mail client |
| xorg.xcursorgen | |
| xorg.libXext | |
| xorg.fontxfree86type1 | |
| transmission_3-qt | Fast, easy and free BitTorrent client (deprecated version 3) |
| xorg.xf86videorendition | |
| xorg.xmodmap | |
| xorg.libXi | |
| xorg.libXtst | |
| xorg.fontsunmisc | |
| xorg.xkill | |
| xorg.xcbutilerrors | |
| xorg.fontbitstream100dpi | |
| autoconf213 | Part of the GNU Build System |
| bitbucket-server-cli | Command line interface to interact with BitBucket Server (formerly Atlassian Stash) |
| _0verkill | ASCII-ART bloody 2D action deathmatch-like game |
| coq_8_6 | Coq proof assistant |
| beamMinimal27Packages.erlang-ls | Erlang Language Server |
| apacheKafka_3_7 | High-throughput distributed messaging system |
| artim-dark | Dark theme deeply inspired by the Ayu Dark color palette |
| coqPackages.metacoq | |
| cardboard | Scrollable, tiling Wayland compositor inspired on PaperWM |
| coqPackages.ElmExtraction | A framework for extracting Coq programs to Elm |
| dovecot_fts_xapian | Dovecot FTS plugin based on Xapian |
| agdaPackages.generic | A library for doing generic programming in Agda |
| docker-sync | Run your application at full speed while syncing your code for development |
| elementsd-simplicity | Open Source implementation of advanced blockchain features extending the Bitcoin protocol |
| coqPackages.metacoq-safechecker-plugin | |
| apacheKafka_3_8 | High-throughput distributed messaging system |
| beamMinimal26Packages.elixir_1_14 | Functional, meta-programming aware language built on top of the Erlang VM |
| _2048-cli | Game 2048 for your Linux terminal |
| coqPackages.metacoq-erasure-plugin | |
| coqPackages.metacoq-common | |
| ci-edit | Terminal text editor with mouse support and ctrl+Q to quit |
| coq_8_5 | Coq proof assistant |
| beamMinimal26Packages.erlang-ls | Erlang Language Server |
| coqPackages.jasmin | Jasmin language & verified compiler |
| bitcoind-abc | Peer-to-peer electronic cash system (Cash client) |
| coqPackages.metacoq-safechecker | |
| cloudlogoffline | Offline frontend for Cloudlog |
| beam27Packages.erlang-ls | Erlang Language Server |
| coqPackages.metacoq-template-coq | |
| coqPackages.metacoq-erasure | |
| coqPackages.metacoq-pcuic | |
| cudaPackages_11.saxpy | Simple (Single-precision AX Plus Y) FindCUDAToolkit.cmake example for testing cross-compilation |
| coqPackages.metacoq-translations | |
| beam26Packages.erlang-ls | Erlang Language Server |
| deepin.deepin-gtk-theme | Deepin GTK Theme |
| bullet-roboschool | Professional free 3D Game Multiphysics Library |
| dfilemanager | File manager written in Qt/C++ |
| colorstorm | Color theme generator for editors and terminal emulators |
| dsd | Digital Speech Decoder |
| catch | Multi-paradigm automated test framework for C++ and Objective-C (and, maybe, C) |
| bitcoin-abc | Peer-to-peer electronic cash system (Cash client) |
| avr-sim | AVR assembler simulator for the stepwise execution of assembler source code - with many extras |
| botan2 | Cryptographic algorithms library |
| coqPackages.RustExtraction | A framework for extracting Coq programs to Rust |
| coqPackages.metacoq-template-pcuic | |
| antlr4_8 | Powerful parser generator |
| blas-reference | Basic Linear Algebra Subprograms |