| 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/xbar | Put the output from any script or program into your macOS Menu Bar (the BitBar reboot) |
| packages/nixpkgs/anki-bin | Spaced repetition flashcard program |
| packages/nixpkgs/mlton | Open-source, whole-program, optimizing Standard ML compiler |
| 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/mltonHEAD | Open-source, whole-program, optimizing Standard ML compiler |
| packages/nixpkgs/ktfmt | Program that reformats Kotlin source code to comply with the common community standard for Kotlin code conventions |
| packages/nixpkgs/darwin.trash | Small command-line program for OS X that moves files or
folders to the trash. |
| packages/nixpkgs/ispc | Intel 'Single Program, Multiple Data' Compiler, a vectorised language |
| packages/nixpkgs/qmk | Program to help users work with QMK Firmware |
| packages/nixpkgs/tt-smi | Tenstorrent console based hardware information program |
| packages/nixpkgs/fstar | ML-like functional programming language aimed at program verification |
| 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/vesta-viewer | 3D visualization program for structural models, volumetric data such as electron/nuclear densities, and crystal morphologies |
| packages/nixpkgs/restic | Backup program that is fast, efficient and secure |
| 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/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/bemenu | Dynamic menu library and client program inspired by dmenu |
| 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/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/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/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/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/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/maxcso | Fast ISO to CSO compression program for use with PSP and PS2 emulators, which uses multiple algorithms for best compression ratio |
| 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/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 |