| python312Packages.docopt-subcommands | Create subcommand-based CLI programs with docopt |
| python312Packages.hypothesmith | Hypothesis strategies for generating Python programs, something like CSmith |
| python313Packages.qiskit-optimization | Software for developing quantum computing programs |
| python314Packages.qiskit-optimization | Software for developing quantum computing programs |
| python312Packages.qiskit-optimization | Software for developing quantum computing programs |
| python312Full | High-level dynamically-typed programming language |
| python3Full | High-level dynamically-typed programming language |
| python313Full | High-level dynamically-typed programming language |
| python314Full | High-level dynamically-typed programming language |
| python310Full | High-level dynamically-typed programming language |
| python311Full | High-level dynamically-typed programming language |
| sourcehut.python | High-level dynamically-typed programming language |
| python312Packages.aider-chat | AI pair programming in your terminal |
| python313Packages.aider-chat | AI pair programming in your terminal |
| frawk | Small programming language for writing short programs processing textual data |
| bend | Massively parallel, high-level programming language |
| racket | Programmable 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 |
| rotonda | Composable, programmable BGP Engine |
| chiptrack | Programmable cross-platform sequencer for the Game Boy Advance sound chip |
| glas | Language server for the Gleam programming language |
| koto | Simple, expressive, embeddable programming language |
| proton-caller | Run Windows programs with Proton |
| rune | Interpreter for the Rune Language, an embeddable dynamic programming language for Rust |
| tmc-cli | CLI for using the TestMyCode programming assignment evaluator |
| par-lang | Experimental concurrent programming language |
| uiua | Stack-oriented array programming language with a focus on simplicity, beauty, and tacit code |
| 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 |
| easypdkprog | Read, write and execute programs on PADAUK microcontroller |
| 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 |
| pc | Programmer's calculator |
| sourcepawn-studio | LSP implementation for the SourcePawn programming language written in Rust |
| egypt | Tool for making call graphs of C programmes |
| 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 |
| external-editor-revived | Native messaging host for the Thunderbird addon allowing to edit mails in external programs |
| 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 |
| chickenPackages_5.chickenEggs.lazy-ffi | A foreign function interface for lazy programmers |
| bash-completion | Programmable completion for the bash shell |
| chickenPackages_5.chickenEggs.mistie | A programmable filter |
| chickenPackages_5.chickenEggs.compile-file | Programmatic compiler invocation |
| luaPackages.moonscript | A programmer friendly language that compiles to Lua |
| lua55Packages.moonscript | A programmer friendly language that compiles to Lua |
| lua53Packages.moonscript | A programmer friendly language that compiles to Lua |
| lua52Packages.moonscript | A programmer friendly language that compiles to Lua |
| lua51Packages.moonscript | A programmer friendly language that compiles to Lua |
| lua54Packages.moonscript | A programmer friendly language that compiles to Lua |
| 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 |
| agdaPackages.generic | A library for doing generic programming in Agda |
| 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 |
| beamMinimal26Packages.elixir_1_14 | Functional, meta-programming aware language built on top of the Erlang VM |
| tab | Programming language/shell calculator |
| 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 |
| 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 |
| osi | Abstract base class to a generic linear programming (LP) solver |
| zig | General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software |
| ciao | General purpose, multi-paradigm programming language in the Prolog family |
| lamb | Tiny pure functional programming language in C |
| mawk | Interpreter for the AWK Programming Language |
| ats2 | Functional programming language with dependent types |
| odin | Fast, concise, readable, pragmatic and open sourced programming language |
| asio | Cross-platform C++ library for network and low-level I/O programming |
| colm | Programming language for the analysis and transformation of computer languages |
| nuweb | Simple literate programming tool |
| csdp | C Library for Semidefinite Programming |
| slang | Small, embeddable multi-platform programming library |
| alire | Source-based package manager for the Ada and SPARK programming languages |
| cemu-ti | Third-party TI-84 Plus CE / TI-83 Premium CE emulator, focused on developer features |
| chirp | Free, open-source tool for programming your amateur radio |
| chuck | Programming language for real-time sound synthesis and music creation |