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