| packages/nixpkgs/haskellPackages.PropLogic | Propositional Logic |
| 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/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/wllvm | Wrapper script to build whole-program LLVM bitcode files |
| packages/nixpkgs/haskellPackages.webcloud | Turn an optparse-applicative program into a CGI program! |
| packages/nixpkgs/ent | Pseudorandom Number Sequence Test Program |
| 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/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/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/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/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/quivira | Free Unicode font in the OpenType format which is supported by every usual office program or printer |
| 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/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 |
| packages/nixpkgs/disfetch | Yet another *nix distro fetching program, but less complex |
| packages/nixpkgs/gif2apng | Simple program that converts animations from GIF to APNG format |
| packages/nixpkgs/one-click-backup | Simple Program to backup folders to an external location by copying them |
| packages/nixpkgs/apng2gif | Simple program that converts APNG files to animated GIF format |
| packages/nixpkgs/haskellPackages.FindBin | Locate directory of original program |
| packages/nixpkgs/haskellPackages.harg | Haskell program configuration using higher kinded data |
| packages/nixpkgs/console-setup | Console font and keymap setup program |
| packages/nixpkgs/haskellPackages.isiz | A program to show the size of image and whether suitable for wallpaper |
| packages/nixpkgs/perlPackages.TestUNIXSock | Testing UNIX domain socket program |
| packages/nixpkgs/plus-jakarta-sans | Typeface designed for Jakarta 'City of collaboration' program in 2020 |
| packages/nixpkgs/haskellPackages.ast-path | vocabulary representation for predicting program properties |
| packages/nixpkgs/loadwatch | Run a program using only idle cycles |
| packages/nixpkgs/haskellPackages.hruby | Embed a Ruby intepreter in your Haskell program ! |
| packages/nixpkgs/haskellPackages.chp-spec | A mirror implementation of chp that generates a specification of the program |
| packages/nixpkgs/haskellPackages.pfile | CLI program for profiles management |
| packages/nixpkgs/perl5Packages.TestUNIXSock | Testing UNIX domain socket program |
| packages/nixpkgs/datamash | Command-line program which performs basic numeric,textual and statistical operations on input textual data files |
| packages/nixpkgs/haskellPackages.htags | A Haskell98 parsing tags program similar to ctags |
| packages/nixpkgs/disk-filltest | Simple program to detect bad disks by filling them with random data |
| packages/nixpkgs/perl538Packages.TestTCP | Testing TCP program |
| packages/nixpkgs/perl540Packages.TestTCP | Testing TCP program |
| packages/nixpkgs/akkuPackages.rapid-args-fold | A program argument processor compatible with SRFI 37 |
| packages/nixpkgs/haskellPackages.csv-to-qif | A small program that will read csv files and create qif files |
| packages/nixpkgs/haskellPackages.devil | A small tool to make it easier to update program managed by Angel |
| packages/nixpkgs/perlPackages.ProcDaemon | Run Perl program(s) as a daemon process |
| packages/nixpkgs/haskellPackages.hutton | A program for the button on Reddit |
| packages/nixpkgs/perlPackages.AppMusicChordPro | Lyrics and chords formatting program |
| packages/nixpkgs/evilpixie | Pixel-oriented paint program, modelled on Deluxe Paint |
| packages/nixpkgs/haskellPackages.intero | Complete interactive development program for Haskell |