| haskellPackages.afv | Infinite state model checking of iterative C programs |
| haskellPackages.limp | representation of Integer Linear Programs |
| 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 |
| skawarePackages.s6-dns | Suite of DNS client programs and libraries for Unix systems |
| haskellPackages.uni-htk | Graphical User Interface for Haskell Programs |
| texlivePackages.tex-ewd | Macros to typeset calculational proofs and programs in Dijkstra's style |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| haskellPackages.HJScript | HJScript is a Haskell EDSL for writing JavaScript programs |
| texlivePackages.c-pascal | Typeset Python, C and Pascal programs |
| haskellPackages.postie | SMTP server library to receive emails from within Haskell 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 |
| haskellPackages.sbvPlugin | Formally prove properties of Haskell programs using SBV/SMT |
| haskellPackages.clash-shake | Shake rules for building Clash programs |
| texlivePackages.algobox | Typeset Algobox 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 |
| texlivePackages.texware | Utility programs for use with TeX |
| texlivePackages.scratch | Draw programs like "scratch" |
| perl538Packages.Expect | Automate interactions with command line programs that expose a text terminal interface |
| perl540Packages.Expect | Automate interactions with command line programs that expose a text terminal interface |
| haskellPackages.fastcgi | A Haskell library for writing FastCGI programs |
| haskellPackages.hfusion | A library for fusing a subset of Haskell programs |
| haskellPackages.hylolib | Tools for hybrid logics related programs |
| haskellPackages.fitspec | refining property sets for testing Haskell programs |
| haskellPackages.copilot | A stream DSL for writing embedded C programs |
| perl5Packages.CaptureTiny | Capture STDOUT and STDERR from Perl, XS or external programs |
| haskellPackages.archive | A library and programs for creating hardlinked incremental archives or backups |
| haskellPackages.ui-command | A framework for friendly commandline programs |
| hexbinhex | Six utility programs to convert between hex, binary, ascii-binary
and the oddball NIST format for 90B testing.
|
| texlivePackages.t1utils | Simple Type 1 font manipulation programs |
| haskellPackages.Pup-Events-Demo | A networked event handling framework for hooking into other programs |
| haskellPackages.elm-reactor | Interactive development tool for Elm programs |
| perl538Packages.TestExpect | Automated driving and testing of terminal-based programs |
| perl540Packages.TestExpect | Automated driving and testing of terminal-based programs |
| haskellPackages.hoodle-types | Data types for programs for hoodle file format |
| texlivePackages.gustprog | utility programs for Polish users of TeX |
| haskellPackages.mmsyn7s | Shows a sorted list of the Ukrainian sounds representations that can be used by mmsyn7 series of programs |
| perlPackages.AppFatPackerSimple | A simpler way to fatpack perl programs |
| haskellPackages.haskell-menu | A simple menu system for Haskell programs |
| texlivePackages.scratch3 | Draw programs like "scratch" |
| haskellPackages.edit-lenses-demo | Programs demoing the use of symmetric, stateful edit lenses |
| perlPackages.ServerStarter | Superdaemon for hot-deploying server programs |
| texlivePackages.scratchx | Include Scratch programs in LaTeX documents |
| haskellPackages.Pup-Events-PQueue | A networked event handling framework for hooking into other programs |
| haskellPackages.broccoli | Small library for interactive functional programs |
| haskellPackages.peakachu | Experiemental library for composable interactive programs |
| haskellPackages.pathwalk | Path walking utilities for Haskell programs |
| perl5Packages.AppFatPackerSimple | A simpler way to fatpack perl programs |
| perl540Packages.TestPerlCritic | Use Perl::Critic in test programs |
| perl538Packages.TestPerlCritic | Use Perl::Critic in test programs |
| bashup-events32 | Event listener/callback API for creating extensible bash programs |
| bashup-events44 | Event listener/callback API for creating extensible bash programs |
| haskellPackages.lushtags | Create ctags compatible tags files for Haskell programs |
| haskellPackages.catalyst | A Category typeclass hierarchy powerful enough to encode full programs |
| haskellPackages.proctest | An IO library for testing interactive command line programs |
| perl5Packages.ServerStarter | Superdaemon for hot-deploying server programs |
| haskellPackages.hasktags | Produces ctags "tags" and etags "TAGS" files for Haskell programs |
| haskellPackages.xournal-types | Data types for programs for xournal file format |
| haskellPackages.shell-utility | Utility functions for writing command-line programs |
| perl538Packages.CaptureTiny | Capture STDOUT and STDERR from Perl, XS or external programs |
| perl540Packages.CaptureTiny | Capture STDOUT and STDERR from Perl, XS or external programs |
| haskellPackages.dph-examples | Data Parallel Haskell example programs |
| haskellPackages.vty-examples | Examples programs using the vty library |
| haskellPackages.Pup-Events-Client | A networked event handling framework for hooking into other programs |
| haskellPackages.Pup-Events-Server | A networked event handling framework for hooking into other programs |
| haskellPackages.uu-cco-examples | Utilities for compiler construction: example programs |
| perlPackages.commonsense | Implements some sane defaults for Perl programs |
| haskellPackages.qtah-examples | Example programs for Qtah Qt bindings |