| agdaPackages.generic | A library for doing generic programming in Agda |
| mailmanPackages.python3 | High-level dynamically-typed programming language |
| sourcehut.python | High-level dynamically-typed programming language |
| buildbotPackages.python | High-level dynamically-typed programming language |
| footswitch | Command line utlities for programming PCsensor and Scythe foot switches |
| python313Packages.funsor | Functional tensors for probabilistic programming |
| python2 | High-level dynamically-typed programming language |
| python314Packages.funsor | Functional tensors for probabilistic programming |
| cone | Cone Programming Language |
| bruijn | Purely functional programming language based on lambda calculus and de Bruijn indices |
| jimtcl | Open source small-footprint implementation of the Tcl programming language |
| mopidyPackages.python | High-level dynamically-typed programming language |
| picolisp | Pragmatic programming language |
| python313Packages.aws-xray-sdk | AWS X-Ray SDK for the Python programming language |
| python314Packages.aws-xray-sdk | AWS X-Ray SDK for the Python programming language |
| ruby_3_3 | Object-oriented language for quick and easy programming |
| shocco | Quick-and-dirty, literate-programming-style documentation generator for / in POSIX shell |
| chickenPackages_4.chicken | Portable compiler for the Scheme programming language |
| elixir_1_16 | Functional, meta-programming aware language built on top of the Erlang VM |
| elixir_1_17 | Functional, meta-programming aware language built on top of the Erlang VM |
| elixir_1_15 | Functional, meta-programming aware language built on top of the Erlang VM |
| cpp-netlib | Collection of open-source libraries for high level network programming |
| elixir_1_18 | Functional, meta-programming aware language built on top of the Erlang VM |
| elixir_1_19 | Functional, meta-programming aware language built on top of the Erlang VM |
| muonlang | Modern low-level programming language |
| python313Packages.hyrule | Utility library for the Hy programming language |
| python314Packages.hyrule | Utility library for the Hy programming language |
| cudaPackages.libnvshmem | Parallel programming interface for NVIDIA GPUs based on OpenSHMEM |
| brickd | Daemon (or service on Windows) that acts as a bridge between the Bricks/Bricklets and the API bindings for the different programming languages |
| jupyter | High-level dynamically-typed programming language |
| openocd-rp2040 | Free and Open On-Chip Debugging, In-System Programming and Boundary-Scan Testing |
| python313Packages.guppy3 | Python Programming Environment & Heap analysis toolset |
| python313Packages.edward | Probabilistic programming language using Tensorflow |
| python314Packages.edward | Probabilistic programming language using Tensorflow |
| python314Packages.guppy3 | Python Programming Environment & Heap analysis toolset |
| lobster | Lobster programming language |
| python313Packages.amarna | Static-analyzer and linter for the Cairo programming language |
| python2Full | High-level dynamically-typed programming language |
| python314Packages.amarna | Static-analyzer and linter for the Cairo programming language |
| tockloader | Tool for programming Tock onto hardware boards |
| beam28Packages.elixir | Functional, meta-programming aware language built on top of the Erlang VM |
| beam26Packages.elixir | Functional, meta-programming aware language built on top of the Erlang VM |
| beam27Packages.elixir | Functional, meta-programming aware language built on top of the Erlang VM |
| jupyter-all | High-level dynamically-typed programming language |
| vimPlugins.hare-vim | Hare programming in Vim |
| python312Packages.daqp | Dual active-set algorithm for convex quadratic programming |
| python312Packages.piqp | Proximal Interior Point Quadratic Programming solver |
| commit-mono | Anonymous and neutral programming typeface focused on creating a better reading experience |
| cozette | Bitmap programming font optimized for coziness |
| libavc1394 | Programming interface for the 1394 Trade Association AV/C (Audio/Video Control) Digital Interface Command Set |
| python27 | High-level dynamically-typed programming language |
| python313Packages.cython | Optimising static compiler for both the Python and the extended Cython programming languages |
| profont | Monospaced font created to be a most readable font for programming |
| python314Packages.cython | Optimising static compiler for both the Python and the extended Cython programming languages |
| victor-mono | Free programming font with cursive italics and ligatures |
| smlpkg | Generic package manager for Standard ML libraries and programs |
| python312Packages.python | High-level dynamically-typed programming language |
| bicpl | Brain Imaging Centre programming library |
| faust2lv2 | The faust2lv2 script, part of faust functional programming language for realtime audio signal processing |
| perlPackages.meta | Meta-programming API |
| python313Packages.python | High-level dynamically-typed programming language |
| python314Packages.python | High-level dynamically-typed programming language |
| testlib | C++ library to develop competitive programming problems |
| skalibs | Set of general-purpose C programming libraries |
| proxsuite-nlp | Primal-dual augmented Lagrangian solver for nonlinear programming on manifolds |
| python312Packages.oryx | Library for probabilistic programming and deep learning built on top of Jax |
| agdaPackages.agda-prelude | Programming library for Agda |
| ocamlPackages_latest.camlp4 | Software system for writing extensible parsers for programming languages |
| udev-gothic | Programming font that combines BIZ UD Gothic and JetBrains Mono |
| python312Packages.param | Declarative Python programming using Parameters |
| libguytools | Small programming toolbox |
| perlPackages.perl | Standard implementation of the Perl 5 programming language |
| tclPackages.tk | Widget toolkit that provides a library of basic elements for building a GUI in many different programming languages |
| pulumi-bin | Pulumi is a cloud development platform that makes creating cloud programs easy and productive |
| nim2 | Statically typed, imperative programming language (x86_64-unknown-linux-gnu wrapper) |
| nim-2_2 | Statically typed, imperative programming language (x86_64-unknown-linux-gnu wrapper) |
| perl5Packages.meta | Meta-programming API |
| nim1 | Statically typed, imperative programming language (x86_64-unknown-linux-gnu wrapper) |
| python313Packages.numpyro | Library for probabilistic programming with NumPy |
| python27Full | High-level dynamically-typed programming language |
| python314Packages.numpyro | Library for probabilistic programming with NumPy |
| swiftPackages.swiftNoSwiftDriver | Swift Programming Language |
| python312Packages.pyocd | Python library for programming and debugging Arm Cortex-M microcontrollers |
| beam27Packages.erlang | Programming language used for massively scalable soft real-time systems |
| beam26Packages.erlang | Programming language used for massively scalable soft real-time systems |
| agda | A dependently typed functional programming language and proof assistant |
| beam28Packages.erlang | Programming language used for massively scalable soft real-time systems |
| python313Packages.coconut | Simple, elegant, Pythonic functional programming |
| python314Packages.coconut | Simple, elegant, Pythonic functional programming |
| _0xproto | Free and Open-source font for programming |
| chickenPackages_5.chicken | Portable compiler for the Scheme programming language |
| perl5Packages.perl | Standard implementation of the Perl 5 programming language |
| python313Packages.easygui | Very simple, very easy GUI programming in Python |
| python314Packages.easygui | Very simple, very easy GUI programming in Python |
| udev-gothic-nf | Programming font that combines BIZ UD Gothic, JetBrains Mono and nerd-fonts |
| xmlbird | XML parser for Vala and C programs |
| ruby_3_1 | Object-oriented language for quick and easy programming |
| eltclsh | Interactive shell for the TCL programming language based on editline |
| agdaPackages.generics | Library for datatype-generic programming in Agda |
| ocamlPackages_latest.reason-native.reason | User-friendly programming language built on OCaml |