| packages/nixpkgs/miniaudicle | Light-weight integrated development environment for the ChucK digital audio programming language |
| packages/nixpkgs/haskellPackages.generics-mrsop | Generic Programming with Mutually Recursive Sums of Products |
| packages/nixpkgs/haskellPackages.Ztrategic | Zipper-based library for strategic programming and attribute grammars |
| packages/nixpkgs/haskellPackages.yices-painless | An embedded language for programming the Yices SMT solver |
| packages/nixpkgs/haskellPackages.large-generics | Generic programming API for large-records and large-anon |
| packages/nixpkgs/haskellPackages.dhscanner-ast | abstract syntax tree for multiple programming languages |
| packages/nixpkgs/haskellPackages.funcons-lambda-cbv-mp | call-by-value lambda-calculus with meta-programming |
| packages/nixpkgs/haskellPackages.DysFRP-Craftwerk | dysFunctional Reactive Programming on Craftwerk |
| packages/nixpkgs/haskellPackages.acme-stringly-typed | Stringly Typed Programming |
| packages/nixpkgs/haskellPackages.linear-generics | Generic programming library for generalised deriving |
| packages/nixpkgs/haskellPackages.arduino-copilot | Arduino programming in haskell using the Copilot stream DSL |
| packages/nixpkgs/haskellPackages.servant-foreign | Helpers for generating clients for servant APIs in any programming language |
| packages/nixpkgs/haskellPackages.reactive-thread | Reactive programming via imperative threads |
| packages/nixpkgs/haskellPackages.reactive-banana | Library for functional reactive programming (FRP) |
| packages/nixpkgs/haskellPackages.language-oberon | Parser, pretty-printer, and more for the Oberon programming language |
| packages/nixpkgs/haskellPackages.tomato-rubato-openal | Easy to use library for audio programming |
| packages/nixpkgs/haskellPackages.logict-sequence | A backtracking logic-programming monad with asymptotic improvements to msplit |
| packages/nixpkgs/haskellPackages.language-Modula2 | Parser, pretty-printer, and more for the Modula-2 programming language |
| packages/nixpkgs/haskellPackages.symantic-parser | Parser combinators statically optimized and staged via typed meta-programming |
| packages/nixpkgs/skawarePackages.skalibs_2_10 | Set of general-purpose C programming libraries |
| packages/nixpkgs/color-transformation-language | Programming language for digital color management |
| packages/nixpkgs/texlivePackages.functional | An intuitive functional programming interface for LaTeX2 |
| packages/nixpkgs/haskellPackages.inliterate | Interactive literate programming |
| packages/nixpkgs/haskellPackages.forbidden-fruit | A library accelerates imperative style programming |
| packages/nixpkgs/haskellPackages.whitespace | Whitespace, an esoteric programming language |
| packages/nixpkgs/haskellPackages.purescript | PureScript Programming Language Compiler |
| packages/nixpkgs/haskellPackages.grapefruit-ui | Declarative user interface programming |
| packages/nixpkgs/haskellPackages.reactive-banana-gi-gtk | Simple reactive programming with GTK GObject Introspection |
| packages/nixpkgs/akkuPackages.rebottled-schelog | Dorai Sitaram's Schelog: logic programming in Scheme |
| packages/nixpkgs/haskellPackages.generic-deriving | Generic programming library for generalised deriving |
| packages/nixpkgs/haskellPackages.instant-generics | Generic programming library with a sum of products view |
| packages/nixpkgs/haskellPackages.grapefruit-frp | Functional Reactive Programming core |
| packages/nixpkgs/haskellPackages.monadiccp-gecode | Constraint Programming |
| packages/nixpkgs/texlivePackages.clojure-pamphlet | A simple literate programming tool based on clojure's pamphlet system |
| packages/nixpkgs/haskellPackages.ghc-lib-parser-ex_9_14_2_0 | Programming with GHC parse trees |
| packages/nixpkgs/haskellPackages.unbound-generics | Support for programming with names and binders using GHC Generics |
| packages/nixpkgs/haskellPackages.quipper-language | Quipper, an embedded functional programming language for quantum computation |
| packages/nixpkgs/haskellPackages.parconc-examples | Examples to accompany the book "Parallel and Concurrent Programming in Haskell" |
| packages/nixpkgs/haskellPackages.purescript-ast | PureScript Programming Language Abstract Syntax Tree |
| packages/nixpkgs/haskellPackages.purescript-cst | PureScript Programming Language Concrete Syntax Tree |
| packages/nixpkgs/haskellPackages.coroutine-object | Object-oriented programming realization using coroutine |
| packages/nixpkgs/haskellPackages.grapefruit-ui-gtk | GTK+-based backend for declarative user interface programming |
| packages/nixpkgs/akkuPackages.scheme-langserver | This package is a language server protocol implementation helping scheme programming. |
| packages/nixpkgs/haskellPackages.profunctor-monad | Monadic bidirectional programming |
| packages/nixpkgs/haskellPackages.unbound-kind-generics | Support for programming with names and binders using kind-generics |
| packages/nixpkgs/haskellPackages.reflex_0_9_4_0 | Higher-order Functional Reactive Programming |
| packages/nixpkgs/texlivePackages.beamertools | A collection of programming tools for beamer |
| packages/nixpkgs/haskellPackages.probability | Probabilistic Functional Programming |
| packages/nixpkgs/haskellPackages.hyperscript | A parser for the _hyperscript programming language |
| packages/nixpkgs/haskellPackages.functional-arrow | Combinators that allow for a more functional/monadic style of Arrow programming |
| packages/nixpkgs/haskellPackages.effective-aspects | A monadic embedding of aspect oriented programming |
| packages/nixpkgs/texlivePackages.latexindent | Indent a LaTeX document, highlighting the programming structure |
| packages/nixpkgs/haskellPackages._3d-graphics-examples | Examples of 3D graphics programming with OpenGL |
| packages/nixpkgs/haskellPackages.edenmodules | Semi-explicit parallel programming library |
| packages/nixpkgs/haskellPackages.quipper-rendering | An embedded, scalable functional programming language for quantum computing |
| packages/nixpkgs/haskellPackages.sparsecheck | A Logic Programming Library for Test-Data Generation |
| packages/nixpkgs/haskellPackages.Shpadoinkle | A programming model for declarative, high performance user interface |
| packages/nixpkgs/haskellPackages.Lambdajudge | A library to easily host Haskell based programming competitions |
| 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.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.grapefruit-records | A record system for Functional Reactive Programming |
| packages/nixpkgs/haskellPackages.hmatrix-quadprogpp | Bindings to the QuadProg++ quadratic programming library |
| 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/pv | Tool for monitoring the progress of data through a pipeline |
| 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/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/num-utils | Programs for dealing with numbers from the command line |
| packages/nixpkgs/rictydiminished-with-firacode | Best Japanese programming font meets the awesome ligatures of Firacode |
| 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/idrisPackages.test | Testing Utilities for Idris programs |
| packages/nixpkgs/haskellPackages.opn | Open files or URLs using associated 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/skawarePackages.s6-dns | Suite of DNS client programs and libraries for Unix systems |