| alire | Source-based package manager for the Ada and SPARK programming languages |
| icon-lang | Very high level general-purpose programming language |
| statix | Lints and suggestions for the nix programming language |
| dvd-vr | Utility to identify and optionally copy recordings from a DVD-VR format disc |
| 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 |
| nim-unwrapped-2 | Statically typed, imperative programming language |
| python3 | High-level dynamically-typed programming language |
| sbclPackages.coalton | Statically typed functional programming language that supercharges Common Lisp |
| scalp | Scalable Linear Programming Library |
| shisho | Lightweight static analyzer for several programming languages |
| zig-zlint | Linter for the Zig programming language |
| ballerina | Open-source programming language for the cloud |
| faust2 | Functional programming language for realtime audio signal processing |
| mockgen | Mocking framework for the Go programming language |
| nim-unwrapped-1_0 | Statically typed, imperative programming language |
| nim-unwrapped-2_2 | Statically typed, imperative programming language |
| aider-chat-with-help | AI pair programming in your terminal |
| cpeditor | IDE specially designed for competitive programming |
| blisp | In-System-Programming (ISP) tool & library for Bouffalo Labs RISC-V Microcontrollers and SoCs |
| factorPackages.factor-no-gui | Concatenative, stack-based programming language |
| factorPackages.factor-lang | Concatenative, stack-based programming language |
| gocode-gomod | Autocompletion daemon for the Go programming language |
| fleng | Low level concurrent logic programming language descended from Prolog |
| intercal | Original esoteric programming language |
| sbclPackages.quil-coalton | Statically typed functional programming language that supercharges Common Lisp |
| stlink | In-circuit debug and programming for ST-Link devices |
| swift | Swift Programming Language |
| sbclPackages.thih-coalton | Statically typed functional programming language that supercharges Common Lisp |
| kodiPackages.raiplay | Live radio and TV channels, latest 7 days of programming, broadcast archive, news |
| bossa | Flash programming utility for Atmel's SAM family of flash-based ARM microcontrollers |
| factorPackages-0_99.factor-lang | Concatenative, stack-based programming language |
| factorPackages-0_99.factor-no-gui | Concatenative, stack-based programming language |
| ocamlPackages.brr | Toolkit for programming browsers in OCaml |
| nim-unwrapped | Statically typed, imperative programming language |
| scipopt-zimpl | Zuse Institut Mathematical Programming Language |
| 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 |
| factorPackages-0_100.factor-no-gui | Concatenative, stack-based programming language |
| nim-unwrapped-1 | Statically typed, imperative programming language |
| nim-unwrapped-2_0 | Statically typed, imperative programming language |
| zig_0_12 | General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software |
| falcon | Programming language with macros and syntax at once |
| factorPackages-0_101.factor-no-gui | Concatenative, stack-based programming language |
| factorPackages-0_101.factor-lang | Concatenative, stack-based programming language |
| factorPackages-0_100.factor-lang | Concatenative, stack-based programming language |
| ocaml | OCaml is an industrial-strength programming language supporting functional, imperative and object-oriented styles |
| ocamlPackages.eliom | OCaml Framework for programming Web sites and client/server Web applications |
| zig_0_15 | General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software |
| ocamlPackages.ocaml | OCaml is an industrial-strength programming language supporting functional, imperative and object-oriented styles |
| uiua-unstable | Stack-oriented array programming language with a focus on simplicity, beauty, and tacit code |
| 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 |
| ocamlPackages.note | OCaml module for functional reactive programming |
| bonmin | Open-source code for solving general MINLP (Mixed Integer NonLinear Programming) problems |
| glib | C library of programming buildings blocks |
| puredata | Real-time graphical programming environment for audio, video, and graphical processing |
| smlnjBootstrap | Compiler for the Standard ML '97 programming language |
| coconut | Simple, elegant, Pythonic functional programming |
| ocamlPackages.mezzo | Programming language in the ML tradition, which places strong emphasis on the control of aliasing and access to mutable memory |
| ocamlPackages.parmap | Library for multicore parallel programming |
| python313 | High-level dynamically-typed programming language |
| yamlscript | Programming in YAML |
| badchars | HEX badchar generator for different programming languages |
| 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 |
| dtools | Ancillary tools for the D programming language |
| cwebbin | Literate Programming in C/C++ |
| factorPackages.factor-minimal | Concatenative, stack-based programming language |
| j | J programming language, an ASCII-based APL successor |
| ocamlPackages.reason | User-friendly programming language built on OCaml |
| faust | Functional programming language for realtime audio signal processing |
| xc3sprog | Command-line tools for programming FPGAs, microcontrollers and PROMs via JTAG |
| vimPlugins.statix | Lints and suggestions for the nix programming language |
| python312Full | High-level dynamically-typed programming language |
| asio_1_10 | Cross-platform C++ library for network and low-level I/O programming |
| factorPackages.factor-minimal-gui | Concatenative, stack-based programming language |
| purescript | Strongly-typed functional programming language that compiles to JavaScript |
| python3Full | High-level dynamically-typed programming language |
| factorPackages-0_99.factor-minimal | Concatenative, stack-based programming language |
| funnelweb | Simple, reliable literate-programming macro preprocessor |
| ldns | Library with the aim of simplifying DNS programming in C |
| ksh | KornShell Command And Programming Language |
| turtle-build | Ninja-compatible build system for high-level programming languages written in Rust |
| swiftPackages.swift | Swift Programming Language |
| aspectj | Seamless aspect-oriented extension to the Java programming language |
| factorPackages-0_100.factor-minimal | Concatenative, stack-based programming language |
| factorPackages-0_99.factor-minimal-gui | Concatenative, stack-based programming language |
| openocd | Free and Open On-Chip Debugging, In-System Programming and Boundary-Scan Testing |
| osqp | Quadratic programming solver using operator splitting |
| box86 | Lets you run x86 Linux programs on non-x86 Linux systems |
| cedille | Interactive theorem-prover and dependently typed programming language, based on extrinsic (aka Curry-style) type theory |