| haskellPackages.PropLogic | Propositional Logic |
| cp210x-program | EEPROM tool for Silabs CP210x USB-Serial adapter |
| texlivePackages.program | Typesetting programs and algorithms |
| haskellPackages.program | Programs with Environments and Managed Resources |
| haskellPackages.sbv-program | Component-based program synthesis using SBV |
| emacsPackages.choice-program | |
| haskellPackages.core-program | Opinionated Haskell Interoperability |
| haskellPackages.tasty-program | Use tasty framework to test whether a program executes correctly |
| haskellPackages.console-program | Interpret the command line and a config file as commands and options |
| dfu-programmer | Device Firmware Update based USB programmer for Atmel chips with a USB bootloader |
| haskellPackages.test-framework-program | Test framework support for running simple test programs |
| python312Packages.llama-index-program-openai | LlamaIndex Program Integration for OpenAI |
| python313Packages.llama-index-program-openai | LlamaIndex Program Integration for OpenAI |
| akkuPackages.r6rs-programs | Port of (rnrs programs) to R7RS |
| haskellPackages.cabal-build-programs | Adds executable dependencies to the Cabal build |
| programmer-calculator | Terminal calculator for programmers |
| emacsPackages.programmer-dvorak | |
| rPackages.statprograms | |
| haskellPackages.kmn-programming | K_M,N quadratic programming |
| haskellPackages.math-programming | A library for formulating and solving math programs |
| haskellPackages.math-programming-glpk | A GLPK backend to the math-programming library |
| haskellPackages.linear-programming | Linear Programming basic definitions |
| haskellPackages.math-programming-tests | Utility functions for testing implementations of the math-programming library |
| texlivePackages.apprendre-a-programmer-en-tex | The book "Apprendre a programmer en TeX" |
| emacsPackages.competitive-programming-snippets | |
| python313Packages.sphinxcontrib-programoutput | Sphinx extension to include program output |
| python314Packages.sphinxcontrib-programoutput | Sphinx extension to include program output |
| python312Packages.sphinxcontrib-programoutput | Sphinx extension to include program output |
| hterm | Terminal program for serial communication |
| mlton | Open-source, whole-program, optimizing Standard ML compiler |
| tet | Test Environment Toolkit is used in test applications like The Open Group's UNIX Certification program and the Free Standards Group's LSB Certification program |
| tlf | Advanced ham radio logging and contest program |
| mup | Music typesetting program (ASCII to PostScript and MIDI) |
| dsp | Audio processing program with an interactive mode |
| mltonHEAD | Open-source, whole-program, optimizing Standard ML compiler |
| bato | Small program to send battery notifications |
| zzz | Simple program to suspend or hibernate your computer |
| pal | Command-line calendar program that can keep track of events |
| dex | Program to generate and execute DesktopEntry files of the Application type |
| aldo | Morse code training program |
| ms-sys | Program for writing Microsoft-compatible boot records |
| ktfmt | Program that reformats Kotlin source code to comply with the common community standard for Kotlin code conventions |
| reptyr | Reparent a running program to a new terminal |
| vlock | Virtual console locking program |
| rdup | Only backup program that doesn't make backups |
| dtee | Run a program with standard output and standard error copied to files |
| grig | Simple Ham Radio control (CAT) program based on Hamlib |
| gdm | Program that manages graphical display servers and handles graphical user logins |
| ggobi | Visualization program for exploring high-dimensional data |
| wofi | Launcher/menu program for wlroots based wayland compositors such as sway |
| ispc | Intel 'Single Program, Multiple Data' Compiler, a vectorised language |
| flmsg | Digital modem message program |
| fllog | Digital modem log program |
| veusz | Scientific plotting and graphing program with a GUI |
| flrig | Digital modem rig control program |
| kazam | Screencasting program created with design in mind |
| qmk | Program to help users work with QMK Firmware |
| seren | Simple ncurses VoIP program based on the Opus codec |
| tt-smi | Tenstorrent console based hardware information program |
| fbset | Framebuffer device maintenance program |
| gimp | GNU Image Manipulation Program |
| xnbd | Yet another NBD (Network Block Device) server program |
| fstar | ML-like functional programming language aimed at program verification |
| hello-go | Simple program printing hello world in Go |
| gimp3 | GNU Image Manipulation Program |
| bsd-finger | User information lookup program |
| mtpaint | Simple GTK painting program |
| nettee | Network "tee" program |
| libpfm | Helper library to program the performance monitoring events |
| go-i18n | Translate your Go program into multiple languages |
| cqrlog | Linux logging program for amateur radio operators |
| afetch | Fetch program written in C |
| m33-linux | Linux program that can communicate with the Micro 3D printer |
| wllvm | Wrapper script to build whole-program LLVM bitcode files |
| flwrap | Digital modem file transfer program |
| trelby | Free, multiplatform, feature-rich screenwriting program |
| marvin | Chemical modelling, analysis and structure drawing program |
| restic | Backup program that is fast, efficient and secure |
| alist | File list/WebDAV program that supports multiple storages |
| mmake | Small program which wraps make to provide additional functionality |
| unrpa | Program to extract files from the RPA archive format |
| pouf | CLI program for produce fake datas |
| xkbset | Program to help manage many of XKB features of X window |
| todo | Simple todo cli program written in rust |
| gimpPlugins.gimp | GNU Image Manipulation Program |
| gui-for-clash | Clash GUI program developed by vue3 + wails |
| ps_mem | Utility to accurately report the in core memory usage for a program |
| pace | Command-line program for mindful time tracking |
| rzip | Compression program |
| bemenu | Dynamic menu library and client program inspired by dmenu |
| sss-cli | Command line program for secret-sharing strings |
| sc-im | Ncurses spreadsheet program for terminal |
| unar | Archive unpacker program |
| shavee | Program to automatically decrypt and mount ZFS datasets using Yubikey HMAC as 2FA or any File on USB/SFTP/HTTPS |
| kickoff | Minimalistic program launcher |
| icmake | Program maintenance (make) utility using a C-like grammar |
| gllvm | Whole Program LLVM: wllvm ported to go |
| xlog | Amateur radio logging program |
| libsForQt5.kamoso | Simple and friendly program to use your camera |
| podman | Program for managing pods, containers and container images |