| packages/nixpkgs/haskellPackages.executable-hash | Provides the SHA1 hash of the program executable |
| packages/nixpkgs/haskellPackages.Agda-executable | Command-line program for type-checking and compiling Agda programs |
| packages/nixpkgs/perlPackages.StringToIdentifierEN | Convert Strings to English Program Identifiers |
| packages/nixpkgs/perceptualdiff | Program that compares two images using a perceptually based image metric |
| packages/nixpkgs/texlivePackages.hvpygmentex | Syntax-Highlighting of program code |
| packages/nixpkgs/perl5Packages.StringToIdentifierEN | Convert Strings to English Program Identifiers |
| packages/nixpkgs/haskellPackages.postgresql-config | Types for easy adding postgresql configuration to your program |
| packages/nixpkgs/haskellPackages.rabocsv2qif | A library and program to create QIF files from Rabobank CSV exports |
| packages/nixpkgs/audiowaveform | C++ program to generate waveform data and render waveform images from audio files |
| packages/nixpkgs/haskellPackages.HaskellAnalysisProgram | Haskell source code analysis program |
| packages/nixpkgs/perl538Packages.StringToIdentifierEN | Convert Strings to English Program Identifiers |
| packages/nixpkgs/perl540Packages.StringToIdentifierEN | Convert Strings to English Program Identifiers |
| packages/nixpkgs/texlivePackages.memorygraphs | TikZ styles to typeset graphs of program memory |
| packages/nixpkgs/haskellPackages.multiplicity | Wrapper program for duplicity, adding config files |
| packages/nixpkgs/openorienteering-mapper | Orienteering mapmaking program |
| packages/nixpkgs/haskellPackages.textmatetags | A simple Haskell program to provide tags for Haskell code completion in TextMate |
| packages/nixpkgs/haskellPackages.lambdacube-compiler | LambdaCube 3D is a DSL to program GPUs |
| packages/nixpkgs/chickenPackages_5.chickenEggs.svnwiki2html | A program to convert svnwiki syntax to HTML |
| packages/nixpkgs/haskellPackages.reflex-dom-fragment-shader-canvas | A reflex-dom widget to draw on a canvas with a fragment shader program |
| packages/nixpkgs/jpegexiforient | Utility program to get and set the Exif Orientation Tag |
| packages/nixpkgs/haskellPackages.functor-combinators | Tools for functor combinator-based program design |
| packages/nixpkgs/haskellPackages.visual-graphrewrite | Visualize the graph-rewrite steps of a Haskell program |
| packages/nixpkgs/haskellPackages.stackcollapse-ghc | Program to fold GHC prof files into flamegraph input |
| packages/nixpkgs/haskellPackages.Holumbus-Distribution | intra- and inter-program communication |
| packages/nixpkgs/haskellPackages.puppetresources | A program that displays the puppet resources associated to a node given .pp files. |
| packages/nixpkgs/haskellPackages.dresdner-verkehrsbetriebe | Library and program for querying DVB (Dresdner Verkehrsbetriebe AG) |
| packages/nixpkgs/bend | Massively parallel, high-level programming language |
| packages/nixpkgs/leo-lang | Functional, statically-typed programming language built for writing private applications |
| packages/nixpkgs/amber-lang | Programming language compiled to bash |
| packages/nixpkgs/wl-clip-persist | Keep Wayland clipboard even after programs close |
| packages/nixpkgs/frawk | Small programming language for writing short programs processing textual data |
| packages/nixpkgs/rotonda | Composable, programmable BGP Engine |
| packages/nixpkgs/chiptrack | Programmable cross-platform sequencer for the Game Boy Advance sound chip |
| packages/nixpkgs/proton-caller | Run Windows programs with Proton |
| packages/nixpkgs/glas | Language server for the Gleam programming language |
| packages/nixpkgs/koto | Simple, expressive, embeddable programming language |
| packages/nixpkgs/tmc-cli | CLI for using the TestMyCode programming assignment evaluator |
| packages/nixpkgs/rune | Interpreter for the Rune Language, an embeddable dynamic programming language for Rust |
| packages/nixpkgs/uiua | Stack-oriented array programming language with a focus on simplicity, beauty, and tacit code |
| packages/nixpkgs/par-lang | Experimental concurrent programming language |
| packages/nixpkgs/kind2 | Functional programming language and proof assistant |
| packages/nixpkgs/statix | Lints and suggestions for the nix programming language |
| packages/nixpkgs/shisho | Lightweight static analyzer for several programming languages |
| packages/nixpkgs/uiua-unstable | Stack-oriented array programming language with a focus on simplicity, beauty, and tacit code |
| packages/nixpkgs/vimPlugins.statix | Lints and suggestions for the nix programming language |
| packages/nixpkgs/turtle-build | Ninja-compatible build system for high-level programming languages written in Rust |
| packages/nixpkgs/faustfmt | Formatter for the Faust programming language, using Topiary |
| packages/nixpkgs/mergiraf | Syntax-aware git merge driver for a growing collection of programming languages and file formats |
| packages/nixpkgs/rustlings | Explore the Rust programming language and learn more about it while doing exercises |
| packages/nixpkgs/passerine | Small extensible programming language designed for concise expression with little code |
| packages/nixpkgs/sourcepawn-studio | LSP implementation for the SourcePawn programming language written in Rust |
| packages/nixpkgs/comma | Runs programs without installing them |
| packages/nixpkgs/cairo-lang | Turing-complete language for creating provable programs for general computation |
| packages/nixpkgs/flip-link | Adds zero-cost stack overflow protection to your embedded programs |
| packages/nixpkgs/bpftop | Dynamic real-time view of running eBPF programs |
| packages/nixpkgs/trojan-rs | Trojan server and proxy programs written in Rust |
| packages/nixpkgs/rune-languageserver | Language server for the Rune Language, an embeddable dynamic programming language for Rust |
| packages/nixpkgs/racket | Programmable programming language |
| packages/nixpkgs/external-editor-revived | Native messaging host for the Thunderbird addon allowing to edit mails in external programs |
| packages/nixpkgs/easypdkprog | Read, write and execute programs on PADAUK microcontroller |
| packages/nixpkgs/pc | Programmer's calculator |
| packages/nixpkgs/egypt | Tool for making call graphs of C programmes |
| packages/nixpkgs/pcalc | Programmer's calculator |
| packages/nixpkgs/libpq | C application programmer's interface to PostgreSQL |
| packages/nixpkgs/jedit | Programmer's text editor written in Java |
| packages/nixpkgs/dnote | Simple command line notebook for programmers |
| packages/nixpkgs/jed | Programmable text editor written around S-Lang |
| packages/nixpkgs/xconq | Programmable turn-based strategy game |
| packages/nixpkgs/pqiv | Powerful image viewer with minimal UI |
| packages/nixpkgs/wch-isp | Firmware programmer for WCH microcontrollers over USB |
| packages/nixpkgs/ztools | Essential set of Z-machine tools for interpreter authors, experienced Inform programmers, and Z-code hackers |
| packages/nixpkgs/dfu-util | Device firmware update (DFU) USB programmer |
| packages/nixpkgs/imsprog | Free I2C EEPROM programmer tool for CH341A device |
| packages/nixpkgs/icon-lang | Very high level general-purpose programming language |
| packages/nixpkgs/zig_0_12 | General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software |
| packages/nixpkgs/chickenPackages_5.chickenEggs.lazy-ffi | A foreign function interface for lazy programmers |
| packages/nixpkgs/bash-completion | Programmable completion for the bash shell |
| packages/nixpkgs/agdaPackages.generic | A library for doing generic programming in Agda |
| packages/nixpkgs/chickenPackages_5.chickenEggs.mistie | A programmable filter |
| packages/nixpkgs/chickenPackages_5.chickenEggs.compile-file | Programmatic compiler invocation |
| packages/nixpkgs/proxsuite-nlp | Primal-dual augmented Lagrangian solver for nonlinear programming on manifolds |
| packages/nixpkgs/beam26Packages.elixir_1_14 | Functional, meta-programming aware language built on top of the Erlang VM |
| packages/nixpkgs/luaPackages.moonscript | A programmer friendly language that compiles to Lua |
| packages/nixpkgs/beamMinimal26Packages.elixir_1_14 | Functional, meta-programming aware language built on top of the Erlang VM |
| packages/nixpkgs/lua55Packages.moonscript | A programmer friendly language that compiles to Lua |
| packages/nixpkgs/lua54Packages.moonscript | A programmer friendly language that compiles to Lua |
| packages/nixpkgs/lua53Packages.moonscript | A programmer friendly language that compiles to Lua |
| packages/nixpkgs/lua51Packages.moonscript | A programmer friendly language that compiles to Lua |
| packages/nixpkgs/lua52Packages.moonscript | A programmer friendly language that compiles to Lua |
| packages/nixpkgs/python312Packages.proxsuite-nlp | Primal-dual augmented Lagrangian solver for nonlinear programming on manifolds |
| packages/nixpkgs/python313Packages.proxsuite-nlp | Primal-dual augmented Lagrangian solver for nonlinear programming on manifolds |
| packages/nixpkgs/coqPackages.ElmExtraction | A framework for extracting Coq programs to Elm |
| packages/nixpkgs/coqPackages.RustExtraction | A framework for extracting Coq programs to Rust |
| packages/nixpkgs/tab | Programming language/shell calculator |
| packages/nixpkgs/c0 | Small safe subset of the C programming language, augmented with contracts |
| packages/nixpkgs/ols | Language server for the Odin programming language |
| packages/nixpkgs/alda | Music programming language for musicians |
| packages/nixpkgs/celf | Linear logic programming system |
| packages/nixpkgs/zig | General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software |
| packages/nixpkgs/osi | Abstract base class to a generic linear programming (LP) solver |