| packages/nixpkgs/proton-caller | Run Windows programs with Proton |
| 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/easypdkprog | Read, write and execute programs on PADAUK microcontroller |
| 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/pc | Programmer's calculator |
| packages/nixpkgs/egypt | Tool for making call graphs of C programmes |
| 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/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/external-editor-revived | Native messaging host for the Thunderbird addon allowing to edit mails in external programs |
| 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/chickenPackages_5.chickenEggs.lazy-ffi | A foreign function interface for lazy programmers |
| packages/nixpkgs/bash-completion | Programmable completion for the bash shell |
| packages/nixpkgs/chickenPackages_5.chickenEggs.mistie | A programmable filter |
| packages/nixpkgs/chickenPackages_5.chickenEggs.compile-file | Programmatic compiler invocation |
| packages/nixpkgs/luaPackages.moonscript | A programmer friendly language that compiles to Lua |
| packages/nixpkgs/lua55Packages.moonscript | A programmer friendly language that compiles to Lua |
| packages/nixpkgs/lua53Packages.moonscript | A programmer friendly language that compiles to Lua |
| packages/nixpkgs/lua52Packages.moonscript | A programmer friendly language that compiles to Lua |
| packages/nixpkgs/lua51Packages.moonscript | A programmer friendly language that compiles to Lua |
| packages/nixpkgs/lua54Packages.moonscript | A programmer friendly language that compiles to Lua |
| 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/agdaPackages.generic | A library for doing generic programming in Agda |
| 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/tab | Programming language/shell calculator |
| packages/nixpkgs/beamMinimal26Packages.elixir_1_14 | Functional, meta-programming aware language built on top of the Erlang VM |
| packages/nixpkgs/c0 | Small safe subset of the C programming language, augmented with contracts |
| 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/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/osi | Abstract base class to a generic linear programming (LP) solver |
| packages/nixpkgs/zig | General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software |
| packages/nixpkgs/ciao | General purpose, multi-paradigm programming language in the Prolog family |
| packages/nixpkgs/lamb | Tiny pure functional programming language in C |
| packages/nixpkgs/mawk | Interpreter for the AWK Programming Language |
| packages/nixpkgs/ats2 | Functional programming language with dependent types |
| packages/nixpkgs/odin | Fast, concise, readable, pragmatic and open sourced programming language |
| packages/nixpkgs/asio | Cross-platform C++ library for network and low-level I/O programming |
| packages/nixpkgs/colm | Programming language for the analysis and transformation of computer languages |
| packages/nixpkgs/nuweb | Simple literate programming tool |
| packages/nixpkgs/csdp | C Library for Semidefinite Programming |
| packages/nixpkgs/slang | Small, embeddable multi-platform programming library |
| packages/nixpkgs/alire | Source-based package manager for the Ada and SPARK programming languages |
| packages/nixpkgs/cemu-ti | Third-party TI-84 Plus CE / TI-83 Premium CE emulator, focused on developer features |
| packages/nixpkgs/chirp | Free, open-source tool for programming your amateur radio |
| packages/nixpkgs/chuck | Programming language for real-time sound synthesis and music creation |
| packages/nixpkgs/scalp | Scalable Linear Programming Library |
| packages/nixpkgs/zig-zlint | Linter for the Zig programming language |
| packages/nixpkgs/faust2 | Functional programming language for realtime audio signal processing |
| packages/nixpkgs/blisp | In-System-Programming (ISP) tool & library for Bouffalo Labs RISC-V Microcontrollers and SoCs |
| packages/nixpkgs/fleng | Low level concurrent logic programming language descended from Prolog |
| packages/nixpkgs/stlink | In-circuit debug and programming for ST-Link devices |
| packages/nixpkgs/bossa | Flash programming utility for Atmel's SAM family of flash-based ARM microcontrollers |
| packages/nixpkgs/xeus-cling | Jupyter kernel for the C++ programming language |
| packages/nixpkgs/elixir | Functional, meta-programming aware language built on top of the Erlang VM |
| packages/nixpkgs/erlang | Programming language used for massively scalable soft real-time systems |
| packages/nixpkgs/kokkos | C++ Performance Portability Programming EcoSystem |
| packages/nixpkgs/stlink-gui | In-circuit debug and programming for ST-Link devices |
| packages/nixpkgs/ceptre | Linear logic programming language for modeling generative interactive systems |
| packages/nixpkgs/falcon | Programming language with macros and syntax at once |
| packages/nixpkgs/zig_0_15 | General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software |
| packages/nixpkgs/zig_0_13 | General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software |
| packages/nixpkgs/zig_0_14 | General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software |
| packages/nixpkgs/fennel-ls | Language server for intelligent editing of the Fennel Programming Language |
| packages/nixpkgs/lolcode | Esoteric programming language |
| packages/nixpkgs/bonmin | Open-source code for solving general MINLP (Mixed Integer NonLinear Programming) problems |
| packages/nixpkgs/zigPackages."0.14" | General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software |
| packages/nixpkgs/zigPackages."0.15" | General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software |
| packages/nixpkgs/zigPackages."0.13" | General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software |
| packages/nixpkgs/dtools | Ancillary tools for the D programming language |
| packages/nixpkgs/cwebbin | Literate Programming in C/C++ |
| packages/nixpkgs/faust | Functional programming language for realtime audio signal processing |
| packages/nixpkgs/asio_1_10 | Cross-platform C++ library for network and low-level I/O programming |
| packages/nixpkgs/ldns | Library with the aim of simplifying DNS programming in C |