| 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 |
| 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 |
| qmk | Program to help users work with QMK Firmware |
| tt-smi | Tenstorrent console based hardware information program |
| hello-go | Simple program printing hello world in Go |
| go-i18n | Translate your Go program into multiple languages |
| wllvm | Wrapper script to build whole-program LLVM bitcode files |
| 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 |
| rzip | Compression program |
| sc-im | Ncurses spreadsheet program for terminal |
| unar | Archive unpacker program |
| gllvm | Whole Program LLVM: wllvm ported to go |
| xlog | Amateur radio logging program |
| podman | Program for managing pods, containers and container images |
| anki | Spaced repetition flashcard program |
| gcal | Program for calculating and printing calendars |
| why3 | Platform for deductive program verification |
| wol | Implements Wake On LAN functionality in a small program |
| mate.eom | Image viewing and cataloging program for the MATE desktop |
| goread | Beautiful program to read your RSS/Atom feeds right in the terminal |
| zeyple | Utility program to automatically encrypt outgoing emails with GPG |
| 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 |
| rclone | Command line program to sync files and directories to and from major cloud storage |
| cbeams | Command-line program to draw animated colored circles in the terminal |
| 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 |
| kdePackages.kmix | Volume control program |
| pspp | Free replacement for SPSS, a program for statistical analysis of sampled data |
| 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 |
| httptap | View HTTP/HTTPS requests made by any Linux program |
| _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 |
| go-callvis | Visualize call graph of a Go program using Graphviz |
| mapcidr | Small utility program to perform multiple operations for a given subnet/CIDR ranges |
| 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 |
| oscclip | Program that allows to copy/paste from a terminal using osc-52 control sequences |
| 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 |
| 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 |
| go-bindata | Small utility which generates Go code from any file, useful for embedding binary data in a Go program |
| gallery-dl | Command-line program to download image-galleries and -collections from several image hosting sites |
| 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 |