| haskellPackages.reactive-banana-gi-gtk | Simple reactive programming with GTK GObject Introspection |
| akkuPackages.rebottled-schelog | Dorai Sitaram's Schelog: logic programming in Scheme |
| haskellPackages.generic-deriving | Generic programming library for generalised deriving |
| haskellPackages.instant-generics | Generic programming library with a sum of products view |
| haskellPackages.grapefruit-frp | Functional Reactive Programming core |
| haskellPackages.monadiccp-gecode | Constraint Programming |
| haskellPackages.ghc-lib-parser-ex_9_14_2_0 | Programming with GHC parse trees |
| haskellPackages.unbound-generics | Support for programming with names and binders using GHC Generics |
| haskellPackages.quipper-language | Quipper, an embedded functional programming language for quantum computation |
| haskellPackages.parconc-examples | Examples to accompany the book "Parallel and Concurrent Programming in Haskell" |
| texlivePackages.clojure-pamphlet | A simple literate programming tool based on clojure's pamphlet system |
| haskellPackages.purescript-cst | PureScript Programming Language Concrete Syntax Tree |
| haskellPackages.purescript-ast | PureScript Programming Language Abstract Syntax Tree |
| haskellPackages.coroutine-object | Object-oriented programming realization using coroutine |
| haskellPackages.grapefruit-ui-gtk | GTK+-based backend for declarative user interface programming |
| haskellPackages.QuickCheck_2_15_0_1 | Automatic testing of Haskell programs |
| akkuPackages.scheme-langserver | This package is a language server protocol implementation helping scheme programming. |
| haskellPackages.profunctor-monad | Monadic bidirectional programming |
| haskellPackages.unbound-kind-generics | Support for programming with names and binders using kind-generics |
| haskellPackages.reflex_0_9_4_0 | Higher-order Functional Reactive Programming |
| haskellPackages.probability | Probabilistic Functional Programming |
| texlivePackages.beamertools | A collection of programming tools for beamer |
| haskellPackages.functional-arrow | Combinators that allow for a more functional/monadic style of Arrow programming |
| haskellPackages.effective-aspects | A monadic embedding of aspect oriented programming |
| haskellPackages.hyperscript | A parser for the _hyperscript programming language |
| haskellPackages.edenmodules | Semi-explicit parallel programming library |
| haskellPackages._3d-graphics-examples | Examples of 3D graphics programming with OpenGL |
| texlivePackages.latexindent | Indent a LaTeX document, highlighting the programming structure |
| haskellPackages.copilot_4_3 | A stream DSL for writing embedded C programs |
| haskellPackages.sparsecheck | A Logic Programming Library for Test-Data Generation |
| haskellPackages.quipper-rendering | An embedded, scalable functional programming language for quantum computing |
| haskellPackages.mem-info_0_4_1_0 | Print the core memory usage of programs |
| haskellPackages.Lambdajudge | A library to easily host Haskell based programming competitions |
| haskellPackages.Shpadoinkle | A programming model for declarative, high performance user interface |
| haskellPackages.deepcontrol | A library that provides deep-level programming style and(or) notation on Applicative and Monad |
| haskellPackages.snaplet-typed-sessions | Typed session snaplets and continuation-based programming for the Snap web framework |
| haskellPackages.gi-gtk-declarative | Declarative GTK+ programming in Haskell |
| haskellPackages.kind-generics-deriving | Generic programming in GHC style for arbitrary kinds and GADTs |
| haskellPackages.effective-aspects-mzv | A monadic embedding of aspect oriented programming, using "Monads, Zippers and Views" instead of mtl |
| haskellPackages.type-combinators | A collection of data types for type-level programming |
| haskellPackages.hmatrix-quadprogpp | Bindings to the QuadProg++ quadratic programming library |
| haskellPackages.grapefruit-records | A record system for Functional Reactive Programming |
| haskellPackages.flexible-numeric-parsers | Flexible numeric parsers for real-world programming languages |
| functionalplus | Functional Programming Library for C++ |
| haskellPackages.Strafunski-StrategyLib | Library for strategic programming |
| haskellPackages.simplistic-generics | Generic programming without too many type classes |
| haskellPackages.distributed-closure | Serializable closures for distributed programming |
| haskellPackages.parallel_3_3_0_0 | Parallel programming library |
| haskellPackages.gi-gtk-declarative-app-simple | Declarative GTK+ programming in Haskell in the style of Pux |
| texlivePackages.stringstrings | String manipulation for cosmetic and programming application |
| haskellPackages.arghwxhaskell | An interpreter for the Argh! programming language in wxHaskell |
| pv | Tool for monitoring the progress of data through a pipeline |
| cope | Colourful wrapper for terminal programs |
| peg | Tools for generating recursive-descent parsers: programs that perform pattern matching on text |
| qpdf | C++ library and set of programs that inspect and manipulate the structure of PDF files |
| haskellPackages.exploring-interpreters | A generic exploring interpreter for exploratory programming |
| gappa | Verifying and formally proving properties on numerical programs dealing with floating-point or fixed-point arithmetic |
| quick-lint-js | Find bugs in Javascript programs |
| csmith | Random generator of C programs |
| pdf-parser | Parse a PDF document |
| s6-dns | Suite of DNS client programs and libraries for Unix systems |
| rictydiminished-with-firacode | Best Japanese programming font meets the awesome ligatures of Firacode |
| num-utils | Programs for dealing with numbers from the command line |
| sfeed | RSS and Atom parser (and some format programs) |
| arduinoOTA | Tool for uploading programs to Arduino boards over a network |
| perlPackages.AppCLI | Dispatcher module for command line interface programs |
| perl5Packages.AppCLI | Dispatcher module for command line interface programs |
| t1utils | Collection of simple Type 1 font manipulation programs |
| haskellPackages.cgi | A library for writing CGI programs |
| 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 |
| 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 |