| 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 |
| sbclPackages.external-program | |
| sbclPackages.external-program-test | |
| 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 |
| typstPackages.tuhi-programme-vuw | Template for 3-year degree overview tables |
| sbclPackages.small-coalton-programs | |
| haskellPackages.cabal-build-programs | Adds executable dependencies to the Cabal build |
| programmer-calculator | Terminal calculator for programmers |
| emacsPackages.programmer-dvorak | |
| rPackages.statprograms | |
| sbclPackages.linear-programming | |
| sbclPackages.linear-programming-test | |
| sbclPackages.linear-programming-glpk | |
| haskellPackages.kmn-programming | K_M,N quadratic programming |
| typstPackages.tuhi-programme-vuw_0_1_0 | Template for 3-year degree overview tables |
| 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 | |
| sbclPackages.cl-glfw-opengl-nv__gpu__program5 | |
| sbclPackages.cl-glfw-opengl-nv__gpu__program4 | |
| 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 |
| sbclPackages.cl-glfw-opengl-nv__vertex__program | |
| sbclPackages.cl-glfw-opengl-mesa__program__debug | |
| sbclPackages.cl-glfw-opengl-nv__vertex__program3 | |
| sbclPackages.cl-glfw-opengl-nv__vertex__program4 | |
| sbclPackages.cl-glfw-opengl-arb__vertex__program | |
| sbclPackages.cl-glfw-opengl-nv__fragment__program | |
| sbclPackages.cl-glfw-opengl-nv__fragment__program2 | |
| sbclPackages.cl-glfw-opengl-nv__geometry__program4 | |
| sbclPackages.cl-glfw-opengl-arb__fragment__program | |
| vscode-extensions.divyanshuagrawal.competitive-programming-helper | Makes judging, compiling, and downloading problems for competitve programming easy. Also supports auto-submit for a few sites |
| sbclPackages.cl-glfw-opengl-arb__get__program__binary | |
| sbclPackages.cl-glfw-opengl-nv__tessellation__program5 | |
| sbclPackages.cl-glfw-opengl-ext__gpu__program__parameters | |
| sbclPackages.cl-glfw-opengl-nv__vertex__program2__option | |
| sbclPackages.cl-glfw-opengl-apple__vertex__program__evaluators | |
| rw | Block device and byte copying program similar to dd |
| popl | Header-only C++ program options parser library |
| halo | Self-hosted dynamic blogging program |
| xbar | Put the output from any script or program into your macOS Menu Bar (the BitBar reboot) |
| niff | Program that compares two Nix expressions and determines which attributes changed |
| anki-bin | Spaced repetition flashcard program |
| wikit | Command line program for getting Wikipedia summaries |
| angsd | Program for analysing NGS data |
| tiv | Small C++ program to display images in a (modern) terminal using RGB ANSI codes and unicode block graphics characters |
| ondir | Small program to automate tasks specific to certain directories |
| pinta | Drawing/editing program modeled after Paint.NET |
| hterm | Terminal program for serial communication |
| rhsrvany | Free equivalent of Windows "srvany" program for turning any Windows program or script into a service |
| dedup | Data deduplication program |
| pmidi | Straightforward command line program to play midi files through the ALSA sequencer |
| mlton | Open-source, whole-program, optimizing Standard ML compiler |
| mfaktc | Trial Factoring program using CUDA for GIMPS |
| 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 |
| cp2k | Quantum chemistry and solid state physics program |
| tlf | Advanced ham radio logging and contest program |
| mup | Music typesetting program (ASCII to PostScript and MIDI) |
| dsp | Audio processing program with an interactive mode |
| xtruss | Easy-to-use X protocol tracing program |
| bato | Small program to send battery notifications |
| zzz | Simple program to suspend or hibernate your computer |
| mltonHEAD | Open-source, whole-program, optimizing Standard ML compiler |
| pal | Command-line calendar program that can keep track of events |
| dex | Program to generate and execute DesktopEntry files of the Application type |
| aldo | Morse code training program |
| dwdiff | Front-end for the diff program that operates at the word level instead of the line level |
| ms-sys | Program for writing Microsoft-compatible boot records |
| ktfmt | Program that reformats Kotlin source code to comply with the common community standard for Kotlin code conventions |
| vlock | Virtual console locking program |
| kgeotag | Stand-alone photo geotagging program |
| reptyr | Reparent a running program to a new terminal |
| rdup | Only backup program that doesn't make backups |
| darwin.trash | Small command-line program for OS X that moves files or
folders to the trash. |
| dtee | Run a program with standard output and standard error copied to files |
| grig | Simple Ham Radio control (CAT) program based on Hamlib |
| gdm | Program that manages graphical display servers and handles graphical user logins |
| megacli | CLI program for LSI MegaRAID cards, which also works with some Dell PERC RAID cards |
| ggobi | Visualization program for exploring high-dimensional data |
| wofi | Launcher/menu program for wlroots based wayland compositors such as sway |
| ispc | Intel 'Single Program, Multiple Data' Compiler, a vectorised language |
| flmsg | Digital modem message program |
| fllog | Digital modem log program |
| veusz | Scientific plotting and graphing program with a GUI |