| packages/nixpkgs/easycrypt-runtest | Testing program for EasyCrypt formalizations |
| packages/nixpkgs/haskellPackages.stack-network | A program for extending Stack to add distributed capabilities |
| packages/nixpkgs/haskellPackages.pixel-printer | A program for turning pixel art into 3D prints |
| packages/nixpkgs/haskellPackages.canteven-log | A canteven way of setting up logging for your program |
| packages/nixpkgs/xinput_calibrator | Generic touchscreen calibration program for X |
| packages/nixpkgs/jugglinglab | Program to visualize different juggling pattens |
| packages/nixpkgs/python313Packages.aio-geojson-usgs-earthquakes | Module for accessing the U |
| packages/nixpkgs/python314Packages.aio-geojson-usgs-earthquakes | Module for accessing the U |
| packages/nixpkgs/haskellPackages.on-demand-ssh-tunnel | Program that sends traffic through SSH tunnels on-demand |
| packages/nixpkgs/haskellPackages.conlogger | A logger for a concurrent program |
| packages/nixpkgs/haskellPackages.monad-skeleton | Monads of program skeleta |
| packages/nixpkgs/pgformatter | PostgreSQL SQL syntax beautifier that can work as a console program or as a CGI |
| packages/nixpkgs/perceptualdiff | Program that compares two images using a perceptually based image metric |
| packages/nixpkgs/haskellPackages.Barracuda | An ad-hoc P2P chat program |
| packages/nixpkgs/haskellPackages.happraise | A small program for counting the comments in haskell source |
| packages/nixpkgs/haskellPackages.cabal-progdeps | Show dependencies of program being built in current directory |
| packages/nixpkgs/python312Packages.aio-geojson-usgs-earthquakes | Module for accessing the U |
| packages/nixpkgs/perl540Packages.TestRunValgrind | Tests that an external program is valgrind-clean |
| packages/nixpkgs/perl538Packages.TestRunValgrind | Tests that an external program is valgrind-clean |
| packages/nixpkgs/haskellPackages.DrIFT-cabalized | Program to derive type class instances |
| packages/nixpkgs/haskellPackages.mcmc-synthesis | MCMC applied to probabilistic program synthesis |
| packages/nixpkgs/haskellPackages.egison-tutorial | A tutorial program for the Egison programming language |
| packages/nixpkgs/locate-dominating-file | Program that looks up in a directory hierarchy for a given filename |
| packages/nixpkgs/haskellPackages.update-nix-fetchgit | A program to update fetchgit values in Nix expressions |
| packages/nixpkgs/soundtracker | Music tracking tool similar in design to the DOS program FastTracker and the Amiga legend ProTracker |
| packages/nixpkgs/openorienteering-mapper | Orienteering mapmaking program |
| packages/nixpkgs/haskellPackages.hasql-streams-example | An example program that shows how to use Hasql streams with Rel8 |
| packages/nixpkgs/chickenPackages_5.chickenEggs.svnwiki2html | A program to convert svnwiki syntax to HTML |
| packages/nixpkgs/haskellPackages.executable-hash | Provides the SHA1 hash of the program executable |
| packages/nixpkgs/gnomeExtensions.control-monitor-brightness-and-volume-with-ddcutil | Brightness and volume control for monitors |
| packages/nixpkgs/haskellPackages.Agda-executable | Command-line program for type-checking and compiling Agda programs |
| packages/nixpkgs/perlPackages.StringToIdentifierEN | Convert Strings to English Program Identifiers |
| packages/nixpkgs/texlivePackages.hvpygmentex | Syntax-Highlighting of program code |
| packages/nixpkgs/perl5Packages.StringToIdentifierEN | Convert Strings to English Program Identifiers |
| packages/nixpkgs/haskellPackages.postgresql-config | Types for easy adding postgresql configuration to your program |
| packages/nixpkgs/haskellPackages.rabocsv2qif | A library and program to create QIF files from Rabobank CSV exports |
| packages/nixpkgs/audiowaveform | C++ program to generate waveform data and render waveform images from audio files |
| packages/nixpkgs/haskellPackages.HaskellAnalysisProgram | Haskell source code analysis program |
| packages/nixpkgs/perl538Packages.StringToIdentifierEN | Convert Strings to English Program Identifiers |
| packages/nixpkgs/perl540Packages.StringToIdentifierEN | Convert Strings to English Program Identifiers |
| packages/nixpkgs/texlivePackages.memorygraphs | TikZ styles to typeset graphs of program memory |
| packages/nixpkgs/haskellPackages.multiplicity | Wrapper program for duplicity, adding config files |
| packages/nixpkgs/haskellPackages.textmatetags | A simple Haskell program to provide tags for Haskell code completion in TextMate |
| packages/nixpkgs/haskellPackages.lambdacube-compiler | LambdaCube 3D is a DSL to program GPUs |
| packages/nixpkgs/haskellPackages.reflex-dom-fragment-shader-canvas | A reflex-dom widget to draw on a canvas with a fragment shader program |
| packages/nixpkgs/jpegexiforient | Utility program to get and set the Exif Orientation Tag |
| packages/nixpkgs/haskellPackages.functor-combinators | Tools for functor combinator-based program design |
| packages/nixpkgs/haskellPackages.visual-graphrewrite | Visualize the graph-rewrite steps of a Haskell program |
| packages/nixpkgs/haskellPackages.stackcollapse-ghc | Program to fold GHC prof files into flamegraph input |
| packages/nixpkgs/haskellPackages.Holumbus-Distribution | intra- and inter-program communication |
| packages/nixpkgs/haskellPackages.puppetresources | A program that displays the puppet resources associated to a node given .pp files. |
| packages/nixpkgs/haskellPackages.dresdner-verkehrsbetriebe | Library and program for querying DVB (Dresdner Verkehrsbetriebe AG) |
| packages/nixpkgs/pinentry-all | GnuPG’s interface to passphrase input |
| packages/nixpkgs/pinentry-dmenu | Pinentry implementation based on dmenu |
| packages/nixpkgs/pinentry-qt | GnuPG’s interface to passphrase input |
| packages/nixpkgs/pinentry-rofi | Rofi frontend to pinentry |
| packages/nixpkgs/pinentry-tty | GnuPG’s interface to passphrase input |
| packages/nixpkgs/pinentry-gnome3 | GnuPG’s interface to passphrase input |
| packages/nixpkgs/pinentry-gtk2 | GnuPG’s interface to passphrase input |
| packages/nixpkgs/pinentry-bemenu | Pinentry implementation based on bemenu |
| packages/nixpkgs/pinentry-emacs | GnuPG’s interface to passphrase input |
| packages/nixpkgs/emacsPackages.pinentry | |
| packages/nixpkgs/pinentry-curses | GnuPG’s interface to passphrase input |
| 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/haskellPackages.core-program | Opinionated Haskell Interoperability |
| packages/nixpkgs/haskellPackages.tasty-program | Use tasty framework to test whether a program executes correctly |
| packages/nixpkgs/emacsPackages.choice-program | |
| packages/nixpkgs/haskellPackages.console-program | Interpret the command line and a config file as commands and options |
| 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/haskellPackages.test-framework-program | Test framework support for running simple test programs |
| packages/nixpkgs/dfu-programmer | Device Firmware Update based USB programmer for Atmel chips with a USB bootloader |
| 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/emacsPackages.programmer-dvorak | |
| packages/nixpkgs/rPackages.statprograms | |
| packages/nixpkgs/haskellPackages.kmn-programming | K_M,N quadratic programming |
| packages/nixpkgs/programmer-calculator | Terminal calculator for programmers |
| 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/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/emacsPackages.competitive-programming-snippets | |
| packages/nur/sikmir.gmaptool | Program for splitting and merging maps in Garmin format |
| packages/nur/sikmir.dtree | Command line program to draw trees |
| packages/nur/sikmir.rtklib | An Open Source Program Package for GNSS Positioning |
| packages/nur/wyzdwdz.spl-token-cli | A basic command-line for creating and using SPL Tokens |
| packages/nur/rseops.caliper | Program instrumentation and performance measurement framework |
| packages/nur/rseops.conduit | Program instrumentation and performance measurement framework |
| packages/nur/forkprince.gimp | GNU Image Manipulation Program |
| packages/nur/sikmir.scroll | Scrollbackbuffer program for st |
| packages/nur/progsyn.sketch | The sketch program synthesis tool |
| packages/nur/shelvacu.vacu-history | program to store bash command history in a sqlite file |