| packages/nixpkgs/skribilo | Ultimate Document Programming Framework |
| packages/nixpkgs/literate | Literate programming tool for any language |
| packages/nixpkgs/coqPackages.ElmExtraction | A framework for extracting Coq programs to Elm |
| packages/nixpkgs/taskflow | General-purpose Parallel and Heterogeneous Task Programming System |
| packages/nixpkgs/coqPackages.RustExtraction | A framework for extracting Coq programs to Rust |
| packages/nixpkgs/lp_solve | Mixed Integer Linear Programming (MILP) solver |
| packages/nixpkgs/minilibx | Simple X-Window (X11R6) programming API in C |
| packages/nixpkgs/heptagon | Compiler for the Heptagon/BZR synchronous programming language |
| packages/nixpkgs/faust2sc | The faust2sc.py script, part of faust functional programming language for realtime audio signal processing |
| packages/nixpkgs/erlang_29 | Programming language used for massively scalable soft real-time systems |
| packages/nixpkgs/asio_1_36_0 | Cross-platform C++ library for network and low-level I/O programming |
| packages/nixpkgs/asio_1_32_0 | Cross-platform C++ library for network and low-level I/O programming |
| packages/nixpkgs/bossa-arduino | Flash programming utility for Atmel's SAM family of flash-based ARM microcontrollers |
| packages/nixpkgs/elixir_1_16 | Functional, meta-programming aware language built on top of the Erlang VM |
| packages/nixpkgs/elixir_1_17 | Functional, meta-programming aware language built on top of the Erlang VM |
| packages/nixpkgs/elixir_1_15 | Functional, meta-programming aware language built on top of the Erlang VM |
| packages/nixpkgs/elixir_1_18 | Functional, meta-programming aware language built on top of the Erlang VM |
| packages/nixpkgs/elixir_1_19 | Functional, meta-programming aware language built on top of the Erlang VM |
| packages/nixpkgs/beam28Packages.elixir | Functional, meta-programming aware language built on top of the Erlang VM |
| packages/nixpkgs/beam26Packages.elixir | Functional, meta-programming aware language built on top of the Erlang VM |
| packages/nixpkgs/beam27Packages.elixir | Functional, meta-programming aware language built on top of the Erlang VM |
| packages/nixpkgs/bicpl | Brain Imaging Centre programming library |
| packages/nixpkgs/faust2lv2 | The faust2lv2 script, part of faust functional programming language for realtime audio signal processing |
| packages/nixpkgs/agdaPackages.agda-prelude | Programming library for Agda |
| packages/nixpkgs/beam27Packages.erlang | Programming language used for massively scalable soft real-time systems |
| packages/nixpkgs/beam26Packages.erlang | Programming language used for massively scalable soft real-time systems |
| packages/nixpkgs/beam28Packages.erlang | Programming language used for massively scalable soft real-time systems |
| packages/nixpkgs/chickenPackages_5.chicken | Portable compiler for the Scheme programming language |
| packages/nixpkgs/agdaPackages.generics | Library for datatype-generic programming in Agda |
| packages/nixpkgs/beamMinimal26Packages.elixir | Functional, meta-programming aware language built on top of the Erlang VM |
| packages/nixpkgs/beamMinimal27Packages.elixir | Functional, meta-programming aware language built on top of the Erlang VM |
| packages/nixpkgs/beamMinimal28Packages.elixir | Functional, meta-programming aware language built on top of the Erlang VM |
| packages/nixpkgs/beamMinimal28Packages.erlang | Programming language used for massively scalable soft real-time systems |
| packages/nixpkgs/beamMinimal27Packages.erlang | Programming language used for massively scalable soft real-time systems |
| packages/nixpkgs/beamMinimal26Packages.erlang | Programming language used for massively scalable soft real-time systems |
| packages/nixpkgs/faust2alsa | The faust2alsa script, part of faust functional programming language for realtime audio signal processing |
| packages/nixpkgs/faust2alqt | The faust2alqt script, part of faust functional programming language for realtime audio signal processing |
| packages/nixpkgs/faust2jack | The faust2jack script, part of faust functional programming language for realtime audio signal processing |
| packages/nixpkgs/faust2jaqt | The faust2jaqt script, part of faust functional programming language for realtime audio signal processing |
| packages/nixpkgs/shibboleth-sp | Enables SSO and Federation web applications written with any programming language or framework |
| packages/nixpkgs/chickenPackages_5.chickenEggs.pyffi | An interface to the Python programming language. |
| packages/nixpkgs/beam27Packages.elixir_1_18 | Functional, meta-programming aware language built on top of the Erlang VM |
| packages/nixpkgs/beam28Packages.elixir_1_18 | Functional, meta-programming aware language built on top of the Erlang VM |
| packages/nixpkgs/beam26Packages.elixir_1_18 | Functional, meta-programming aware language built on top of the Erlang VM |
| packages/nixpkgs/beam26Packages.elixir_1_17 | Functional, meta-programming aware language built on top of the Erlang VM |
| packages/nixpkgs/beam26Packages.elixir_1_20 | Functional, meta-programming aware language built on top of the Erlang VM |
| packages/nixpkgs/beam27Packages.elixir_1_17 | Functional, meta-programming aware language built on top of the Erlang VM |
| packages/nixpkgs/beam27Packages.elixir_1_20 | Functional, meta-programming aware language built on top of the Erlang VM |
| packages/nixpkgs/beam27Packages.elixir_1_19 | Functional, meta-programming aware language built on top of the Erlang VM |
| packages/nixpkgs/beam28Packages.elixir_1_20 | Functional, meta-programming aware language built on top of the Erlang VM |
| packages/nixpkgs/beam28Packages.elixir_1_19 | Functional, meta-programming aware language built on top of the Erlang VM |
| packages/nixpkgs/beam26Packages.elixir_1_16 | Functional, meta-programming aware language built on top of the Erlang VM |
| packages/nixpkgs/beam26Packages.elixir_1_19 | Functional, meta-programming aware language built on top of the Erlang VM |
| packages/nixpkgs/beam26Packages.elixir_1_15 | Functional, meta-programming aware language built on top of the Erlang VM |
| packages/nixpkgs/beamMinimal28Packages.elixir_1_18 | Functional, meta-programming aware language built on top of the Erlang VM |
| packages/nixpkgs/beamMinimal27Packages.elixir_1_18 | Functional, meta-programming aware language built on top of the Erlang VM |
| packages/nixpkgs/chickenPackages_5.chickenEggs.raylib | Bindings for raylib: A simple and easy-to-use library to enjoy videogames programming |
| packages/nixpkgs/beamMinimal26Packages.elixir_1_18 | Functional, meta-programming aware language built on top of the Erlang VM |
| packages/nixpkgs/beamMinimal26Packages.elixir_1_17 | Functional, meta-programming aware language built on top of the Erlang VM |
| packages/nixpkgs/beamMinimal28Packages.elixir_1_20 | Functional, meta-programming aware language built on top of the Erlang VM |
| packages/nixpkgs/beamMinimal26Packages.elixir_1_20 | Functional, meta-programming aware language built on top of the Erlang VM |
| packages/nixpkgs/beamMinimal26Packages.elixir_1_16 | Functional, meta-programming aware language built on top of the Erlang VM |
| packages/nixpkgs/beamMinimal27Packages.elixir_1_19 | Functional, meta-programming aware language built on top of the Erlang VM |
| packages/nixpkgs/beamMinimal26Packages.elixir_1_15 | Functional, meta-programming aware language built on top of the Erlang VM |
| packages/nixpkgs/beamMinimal27Packages.elixir_1_20 | Functional, meta-programming aware language built on top of the Erlang VM |
| packages/nixpkgs/beamMinimal26Packages.elixir_1_19 | Functional, meta-programming aware language built on top of the Erlang VM |
| packages/nixpkgs/beamMinimal28Packages.elixir_1_19 | Functional, meta-programming aware language built on top of the Erlang VM |
| packages/nixpkgs/beamMinimal27Packages.elixir_1_17 | Functional, meta-programming aware language built on top of the Erlang VM |
| packages/nixpkgs/faust2ladspa | The faust2ladspa script, part of faust functional programming language for realtime audio signal processing |
| packages/nixpkgs/faust2csound | The faust2csound script, part of faust functional programming language for realtime audio signal processing |
| packages/nixpkgs/libfishsound | Simple programming interface for decoding and encoding audio data using Xiph.org codecs (FLAC, Speex and Vorbis) |
| packages/nixpkgs/chickenPackages_5.chickenEggs.colorize | Colorize programming code as HTML |
| packages/nixpkgs/rund | Compiler-wrapper that runs and caches D programs |
| packages/nixpkgs/time | Tool that runs programs and summarizes the system resources they use |
| packages/nixpkgs/faust2firefox | The faust2firefox script, part of faust functional programming language for realtime audio signal processing |
| packages/nixpkgs/faust2sndfile | The faust2sndfile script, part of faust functional programming language for realtime audio signal processing |
| packages/nixpkgs/ynetd | Small server for binding programs to TCP ports |
| packages/nixpkgs/npiet | Interpreter for piet programs |
| packages/nixpkgs/libxc | Library of exchange-correlation functionals for density-functional theory |
| packages/nixpkgs/pdfid | Scan a file to look for certain PDF keywords |
| packages/nixpkgs/samba4 | Standard Windows interoperability suite of programs for Linux and Unix |
| packages/nixpkgs/sambaFull | Standard Windows interoperability suite of programs for Linux and Unix |
| packages/nixpkgs/openfpgaloader | Universal utility for programming FPGAs |
| packages/nixpkgs/pico-sdk | SDK provides the headers, libraries and build system necessary to write programs for the RP2040-based devices |
| packages/nixpkgs/luaPackages.luafilesystem | File System Library for the Lua Programming Language |
| packages/nixpkgs/cbmc | Bounded Model Checker for C and C++ programs |
| packages/nixpkgs/rlwrap | Readline wrapper for console programs |
| packages/nixpkgs/faust2jackrust | The faust2jackrust script, part of faust functional programming language for realtime audio signal processing |
| packages/nixpkgs/lua55Packages.luafilesystem | File System Library for the Lua Programming Language |
| packages/nixpkgs/lua51Packages.luafilesystem | File System Library for the Lua Programming Language |
| packages/nixpkgs/lua53Packages.luafilesystem | File System Library for the Lua Programming Language |
| packages/nixpkgs/lua54Packages.luafilesystem | File System Library for the Lua Programming Language |
| packages/nixpkgs/lua52Packages.luafilesystem | File System Library for the Lua Programming Language |
| packages/nixpkgs/pioasm | Assemble PIO programs for Raspberry Pi Pico |
| packages/nixpkgs/abduco | Allows programs to be run independently from its controlling terminal |
| packages/nixpkgs/clingo | ASP system to ground and solve logic programs |
| packages/nixpkgs/libxc_7 | Library of exchange-correlation functionals for density-functional theory |
| packages/nixpkgs/rubiks | Several programs for working with Rubik's cubes |
| packages/nixpkgs/yelp-tools | Small programs that help you create, edit, manage, and publish your Mallard or DocBook documentation |
| packages/nixpkgs/xmpp-bridge | Connect command-line programs to XMPP |