| haskellPackages.PropLogic | Propositional Logic |
| 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 |
| 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 | |
| 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 |
| wllvm | Wrapper script to build whole-program LLVM bitcode files |
| pouf | CLI program for produce fake datas |
| todo | Simple todo cli program written in rust |
| pace | Command-line program for mindful time tracking |
| rzip | Compression program |
| sss-cli | Command line program for secret-sharing strings |
| sc-im | Ncurses spreadsheet program for terminal |
| unar | Archive unpacker program |
| xlog | Amateur radio logging program |
| anki | Spaced repetition flashcard program |
| gcal | Program for calculating and printing calendars |
| why3 | Platform for deductive program verification |
| motoc | MOnado Tracking Origin Calibration program |
| wol | Implements Wake On LAN functionality in a small program |
| mate.eom | Image viewing and cataloging program for the MATE desktop |
| artem | Small CLI program to convert images to ASCII art |
| trf | Tandem Repeats Finder: a program to analyze DNA sequences |
| lftp | File transfer program supporting a number of network protocols |
| ocrad | Optical character recognition (OCR) program & library |
| ico | Simple animation program that may be used for testing various X11 operations and extensions |
| flamp | Digital modem program |
| xsel | Command-line program for getting and setting the contents of the X selection |
| dtach | Program that emulates the detach feature of screen |
| axel | Console downloading program with some features for parallel connections for faster downloading |
| golly | Cellular automata simulation program |
| gimp2 | GNU Image Manipulation Program |
| vzic | Program to convert the IANA timezone database files into VTIMEZONE files compatible with the iCalendar specification |
| ecpdap | Tool to program ECP5 FPGAs |
| pspp | Free replacement for SPSS, a program for statistical analysis of sampled data |
| termbg | Program for terminal background color detection |
| dterm | Simple terminal program |
| eyed3 | Python module and command line program for processing ID3 tags |
| xhost | X server access control program |
| mafft | Multiple alignment program for amino acid or nucleotide sequences |
| abook | Text-based addressbook program designed to use with mutt mail client |
| boxes | Command line program which draws, removes, and repairs ASCII art boxes |
| x2vnc | Program to control a remote VNC server |
| xmore | Plain text display program for the X Window System |
| _9menu | Simple X11 menu program for running commands |
| lenmus | Program for learning music |
| grafx2 | Ultimate 256-color painting program |
| fldigi | Digital modem program |
| ssdeep | Program for calculating fuzzy hashes |
| lrzip | CK LRZIP compression program (LZMA + RZIP) |
| pythia | Program for the generation of high-energy physics events |
| gpxlab | Program to show and manipulate GPS tracks |
| kalign | Fast multiple sequence alignment program |
| cmark-gfm | GitHub's fork of cmark, a CommonMark parsing and rendering library and program in C |
| tthsum | Md5sum-alike program that works with Tiger/THEX hashes |
| devour | Hides your current window when launching an external program |
| far2l | Linux port of FAR Manager v2, a program for managing files and archives in Windows operating systems |
| xephem | Interactive astronomy program for all UNIX platforms |
| xscope | Program to monitor X11/Client conversations |
| ferium | Fast and multi-source CLI program for managing Minecraft mods and modpacks from Modrinth, CurseForge, and GitHub Releases |
| figlet | Program for making large letters out of ordinary text |
| git-cache | Program to add and manage a system-wide or user-wide cache for remote git repositories |
| qcdnum | Very fast QCD evolution program written in FORTRAN77 |
| remind | Sophisticated calendar and alarm program for the console |
| bchunk | Program that converts CD images in BIN/CUE format into a set of ISO and CDR tracks |
| dsview | GUI program for supporting various instruments from DreamSourceLab, including logic analyzer, oscilloscope, etc |
| nbench | Synthetic computing benchmark program |
| haskellPackages.webcloud | Turn an optparse-applicative program into a CGI program! |
| gimp2Plugins.gimp | GNU Image Manipulation Program |
| picocom | Minimal dumb-terminal emulation program |
| fortune | Program that displays a pseudorandom message from a database of quotations |
| ispell | Interactive spell-checking program for Unix |
| flac123 | Command-line program for playing FLAC audio files |
| dblatex | Program to convert DocBook to DVI, PostScript or PDF via LaTeX or ConTeXt |
| ent | Pseudorandom Number Sequence Test Program |
| minipro | Open source program for controlling the MiniPRO TL866xx series of chip programmers |
| abcm2ps | Command line program which converts ABC to music sheet in PostScript or SVG format |
| scummvm | Program to run certain classic graphical point-and-click adventure games (such as Monkey Island) |
| x11perf | X11 server performance test program |
| minicom | Modem control and terminal emulation program |
| file | Program that shows the type of files |
| wimlib | Library and program to extract, create, and modify WIM files |
| fpp | CLI program that accepts piped input and presents files for selection |