| haskellPackages.instant-generics | Generic programming library with a sum of products view |
| haskellPackages.grapefruit-frp | Functional Reactive Programming core |
| haskellPackages.monadiccp-gecode | Constraint Programming |
| lxqt.lxqt-runner | Tool used to launch programs quickly by typing their names |
| npiet | Interpreter for piet programs. Also includes npietedit and npiet-foogol |
| 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 |
| luajitPackages.luafilesystem | File System Library for the Lua Programming Language |
| python313Packages.pyfunctional | Python library for creating data pipelines with chain functional programming |
| python314Packages.pyfunctional | Python library for creating data pipelines with chain functional programming |
| bashate | Style enforcement for bash programs |
| libxc | Library of exchange-correlation functionals for density-functional theory |
| pdfid | Scan a file to look for certain PDF keywords |
| haskellPackages.coroutine-object | Object-oriented programming realization using coroutine |
| haskellPackages.grapefruit-ui-gtk | GTK+-based backend for declarative user interface programming |
| python312Packages.py4j | Py4J enables Python programs running in a Python interpreter to dynamically access Java objects in a Java Virtual Machine. Methods are called as if the Java objects resided in the Python interpreter and Java collections can be accessed through standard Python collection methods. Py4J also enables Java programs to call back Python objects |
| bpftop | Dynamic real-time view of running eBPF programs |
| crudini | Utility for manipulating ini files |
| samba4 | Standard Windows interoperability suite of programs for Linux and Unix |
| sambaFull | Standard Windows interoperability suite of programs for Linux and Unix |
| openfpgaloader | Universal utility for programming FPGAs |
| akkuPackages.scheme-langserver | This package is a language server protocol implementation helping scheme programming. |
| haskellPackages.profunctor-monad | Monadic bidirectional programming |
| ocamlPackages.lwt-exit | Opinionated clean-exit and signal-handling library for Lwt programs |
| nailgun | Client, protocol, and server for running Java programs from the command line without incurring the JVM startup overhead |
| pico-sdk | SDK provides the headers, libraries and build system necessary to write programs for the RP2040-based devices |
| haskellPackages.unbound-kind-generics | Support for programming with names and binders using kind-generics |
| luaPackages.luafilesystem | File System Library for the Lua Programming Language |
| 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 |
| trojan-rs | Trojan server and proxy programs written in Rust |
| 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 |
| cbmc | Bounded Model Checker for C and C++ programs |
| rlwrap | Readline wrapper for console programs |
| faust2jackrust | The faust2jackrust script, part of faust functional programming language for realtime audio signal processing |
| haskellPackages.sparsecheck | A Logic Programming Library for Test-Data Generation |
| haskellPackages.quipper-rendering | An embedded, scalable functional programming language for quantum computing |
| lua55Packages.luafilesystem | File System Library for the Lua Programming Language |
| lua51Packages.luafilesystem | File System Library for the Lua Programming Language |
| lua53Packages.luafilesystem | File System Library for the Lua Programming Language |
| lua54Packages.luafilesystem | File System Library for the Lua Programming Language |
| lua52Packages.luafilesystem | File System Library for the Lua Programming Language |
| haskellPackages.Lambdajudge | A library to easily host Haskell based programming competitions |
| haskellPackages.Shpadoinkle | A programming model for declarative, high performance user interface |
| rune-languageserver | Language server for the Rune Language, an embeddable dynamic programming language for Rust |
| vscode-extensions.julialang.language-julia | Visual Studio Code extension for Julia programming language |
| tpm-quote-tools | Collection of programs that provide support for TPM based attestation using the TPM quote mechanism |
| 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 |
| python312Packages.pyfunctional | Python library for creating data pipelines with chain functional programming |
| pioasm | Assemble PIO programs for Raspberry Pi Pico |
| haskellPackages.gi-gtk-declarative | Declarative GTK+ programming in Haskell |
| haskellPackages.kind-generics-deriving | Generic programming in GHC style for arbitrary kinds and GADTs |
| abduco | Allows programs to be run independently from its controlling terminal |
| limitcpu | Tool to throttle the CPU usage of programs |
| progress | Tool that shows the progress of coreutils programs |
| 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 |
| clingo | ASP system to ground and solve logic programs |
| libxc_7 | Library of exchange-correlation functionals for density-functional theory |
| haskellPackages.hmatrix-quadprogpp | Bindings to the QuadProg++ quadratic programming library |
| haskellPackages.grapefruit-records | A record system for Functional Reactive Programming |
| qt6Packages.quazip | Provides access to ZIP archives from Qt programs |
| kdePackages.quazip | Provides access to ZIP archives from Qt programs |
| haskellPackages.flexible-numeric-parsers | Flexible numeric parsers for real-world programming languages |
| rubiks | Several programs for working with Rubik's cubes |
| supercollider_scel | Programming language for real time audio synthesis |
| errcheck | Checks for unchecked errors in go programs |
| kdePackages.ktimer | Little tool to execute programs after some time |
| functionalplus | Functional Programming Library for C++ |
| debugedit | Provides programs and scripts for creating debuginfo and source file distributions, collect build-ids and rewrite source paths in DWARF data for debugging, tracing and profiling |
| discord-gamesdk | Library to allow other programs to interact with the Discord desktop application |
| ocamlPackages.tyxml | Library that makes it almost impossible for your OCaml programs to generate wrong XML output, using static typing |
| haskellPackages.Strafunski-StrategyLib | Library for strategic programming |
| haskellPackages.simplistic-generics | Generic programming without too many type classes |
| icoutils | Set of programs to deal with Microsoft Windows(R) icon and cursor files |
| yelp-tools | Small programs that help you create, edit, manage, and publish your Mallard or DocBook documentation |
| xmpp-bridge | Connect command-line programs to XMPP |
| symphony | Open-source solver, callable library, and development framework for mixed-integer linear programs (MILPs) |
| haskellPackages.distributed-closure | Serializable closures for distributed programming |
| haskellPackages.parallel_3_3_0_0 | Parallel programming library |
| dejagnu | Framework for testing other programs |
| haskellPackages.gi-gtk-declarative-app-simple | Declarative GTK+ programming in Haskell in the style of Pux |
| typstPackages.stack-pointer | A library for visualizing the execution of (imperative) computer programs |
| python313Packages.explorerscript | Programming language + compiler/decompiler for creating scripts for Pokémon Mystery Dungeon Explorers of Sky |
| python314Packages.explorerscript | Programming language + compiler/decompiler for creating scripts for Pokémon Mystery Dungeon Explorers of Sky |
| gogui | Graphical user interface to programs that play the board game Go and support the Go Text Protocol such as GNU Go |
| ocamlPackages_latest.lwt-exit | Opinionated clean-exit and signal-handling library for Lwt programs |
| ocamlPackages.merlin | Editor-independent tool to ease the development of programs in OCaml |