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