| python314Packages.mitogen | Python Library for writing distributed self-replicating programs |
| t1utils | Collection of simple Type 1 font manipulation programs |
| python312Packages.qiskit | Software for developing quantum computing programs |
| inetutils | Collection of common network programs |
| python312Packages.griffe | Signatures for entire Python programs |
| haskellPackages.cgi | A library for writing CGI programs |
| undaemonize | Tiny helper utility to force programs which insist on daemonizing themselves to run in the foreground |
| evolution-data-server-gtk4 | Unified backend for programs that work with contacts, tasks, and calendar information |
| python314Packages.quart-schema | Create subcommand-based CLI programs with docopt |
| libnatspec | Library intended to smooth national specificities in using of programs |
| python313Packages.quart-schema | Create subcommand-based CLI programs with docopt |
| python312Packages.miss-hit-core | Code formatting and code metrics for programs written in the MATLAB/Simulink and Octave languages |
| haskellPackages.HSH | Library to mix shell scripting with Haskell programs |
| haskellPackages.opn | Open files or URLs using associated programs |
| idrisPackages.test | Testing Utilities for Idris programs |
| haskellPackages.afv | Infinite state model checking of iterative C programs |
| python313Packages.clingo | ASP system to ground and solve logic programs |
| python314Packages.clingo | ASP system to ground and solve logic programs |
| python312Packages.deepl | Language translation API that allows other computer programs to send texts and documents to DeepL's servers and receive high-quality translations |
| python312Packages.pyquil | Python library for creating Quantum Instruction Language (Quil) programs |
| haskellPackages.limp | representation of Integer Linear Programs |
| betteralign | Make your Go programs use less memory (maybe) |
| akkuPackages.r6lint | Linter for R6RS libraries and programs |
| haskellPackages.scgi | A Haskell library for writing SCGI programs |
| haskellPackages.zeno | An automated proof system for Haskell programs |
| haskellPackages.om-elm | Haskell utilities for building embedded Elm programs |
| python313Packages.qiskit-nature | Software for developing quantum computing programs |
| python314Packages.qiskit-nature | Software for developing quantum computing programs |
| samba4Full | Standard Windows interoperability suite of programs for Linux and Unix |
| skawarePackages.s6-dns | Suite of DNS client programs and libraries for Unix systems |
| haskellPackages.uni-htk | Graphical User Interface for Haskell Programs |
| ecdsautils | Tiny collection of programs used for ECDSA (keygen, sign, verify) |
| chickenPackages_5.chickenEggs.ezd | easy drawing for programs on X displays |
| texlivePackages.tex-ewd | Macros to typeset calculational proofs and programs in Dijkstra's style |
| coqPackages.ITree | Library for Representing Recursive and Impure Programs in Coq |
| directx-shader-compiler | Compiler to compile HLSL programs into DXIL and SPIR-V |
| haskellPackages.hsp-cgi | Facilitates running Haskell Server Pages web pages as CGI programs |
| perlPackages.Expect | Automate interactions with command line programs that expose a text terminal interface |
| python312Packages.vulture | Finds unused code in Python programs |
| haskellPackages.mem-info | Print the core memory usage of programs |
| haskellPackages.THSH | A "noDSL" approach to mixing shell scripting with Haskell programs using Template Haskell |
| python313Packages.async-timeout | Timeout context manager for asyncio programs |
| python314Packages.async-timeout | Timeout context manager for asyncio programs |
| typstPackages.stack-pointer_0_1_0 | A library for visualizing the execution of (imperative) computer programs |
| chickenPackages_5.chickenEggs.srfi-34 | SRFI-34: Exception Handling for Programs |
| haskellPackages.Hs2lib | A Library and Preprocessor that makes it easier to create shared libs from Haskell programs |
| haskellPackages.runhs | Stack wrapper for single-file Haskell programs |
| python313Packages.os-client-config | Unified config handling for client libraries and programs |
| python314Packages.os-client-config | Unified config handling for client libraries and programs |
| vscode-extensions.ms-vscode.js-debug | An extension for debugging Node.js programs and Chrome |
| perl540Packages.AppCLI | Dispatcher module for command line interface programs |
| perl538Packages.AppCLI | Dispatcher module for command line interface programs |
| haskellPackages.PropaFP | Auto-active verification of floating-point programs |
| haskellPackages.crux-llvm | A verification tool for C programs |
| perl5Packages.Expect | Automate interactions with command line programs that expose a text terminal interface |
| python312Packages.mitogen | Python Library for writing distributed self-replicating programs |
| haskellPackages.alsa-gui | Some simple interactive programs for sending MIDI control messages via ALSA |
| haskellPackages.titan | Testing Infrastructure for Temporal AbstractioNs - GUI to debug temporal programs |
| texlivePackages.tikz-sfc | Symbols collection for typesetting Sequential Function Chart (SFC) diagrams (PLC programs) |
| haskellPackages.PropRatt | Property-based testing framework for testing asynchronous FRP programs |
| python313Packages.qiskit-finance | Software for developing quantum computing programs |
| python314Packages.qiskit-finance | Software for developing quantum computing programs |
| haskellPackages.ghc-gc-tune | Graph performance of Haskell programs with different GC flags |
| haskellPackages.tls-debug | Set of programs for TLS testing and debugging |
| perlPackages.TestExpect | Automated driving and testing of terminal-based programs |
| python312Packages.quart-schema | Create subcommand-based CLI programs with docopt |
| stdoutisatty | Make programs think their stdout is a tty / terminal |
| haskellPackages.Lastik | A library for compiling programs in a variety of languages |
| haskellPackages.dejafu | A library for unit-testing concurrent programs |
| haskellPackages.curry-base | Functions for manipulating Curry programs |
| haskellPackages.oughta | A library to test programs that output text |
| perl5Packages.TestExpect | Automated driving and testing of terminal-based programs |
| haskellPackages.ivory-eval | Simple concrete evaluator for Ivory programs |
| libnetfilter_cthelper | Userspace library that provides the programming interface to the user-space connection tracking helper infrastructure |
| python312Packages.qiskit-nature | Software for developing quantum computing programs |
| haskellPackages.HJScript | HJScript is a Haskell EDSL for writing JavaScript programs |
| texlivePackages.c-pascal | Typeset Python, C and Pascal programs |
| python314Packages.reactivex | Library for composing asynchronous and event-based programs |
| haskellPackages.postie | SMTP server library to receive emails from within Haskell programs |
| python313Packages.reactivex | Library for composing asynchronous and event-based programs |
| cyberpunk-neon | Neon themes for many programs |
| haskellPackages.QuickCheck | Automatic testing of Haskell programs |
| lockfileProgs | Programs for locking and unlocking files and mailboxes |
| perlPackages.TestPerlCritic | Use Perl::Critic in test programs |
| haskellPackages.Pup-Events | A networked event handling framework for hooking into other programs |
| external-editor-revived | Native messaging host for the Thunderbird addon allowing to edit mails in external programs |
| haskellPackages.sbvPlugin | Formally prove properties of Haskell programs using SBV/SMT |
| renameutils | Set of programs to make renaming of files faster |
| haskellPackages.clash-shake | Shake rules for building Clash programs |
| texlivePackages.algobox | Typeset Algobox programs |
| python312Packages.async-timeout | Timeout context manager for asyncio programs |
| haskellPackages.powerpc | Tools for PowerPC programs |
| haskellPackages.threadPool | Runs other programs in the manner of a thread pool |
| perlPackages.CaptureTiny | Capture STDOUT and STDERR from Perl, XS or external programs |
| perl5Packages.TestPerlCritic | Use Perl::Critic in test programs |
| redshift_jdbc | JDBC 4.2 driver for Amazon Redshift allowing Java programs to connect to a Redshift database |
| texlivePackages.texware | Utility programs for use with TeX |
| texlivePackages.scratch | Draw programs like "scratch" |
| python312Packages.os-client-config | Unified config handling for client libraries and programs |
| libpthread-stubs | Provides a pkg-config file `pthread-stubs.pc` containing the Cflags/Libs flags applicable to programs/libraries that use only lightweight pthread API |