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