| packages/nixpkgs/haskellPackages.Lambdajudge | A library to easily host Haskell based programming competitions |
| packages/nixpkgs/haskellPackages.Shpadoinkle | A programming model for declarative, high performance user interface |
| packages/nixpkgs/haskellPackages.deepcontrol | A library that provides deep-level programming style and(or) notation on Applicative and Monad |
| packages/nixpkgs/haskellPackages.snaplet-typed-sessions | Typed session snaplets and continuation-based programming for the Snap web framework |
| packages/nixpkgs/haskellPackages.gi-gtk-declarative | Declarative GTK+ programming in Haskell |
| packages/nixpkgs/haskellPackages.kind-generics-deriving | Generic programming in GHC style for arbitrary kinds and GADTs |
| packages/nixpkgs/haskellPackages.QuickCheck_2_15_0_1 | Automatic testing of Haskell programs |
| packages/nixpkgs/haskellPackages.effective-aspects-mzv | A monadic embedding of aspect oriented programming, using "Monads, Zippers and Views" instead of mtl |
| packages/nixpkgs/haskellPackages.type-combinators | A collection of data types for type-level programming |
| packages/nixpkgs/haskellPackages.copilot_4_3 | A stream DSL for writing embedded C programs |
| packages/nixpkgs/haskellPackages.hmatrix-quadprogpp | Bindings to the QuadProg++ quadratic programming library |
| packages/nixpkgs/haskellPackages.grapefruit-records | A record system for Functional Reactive Programming |
| packages/nixpkgs/haskellPackages.mem-info_0_4_1_0 | Print the core memory usage of programs |
| packages/nixpkgs/haskellPackages.flexible-numeric-parsers | Flexible numeric parsers for real-world programming languages |
| packages/nixpkgs/functionalplus | Functional Programming Library for C++ |
| packages/nixpkgs/haskellPackages.Strafunski-StrategyLib | Library for strategic programming |
| packages/nixpkgs/haskellPackages.simplistic-generics | Generic programming without too many type classes |
| packages/nixpkgs/haskellPackages.distributed-closure | Serializable closures for distributed programming |
| packages/nixpkgs/haskellPackages.parallel_3_3_0_0 | Parallel programming library |
| packages/nixpkgs/haskellPackages.gi-gtk-declarative-app-simple | Declarative GTK+ programming in Haskell in the style of Pux |
| packages/nixpkgs/texlivePackages.stringstrings | String manipulation for cosmetic and programming application |
| packages/nixpkgs/haskellPackages.arghwxhaskell | An interpreter for the Argh! programming language in wxHaskell |
| packages/nixpkgs/pv | Tool for monitoring the progress of data through a pipeline |
| packages/nixpkgs/cope | Colourful wrapper for terminal programs |
| packages/nixpkgs/peg | Tools for generating recursive-descent parsers: programs that perform pattern matching on text |
| packages/nixpkgs/qpdf | C++ library and set of programs that inspect and manipulate the structure of PDF files |
| packages/nixpkgs/haskellPackages.exploring-interpreters | A generic exploring interpreter for exploratory programming |
| packages/nixpkgs/gappa | Verifying and formally proving properties on numerical programs dealing with floating-point or fixed-point arithmetic |
| packages/nixpkgs/quick-lint-js | Find bugs in Javascript programs |
| packages/nixpkgs/csmith | Random generator of C programs |
| packages/nixpkgs/pdf-parser | Parse a PDF document |
| packages/nixpkgs/s6-dns | Suite of DNS client programs and libraries for Unix systems |
| packages/nixpkgs/rictydiminished-with-firacode | Best Japanese programming font meets the awesome ligatures of Firacode |
| packages/nixpkgs/num-utils | Programs for dealing with numbers from the command line |
| packages/nixpkgs/sfeed | RSS and Atom parser (and some format programs) |
| packages/nixpkgs/arduinoOTA | Tool for uploading programs to Arduino boards over a network |
| packages/nixpkgs/perlPackages.AppCLI | Dispatcher module for command line interface programs |
| packages/nixpkgs/perl5Packages.AppCLI | Dispatcher module for command line interface programs |
| packages/nixpkgs/t1utils | Collection of simple Type 1 font manipulation programs |
| packages/nixpkgs/haskellPackages.cgi | A library for writing CGI programs |
| packages/nixpkgs/haskellPackages.HSH | Library to mix shell scripting with Haskell programs |
| packages/nixpkgs/haskellPackages.opn | Open files or URLs using associated programs |
| packages/nixpkgs/idrisPackages.test | Testing Utilities for Idris programs |
| packages/nixpkgs/haskellPackages.afv | Infinite state model checking of iterative C programs |
| packages/nixpkgs/haskellPackages.limp | representation of Integer Linear Programs |
| packages/nixpkgs/akkuPackages.r6lint | Linter for R6RS libraries and programs |
| packages/nixpkgs/haskellPackages.scgi | A Haskell library for writing SCGI programs |
| packages/nixpkgs/haskellPackages.zeno | An automated proof system for Haskell programs |
| packages/nixpkgs/haskellPackages.om-elm | Haskell utilities for building embedded Elm programs |
| packages/nixpkgs/skawarePackages.s6-dns | Suite of DNS client programs and libraries for Unix systems |
| packages/nixpkgs/haskellPackages.uni-htk | Graphical User Interface for Haskell Programs |
| packages/nixpkgs/texlivePackages.tex-ewd | Macros to typeset calculational proofs and programs in Dijkstra's style |
| packages/nixpkgs/haskellPackages.hsp-cgi | Facilitates running Haskell Server Pages web pages as CGI programs |
| packages/nixpkgs/perlPackages.Expect | Automate interactions with command line programs that expose a text terminal interface |
| packages/nixpkgs/haskellPackages.mem-info | Print the core memory usage of programs |
| packages/nixpkgs/haskellPackages.THSH | A "noDSL" approach to mixing shell scripting with Haskell programs using Template Haskell |
| packages/nixpkgs/haskellPackages.Hs2lib | A Library and Preprocessor that makes it easier to create shared libs from Haskell programs |
| packages/nixpkgs/haskellPackages.runhs | Stack wrapper for single-file Haskell programs |
| packages/nixpkgs/perl540Packages.AppCLI | Dispatcher module for command line interface programs |
| packages/nixpkgs/perl538Packages.AppCLI | Dispatcher module for command line interface programs |
| packages/nixpkgs/haskellPackages.PropaFP | Auto-active verification of floating-point programs |
| packages/nixpkgs/haskellPackages.crux-llvm | A verification tool for C programs |
| packages/nixpkgs/perl5Packages.Expect | Automate interactions with command line programs that expose a text terminal interface |
| packages/nixpkgs/haskellPackages.alsa-gui | Some simple interactive programs for sending MIDI control messages via ALSA |
| packages/nixpkgs/haskellPackages.titan | Testing Infrastructure for Temporal AbstractioNs - GUI to debug temporal programs |
| packages/nixpkgs/texlivePackages.tikz-sfc | Symbols collection for typesetting Sequential Function Chart (SFC) diagrams (PLC programs) |
| packages/nixpkgs/haskellPackages.PropRatt | Property-based testing framework for testing asynchronous FRP programs |
| packages/nixpkgs/haskellPackages.ghc-gc-tune | Graph performance of Haskell programs with different GC flags |
| packages/nixpkgs/haskellPackages.tls-debug | Set of programs for TLS testing and debugging |
| packages/nixpkgs/perlPackages.TestExpect | Automated driving and testing of terminal-based programs |
| packages/nixpkgs/haskellPackages.Lastik | A library for compiling programs in a variety of languages |
| packages/nixpkgs/haskellPackages.dejafu | A library for unit-testing concurrent programs |
| packages/nixpkgs/haskellPackages.curry-base | Functions for manipulating Curry programs |
| packages/nixpkgs/haskellPackages.oughta | A library to test programs that output text |
| packages/nixpkgs/perl5Packages.TestExpect | Automated driving and testing of terminal-based programs |
| packages/nixpkgs/haskellPackages.ivory-eval | Simple concrete evaluator for Ivory programs |
| packages/nixpkgs/haskellPackages.HJScript | HJScript is a Haskell EDSL for writing JavaScript programs |
| packages/nixpkgs/texlivePackages.c-pascal | Typeset Python, C and Pascal programs |
| packages/nixpkgs/haskellPackages.postie | SMTP server library to receive emails from within Haskell programs |
| packages/nixpkgs/cyberpunk-neon | Neon themes for many programs |
| packages/nixpkgs/haskellPackages.QuickCheck | Automatic testing of Haskell programs |
| packages/nixpkgs/lockfileProgs | Programs for locking and unlocking files and mailboxes |
| packages/nixpkgs/perlPackages.TestPerlCritic | Use Perl::Critic in test programs |
| packages/nixpkgs/haskellPackages.Pup-Events | A networked event handling framework for hooking into other programs |
| packages/nixpkgs/haskellPackages.sbvPlugin | Formally prove properties of Haskell programs using SBV/SMT |
| packages/nixpkgs/haskellPackages.clash-shake | Shake rules for building Clash programs |
| packages/nixpkgs/texlivePackages.algobox | Typeset Algobox programs |
| packages/nixpkgs/haskellPackages.powerpc | Tools for PowerPC programs |
| packages/nixpkgs/haskellPackages.threadPool | Runs other programs in the manner of a thread pool |
| packages/nixpkgs/perlPackages.CaptureTiny | Capture STDOUT and STDERR from Perl, XS or external programs |
| packages/nixpkgs/perl5Packages.TestPerlCritic | Use Perl::Critic in test programs |
| packages/nixpkgs/texlivePackages.texware | Utility programs for use with TeX |
| packages/nixpkgs/texlivePackages.scratch | Draw programs like "scratch" |
| packages/nixpkgs/perl538Packages.Expect | Automate interactions with command line programs that expose a text terminal interface |
| packages/nixpkgs/perl540Packages.Expect | Automate interactions with command line programs that expose a text terminal interface |
| packages/nixpkgs/haskellPackages.fastcgi | A Haskell library for writing FastCGI programs |
| packages/nixpkgs/haskellPackages.hfusion | A library for fusing a subset of Haskell programs |
| packages/nixpkgs/haskellPackages.hylolib | Tools for hybrid logics related programs |
| packages/nixpkgs/haskellPackages.fitspec | refining property sets for testing Haskell programs |
| packages/nixpkgs/haskellPackages.copilot | A stream DSL for writing embedded C programs |