| 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 |
| 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 |
| rhsrvany | Free equivalent of Windows "srvany" program for turning any Windows program or script into a service |
| qmk | Program to help users work with QMK Firmware |
| tt-smi | Tenstorrent console based hardware information program |
| libpfm | Helper library to program the performance monitoring events |
| wllvm | Wrapper script to build whole-program LLVM bitcode files |
| unrpa | Program to extract files from the RPA archive format |
| zeyple | Utility program to automatically encrypt outgoing emails with GPG |
| cbeams | Command-line program to draw animated colored circles in the terminal |
| oscclip | Program that allows to copy/paste from a terminal using osc-52 control sequences |
| gallery-dl | Command-line program to download image-galleries and -collections from several image hosting sites |
| haskellPackages.webcloud | Turn an optparse-applicative program into a CGI program! |
| getmail6 | Program for retrieving mail |
| pnglatex | Small program that converts LaTeX snippets to png |
| rivalcfg | Utility program that allows you to configure SteelSeries Rival gaming mice |
| ent | Pseudorandom Number Sequence Test Program |
| protonup-ng | CLI program and API to automate the installation and update of GloriousEggroll's Proton-GE |
| file | Program that shows the type of files |
| fpp | CLI program that accepts piped input and presents files for selection |
| nttcp | New test TCP program |
| cloc | Program that counts lines of source code |
| bleachbit | Program to clean your computer |
| fail2ban | Program that scans log files for repeated failing login attempts and bans IP addresses |
| cpio | Program to create or extract from cpio archives |
| ckan | Mod manager for Kerbal Space Program |
| burp | BackUp and Restore Program |
| edir | Program to rename and remove files and directories using your editor |
| grin | Grep program configured the way I like it |
| when | Extremely simple personal calendar program |
| amphetype | Advanced typing practice program |
| lcalc | Program for calculating with L-functions |
| ddate | Discordian version of the date program |
| uucp | Unix-unix cp over serial line, also includes cu program |
| cmark | CommonMark parsing and rendering library and program in C |
| tidyp | Program that can validate your HTML, as well as modify it to be more clean and standard |
| patch | GNU Patch, a program to apply differences to files |
| beats | Swatch Internet Time implemented as a C program |
| sdate | Eternal september version of the date program |
| hello | Program that produces a familiar, friendly greeting |
| djent | Reimplementation of the Fourmilab/John Walker random number test program
ent with several improvements
|
| xjobs | Program which reads job descriptions line by line and executes them in parallel |
| python313Packages.unrpa | Program to extract files from the RPA archive format |
| python314Packages.unrpa | Program to extract files from the RPA archive format |
| colort | Program for 'tinting' color values |
| gzip | GNU zip compression program |
| tkdiff | Graphical front end to the diff program |
| cowsay | Program which generates ASCII pictures of a cow with a message |
| glsurf | Program to draw implicit surfaces and curves |
| python313Packages.pysim | Python tool to program SIMs / USIMs / ISIMs |
| python314Packages.pysim | Python tool to program SIMs / USIMs / ISIMs |
| dnsdbq | C99 program that accesses passive DNS database systems |
| bzip2 | High-quality data compression program |
| mp3cat | Command line program which concatenates MP3 files |
| mairix | Program for indexing and searching email messages stored in maildir, MH or mbox |
| vdmfec | Program that adds error correction blocks |
| creduce | C program reducer |
| haskellPackages.data-structure-inferrer | Program that infers the fastest data structure available for your program |
| gnupatch | GNU Patch, a program to apply differences to files |
| scribus | Desktop Publishing (DTP) and Layout program |
| cffconvert | Command line program to validate and convert CITATION.cff files |
| quivira | Free Unicode font in the OpenType format which is supported by every usual office program or printer |
| python312Packages.unrpa | Program to extract files from the RPA archive format |
| autogen | Automated text and program generation tool |
| perlPackages.TestTCP | Testing TCP program |
| kdePackages.cmark | CommonMark parsing and rendering library and program in C |
| haskellPackages.tn | A simple daily journal program |
| perl5Packages.TestTCP | Testing TCP program |
| haskellPackages.hit | Git like program in haskell |
| remarkable-mouse | Program to use a reMarkable as a graphics tablet |
| haskellPackages.DrIFT | Program to derive type class instances |
| haskellPackages.gas | Limit how many steps a program may take |
| paperjam | Program for transforming PDF files |
| haskellPackages.KSP | A library with the kerbal space program universe and demo code |
| haskellPackages.lhae | Simple spreadsheet program |