| packages/nixpkgs/haskellPackages.PropLogic | Propositional Logic |
| packages/nixpkgs/cp210x-program | EEPROM tool for Silabs CP210x USB-Serial adapter |
| 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/python312Packages.llama-index-program-openai | LlamaIndex Program Integration for OpenAI |
| packages/nixpkgs/python313Packages.llama-index-program-openai | LlamaIndex Program Integration for OpenAI |
| 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/python314Packages.sphinxcontrib-programoutput | Sphinx extension to include program output |
| packages/nixpkgs/python313Packages.sphinxcontrib-programoutput | Sphinx extension to include program output |
| packages/nixpkgs/python312Packages.sphinxcontrib-programoutput | Sphinx extension to include program output |
| 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/qmk | Program to help users work with QMK Firmware |
| packages/nixpkgs/tt-smi | Tenstorrent console based hardware information program |
| packages/nixpkgs/hello-go | Simple program printing hello world in Go |
| packages/nixpkgs/go-i18n | Translate your Go program into multiple languages |
| packages/nixpkgs/wllvm | Wrapper script to build whole-program LLVM bitcode files |
| packages/nixpkgs/alist | File list/WebDAV program that supports multiple storages |
| packages/nixpkgs/mmake | Small program which wraps make to provide additional functionality |
| packages/nixpkgs/unrpa | Program to extract files from the RPA archive format |
| packages/nixpkgs/rzip | Compression program |
| packages/nixpkgs/sc-im | Ncurses spreadsheet program for terminal |
| packages/nixpkgs/unar | Archive unpacker program |
| packages/nixpkgs/gllvm | Whole Program LLVM: wllvm ported to go |
| packages/nixpkgs/xlog | Amateur radio logging program |
| packages/nixpkgs/podman | Program for managing pods, containers and container images |
| 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/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/goread | Beautiful program to read your RSS/Atom feeds right in the terminal |
| packages/nixpkgs/zeyple | Utility program to automatically encrypt outgoing emails with GPG |
| 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/rclone | Command line program to sync files and directories to and from major cloud storage |
| packages/nixpkgs/cbeams | Command-line program to draw animated colored circles in the terminal |
| 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/kdePackages.kmix | Volume control program |
| packages/nixpkgs/pspp | Free replacement for SPSS, a program for statistical analysis of sampled data |
| 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/httptap | View HTTP/HTTPS requests made by any Linux program |
| 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/go-callvis | Visualize call graph of a Go program using Graphviz |
| packages/nixpkgs/mapcidr | Small utility program to perform multiple operations for a given subnet/CIDR ranges |
| 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/oscclip | Program that allows to copy/paste from a terminal using osc-52 control sequences |
| 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/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/go-bindata | Small utility which generates Go code from any file, useful for embedding binary data in a Go program |
| packages/nixpkgs/gallery-dl | Command-line program to download image-galleries and -collections from several image hosting sites |
| 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 |