| 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 |
| archivebox | Open source self-hosted web archiving |
| cyber | Fast, efficient, and concurrent scripting language |
| coqPackages.metacoq-utils | |
| _2048-cli-curses | Game 2048 for your Linux terminal |
| beam26Packages.elixir_1_14 | Functional, meta-programming aware language built on top of the Erlang VM |
| coqPackages.metacoq-quotation | |
| floorp-unwrapped | Fork of Firefox that seeks balance between versatility, privacy and web openness |
| gr-framework | GR framework is a graphics library for visualisation applications |
| gnat12 | GNU Compiler Collection, version 12.4.0 (wrapper script) |
| gpxsee-qt6 | GPS log file viewer and analyzer |
| gcc11 | GNU Compiler Collection, version 11.5.0 (wrapper script) |
| gcc9 | GNU Compiler Collection, version 9.5.0 (wrapper script) |
| freeimage | Open Source library for accessing popular graphics image file formats |
| gfortran12 | GNU Compiler Collection, version 12.4.0 (wrapper script) |
| gfortran11 | GNU Compiler Collection, version 11.5.0 (wrapper script) |
| gperf_3_0 | Perfect hash function generator |
| gcc12 | GNU Compiler Collection, version 12.4.0 (wrapper script) |
| gimp3Plugins.gmic | GIMP plugin for the G'MIC image processing framework |
| gnat11 | GNU Compiler Collection, version 11.5.0 (wrapper script) |
| f3d_egl | Fast and minimalist 3D viewer using VTK |
| gn_2233 | Meta-build system that generates build files for Ninja |
| gdc | GNU Compiler Collection, version 11.5.0 (wrapper script) |
| gcc10 | GNU Compiler Collection, version 10.5.0 (wrapper script) |
| gfortran9 | GNU Compiler Collection, version 9.5.0 (wrapper script) |
| glabels | Create labels and business cards |
| gnome-recipes | Recipe management application for GNOME |
| gfortran10 | GNU Compiler Collection, version 10.5.0 (wrapper script) |
| floorp | Fork of Firefox that seeks balance between versatility, privacy and web openness |
| jing | RELAX NG validator in Java |
| itpp | IT++ is a C++ library of mathematical, signal processing and communication classes and functions |