| 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 |
| easypdkprog | Read, write and execute programs on PADAUK microcontroller |
| external-editor-revived | Native messaging host for the Thunderbird addon allowing to edit mails in external programs |
| 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 |
| 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 |
| icon-lang | Very high level general-purpose programming language |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| scalp | Scalable Linear Programming Library |
| zig-zlint | Linter for the Zig programming language |
| faust2 | Functional programming language for realtime audio signal processing |
| blisp | In-System-Programming (ISP) tool & library for Bouffalo Labs RISC-V Microcontrollers and SoCs |
| fleng | Low level concurrent logic programming language descended from Prolog |
| stlink | In-circuit debug and programming for ST-Link devices |
| bossa | Flash programming utility for Atmel's SAM family of flash-based ARM microcontrollers |
| xeus-cling | Jupyter kernel for the C++ programming language |
| elixir | Functional, meta-programming aware language built on top of the Erlang VM |
| erlang | Programming language used for massively scalable soft real-time systems |
| kokkos | C++ Performance Portability Programming EcoSystem |
| stlink-gui | In-circuit debug and programming for ST-Link devices |
| ceptre | Linear logic programming language for modeling generative interactive systems |
| falcon | Programming language with macros and syntax at once |
| zig_0_15 | General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software |
| zig_0_13 | General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software |
| zig_0_14 | General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software |
| fennel-ls | Language server for intelligent editing of the Fennel Programming Language |
| lolcode | Esoteric programming language |
| bonmin | Open-source code for solving general MINLP (Mixed Integer NonLinear Programming) problems |
| coqPackages.ElmExtraction | A framework for extracting Coq programs to Elm |
| zigPackages."0.14" | General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software |
| zigPackages."0.15" | General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software |
| zigPackages."0.13" | General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software |
| coqPackages.RustExtraction | A framework for extracting Coq programs to Rust |
| dtools | Ancillary tools for the D programming language |
| cwebbin | Literate Programming in C/C++ |
| faust | Functional programming language for realtime audio signal processing |
| asio_1_10 | Cross-platform C++ library for network and low-level I/O programming |