| haskellPackages.Ztrategic | Zipper-based library for strategic programming and attribute grammars |
| haskellPackages.yices-painless | An embedded language for programming the Yices SMT solver |
| haskellPackages.large-generics | Generic programming API for large-records and large-anon |
| haskellPackages.funcons-lambda-cbv-mp | call-by-value lambda-calculus with meta-programming |
| haskellPackages.dhscanner-ast | abstract syntax tree for multiple programming languages |
| haskellPackages.DysFRP-Craftwerk | dysFunctional Reactive Programming on Craftwerk |
| haskellPackages.acme-stringly-typed | Stringly Typed Programming |
| haskellPackages.arduino-copilot | Arduino programming in haskell using the Copilot stream DSL |
| haskellPackages.linear-generics | Generic programming library for generalised deriving |
| haskellPackages.servant-foreign | Helpers for generating clients for servant APIs in any programming language |
| haskellPackages.reactive-thread | Reactive programming via imperative threads |
| haskellPackages.reactive-banana | Library for functional reactive programming (FRP) |
| haskellPackages.language-oberon | Parser, pretty-printer, and more for the Oberon programming language |
| haskellPackages.tomato-rubato-openal | Easy to use library for audio programming |
| haskellPackages.logict-sequence | A backtracking logic-programming monad with asymptotic improvements to msplit |
| haskellPackages.language-Modula2 | Parser, pretty-printer, and more for the Modula-2 programming language |
| haskellPackages.symantic-parser | Parser combinators statically optimized and staged via typed meta-programming |
| skawarePackages.skalibs_2_10 | Set of general-purpose C programming libraries |
| color-transformation-language | Programming language for digital color management |
| haskellPackages.forbidden-fruit | A library accelerates imperative style programming |
| haskellPackages.inliterate | Interactive literate programming |
| haskellPackages.whitespace | Whitespace, an esoteric programming language |
| texlivePackages.functional | An intuitive functional programming interface for LaTeX2 |
| haskellPackages.purescript | PureScript Programming Language Compiler |
| haskellPackages.grapefruit-ui | Declarative user interface programming |
| 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 |
| 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.sparsecheck | A Logic Programming Library for Test-Data Generation |
| haskellPackages.quipper-rendering | An embedded, scalable functional programming language for quantum computing |
| 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 |