| 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/python313Packages.llama-index-program-openai | LlamaIndex Program Integration for OpenAI |
| packages/nixpkgs/python312Packages.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/python313Packages.sphinxcontrib-programoutput | Sphinx extension to include program output |
| packages/nixpkgs/python314Packages.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/tlf | Advanced ham radio logging and contest program |
| packages/nixpkgs/mup | Music typesetting program (ASCII to PostScript and MIDI) |
| packages/nixpkgs/dsp | Audio processing program with an interactive mode |
| packages/nixpkgs/bato | Small program to send battery notifications |
| packages/nixpkgs/zzz | Simple program to suspend or hibernate your computer |
| packages/nixpkgs/pal | Command-line calendar program that can keep track of events |
| packages/nixpkgs/dex | Program to generate and execute DesktopEntry files of the Application type |
| packages/nixpkgs/aldo | Morse code training program |
| packages/nixpkgs/ms-sys | Program for writing Microsoft-compatible boot records |
| packages/nixpkgs/ktfmt | Program that reformats Kotlin source code to comply with the common community standard for Kotlin code conventions |
| packages/nixpkgs/reptyr | Reparent a running program to a new terminal |
| packages/nixpkgs/vlock | Virtual console locking program |
| packages/nixpkgs/rdup | Only backup program that doesn't make backups |
| packages/nixpkgs/dtee | Run a program with standard output and standard error copied to files |
| packages/nixpkgs/grig | Simple Ham Radio control (CAT) program based on Hamlib |
| packages/nixpkgs/gdm | Program that manages graphical display servers and handles graphical user logins |
| packages/nixpkgs/ggobi | Visualization program for exploring high-dimensional data |
| packages/nixpkgs/wofi | Launcher/menu program for wlroots based wayland compositors such as sway |
| packages/nixpkgs/ispc | Intel 'Single Program, Multiple Data' Compiler, a vectorised language |
| packages/nixpkgs/flmsg | Digital modem message program |
| packages/nixpkgs/fllog | Digital modem log program |
| packages/nixpkgs/veusz | Scientific plotting and graphing program with a GUI |
| packages/nixpkgs/flrig | Digital modem rig control program |
| packages/nixpkgs/kazam | Screencasting program created with design in mind |
| packages/nixpkgs/qmk | Program to help users work with QMK Firmware |
| packages/nixpkgs/seren | Simple ncurses VoIP program based on the Opus codec |
| packages/nixpkgs/tt-smi | Tenstorrent console based hardware information program |
| packages/nixpkgs/fbset | Framebuffer device maintenance program |
| packages/nixpkgs/gimp | GNU Image Manipulation Program |
| packages/nixpkgs/xnbd | Yet another NBD (Network Block Device) server 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/gimp3 | GNU Image Manipulation Program |
| packages/nixpkgs/bsd-finger | User information lookup program |
| packages/nixpkgs/mtpaint | Simple GTK painting program |
| packages/nixpkgs/nettee | Network "tee" program |
| packages/nixpkgs/libpfm | Helper library to program the performance monitoring events |
| packages/nixpkgs/go-i18n | Translate your Go program into multiple languages |
| packages/nixpkgs/cqrlog | Linux logging program for amateur radio operators |
| packages/nixpkgs/afetch | Fetch program written in C |
| packages/nixpkgs/m33-linux | Linux program that can communicate with the Micro 3D printer |
| packages/nixpkgs/wllvm | Wrapper script to build whole-program LLVM bitcode files |
| packages/nixpkgs/flwrap | Digital modem file transfer program |
| packages/nixpkgs/trelby | Free, multiplatform, feature-rich screenwriting program |
| packages/nixpkgs/marvin | Chemical modelling, analysis and structure drawing program |
| 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/xkbset | Program to help manage many of XKB features of X window |
| packages/nixpkgs/todo | Simple todo cli program written in rust |
| packages/nixpkgs/gimpPlugins.gimp | GNU Image Manipulation Program |
| packages/nixpkgs/gui-for-clash | Clash GUI program developed by vue3 + wails |
| packages/nixpkgs/ps_mem | Utility to accurately report the in core memory usage for a program |
| 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/shavee | Program to automatically decrypt and mount ZFS datasets using Yubikey HMAC as 2FA or any File on USB/SFTP/HTTPS |
| packages/nixpkgs/kickoff | Minimalistic program launcher |
| packages/nixpkgs/icmake | Program maintenance (make) utility using a C-like grammar |
| packages/nixpkgs/gllvm | Whole Program LLVM: wllvm ported to go |
| packages/nixpkgs/xlog | Amateur radio logging program |
| packages/nixpkgs/libsForQt5.kamoso | Simple and friendly program to use your camera |
| 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 |