program ‐ Nix Packages ‐ Searchix

Search Nix packages and options from NixOS, Darwin, Home Manager, Nix Packages and NUR

Indexing last ran 11 hours ago, will run again in 12 hours.

Nix Packages search

Attribute	Description
haskellPackages.PropLogic	Propositional Logic
cp210x-program	EEPROM tool for Silabs CP210x USB-Serial adapter
texlivePackages.program	Typesetting programs and algorithms
haskellPackages.program	Programs with Environments and Managed Resources
haskellPackages.sbv-program	Component-based program synthesis using SBV
emacsPackages.choice-program
haskellPackages.core-program	Opinionated Haskell Interoperability
haskellPackages.tasty-program	Use tasty framework to test whether a program executes correctly
sbclPackages.external-program
sbclPackages.external-program-test
haskellPackages.console-program	Interpret the command line and a config file as commands and options
dfu-programmer	Device Firmware Update based USB programmer for Atmel chips with a USB bootloader
haskellPackages.test-framework-program	Test framework support for running simple test programs
python312Packages.llama-index-program-openai	LlamaIndex Program Integration for OpenAI
python313Packages.llama-index-program-openai	LlamaIndex Program Integration for OpenAI
akkuPackages.r6rs-programs	Port of (rnrs programs) to R7RS
typstPackages.tuhi-programme-vuw	Template for 3-year degree overview tables
sbclPackages.small-coalton-programs
haskellPackages.cabal-build-programs	Adds executable dependencies to the Cabal build
programmer-calculator	Terminal calculator for programmers
emacsPackages.programmer-dvorak
rPackages.statprograms
sbclPackages.linear-programming
sbclPackages.linear-programming-test
sbclPackages.linear-programming-glpk
haskellPackages.kmn-programming	K_M,N quadratic programming
typstPackages.tuhi-programme-vuw_0_1_0	Template for 3-year degree overview tables
haskellPackages.math-programming	A library for formulating and solving math programs
haskellPackages.math-programming-glpk	A GLPK backend to the math-programming library
haskellPackages.linear-programming	Linear Programming basic definitions
haskellPackages.math-programming-tests	Utility functions for testing implementations of the math-programming library
texlivePackages.apprendre-a-programmer-en-tex	The book "Apprendre a programmer en TeX"
emacsPackages.competitive-programming-snippets
sbclPackages.cl-glfw-opengl-nv__gpu__program5
sbclPackages.cl-glfw-opengl-nv__gpu__program4
python313Packages.sphinxcontrib-programoutput	Sphinx extension to include program output
python314Packages.sphinxcontrib-programoutput	Sphinx extension to include program output
python312Packages.sphinxcontrib-programoutput	Sphinx extension to include program output
sbclPackages.cl-glfw-opengl-nv__vertex__program
sbclPackages.cl-glfw-opengl-mesa__program__debug
sbclPackages.cl-glfw-opengl-nv__vertex__program3
sbclPackages.cl-glfw-opengl-nv__vertex__program4
sbclPackages.cl-glfw-opengl-arb__vertex__program
sbclPackages.cl-glfw-opengl-nv__fragment__program
sbclPackages.cl-glfw-opengl-nv__fragment__program2
sbclPackages.cl-glfw-opengl-nv__geometry__program4
sbclPackages.cl-glfw-opengl-arb__fragment__program
vscode-extensions.divyanshuagrawal.competitive-programming-helper	Makes judging, compiling, and downloading problems for competitve programming easy. Also supports auto-submit for a few sites
sbclPackages.cl-glfw-opengl-arb__get__program__binary
sbclPackages.cl-glfw-opengl-nv__tessellation__program5
sbclPackages.cl-glfw-opengl-ext__gpu__program__parameters
sbclPackages.cl-glfw-opengl-nv__vertex__program2__option
sbclPackages.cl-glfw-opengl-apple__vertex__program__evaluators
rw	Block device and byte copying program similar to dd
popl	Header-only C++ program options parser library
halo	Self-hosted dynamic blogging program
xbar	Put the output from any script or program into your macOS Menu Bar (the BitBar reboot)
niff	Program that compares two Nix expressions and determines which attributes changed
anki-bin	Spaced repetition flashcard program
wikit	Command line program for getting Wikipedia summaries
angsd	Program for analysing NGS data
tiv	Small C++ program to display images in a (modern) terminal using RGB ANSI codes and unicode block graphics characters
ondir	Small program to automate tasks specific to certain directories
pinta	Drawing/editing program modeled after Paint.NET
hterm	Terminal program for serial communication
rhsrvany	Free equivalent of Windows "srvany" program for turning any Windows program or script into a service
dedup	Data deduplication program
pmidi	Straightforward command line program to play midi files through the ALSA sequencer
mlton	Open-source, whole-program, optimizing Standard ML compiler
mfaktc	Trial Factoring program using CUDA for GIMPS
tet	Test Environment Toolkit is used in test applications like The Open Group's UNIX Certification program and the Free Standards Group's LSB Certification program
cp2k	Quantum chemistry and solid state physics program
tlf	Advanced ham radio logging and contest program
mup	Music typesetting program (ASCII to PostScript and MIDI)
dsp	Audio processing program with an interactive mode
xtruss	Easy-to-use X protocol tracing program
bato	Small program to send battery notifications
zzz	Simple program to suspend or hibernate your computer
mltonHEAD	Open-source, whole-program, optimizing Standard ML compiler
pal	Command-line calendar program that can keep track of events
dex	Program to generate and execute DesktopEntry files of the Application type
aldo	Morse code training program
dwdiff	Front-end for the diff program that operates at the word level instead of the line level
ms-sys	Program for writing Microsoft-compatible boot records
ktfmt	Program that reformats Kotlin source code to comply with the common community standard for Kotlin code conventions
vlock	Virtual console locking program
kgeotag	Stand-alone photo geotagging program
reptyr	Reparent a running program to a new terminal
rdup	Only backup program that doesn't make backups
darwin.trash	Small command-line program for OS X that moves files or folders to the trash.
dtee	Run a program with standard output and standard error copied to files
grig	Simple Ham Radio control (CAT) program based on Hamlib
gdm	Program that manages graphical display servers and handles graphical user logins
megacli	CLI program for LSI MegaRAID cards, which also works with some Dell PERC RAID cards
ggobi	Visualization program for exploring high-dimensional data
wofi	Launcher/menu program for wlroots based wayland compositors such as sway
ispc	Intel 'Single Program, Multiple Data' Compiler, a vectorised language
flmsg	Digital modem message program
fllog	Digital modem log program
veusz	Scientific plotting and graphing program with a GUI
flrig	Digital modem rig control program
kazam	Screencasting program created with design in mind
qmk	Program to help users work with QMK Firmware
kodiPackages.iagl	Launch Games from the Internet using Kodi
seren	Simple ncurses VoIP program based on the Opus codec
tt-smi	Tenstorrent console based hardware information program
fbset	Framebuffer device maintenance program
detect-it-easy	Program for determining types of files for Windows, Linux and MacOS
gimp	GNU Image Manipulation Program
xnbd	Yet another NBD (Network Block Device) server program
fstar	ML-like functional programming language aimed at program verification
hello-go	Simple program printing hello world in Go
gimp3	GNU Image Manipulation Program
bsd-finger	User information lookup program
go-i18n	Translate your Go program into multiple languages
libpfm	Helper library to program the performance monitoring events
mtpaint	Simple GTK painting program
nettee	Network "tee" program
cqrlog	Linux logging program for amateur radio operators
afetch	Fetch program written in C
m33-linux	Linux program that can communicate with the Micro 3D printer
wllvm	Wrapper script to build whole-program LLVM bitcode files
flwrap	Digital modem file transfer program
trelby	Free, multiplatform, feature-rich screenwriting program
vesta-viewer	3D visualization program for structural models, volumetric data such as electron/nuclear densities, and crystal morphologies
marvin	Chemical modelling, analysis and structure drawing program
restic	Backup program that is fast, efficient and secure
alist	File list/WebDAV program that supports multiple storages
unrpa	Program to extract files from the RPA archive format
mmake	Small program which wraps make to provide additional functionality
pouf	CLI program for produce fake datas
todo	Simple todo cli program written in rust
xkbset	Program to help manage many of XKB features of X window
pdftoipe	Program that tries to convert arbitrary PDF documents to Ipe files
gimpPlugins.gimp	GNU Image Manipulation Program
gui-for-clash	Clash GUI program developed by vue3 + wails
pace	Command-line program for mindful time tracking
ps_mem	Utility to accurately report the in core memory usage for a program
rzip	Compression program
bemenu	Dynamic menu library and client program inspired by dmenu
sc-im	Ncurses spreadsheet program for terminal
sss-cli	Command line program for secret-sharing strings
unar	Archive unpacker program
gllvm	Whole Program LLVM: wllvm ported to go
shavee	Program to automatically decrypt and mount ZFS datasets using Yubikey HMAC as 2FA or any File on USB/SFTP/HTTPS
xlog	Amateur radio logging program
icmake	Program maintenance (make) utility using a C-like grammar
kickoff	Minimalistic program launcher
libsForQt5.kamoso	Simple and friendly program to use your camera
anki	Spaced repetition flashcard program
gcal	Program for calculating and printing calendars
why3	Platform for deductive program verification
podman	Program for managing pods, containers and container images
bombono	DVD authoring program for personal computers
motoc	MOnado Tracking Origin Calibration program
aphorme	Program launcher for window managers, written in Rust
solfege	Ear training program
wol	Implements Wake On LAN functionality in a small program
klavaro	Free touch typing tutor program
mate.eom	Image viewing and cataloging program for the MATE desktop
pies	Program invocation and execution supervisor
artem	Small CLI program to convert images to ASCII art
find-cursor	Simple XLib program to highlight the cursor position
goread	Beautiful program to read your RSS/Atom feeds right in the terminal
swaymux	Program to quickly navigate sway
tunnelx	Program for drawing cave surveys in 2D
zeyple	Utility program to automatically encrypt outgoing emails with GPG
trf	Tandem Repeats Finder: a program to analyze DNA sequences
lftp	File transfer program supporting a number of network protocols
ocrad	Optical character recognition (OCR) program & library
devmem2	Simple program to read/write from/to any location in memory
cbeams	Command-line program to draw animated colored circles in the terminal
sysmenu	Simple program launcher using GTK4
wayidle	Execute a program when a Wayland compositor reports being N seconds idle
ico	Simple animation program that may be used for testing various X11 operations and extensions
qjoypad	Program that lets you use gaming devices anywhere
rclone	Command line program to sync files and directories to and from major cloud storage
abiword	Word processing program, similar to Microsoft Word
flamp	Digital modem program
xsel	Command-line program for getting and setting the contents of the X selection
maxcso	Fast ISO to CSO compression program for use with PSP and PS2 emulators, which uses multiple algorithms for best compression ratio
samfirm-js	Program for downloading Samsung firmware
dtach	Program that emulates the detach feature of screen
axel	Console downloading program with some features for parallel connections for faster downloading
golly	Cellular automata simulation program
fastcap	Multipole-accelerated capacitance extraction program
ergoscf	Quantum chemistry program for large-scale self-consistent field calculations
rtklib-ex	Open Source Program Package for GNSS Positioning
gimp2	GNU Image Manipulation Program
simple-dftd3	Reimplementation of the DFT-D3 program
vzic	Program to convert the IANA timezone database files into VTIMEZONE files compatible with the iCalendar specification
ecpdap	Tool to program ECP5 FPGAs
undervolt	Program for undervolting Intel CPUs on Linux
kdePackages.kmix	Volume control program
pspp	Free replacement for SPSS, a program for statistical analysis of sampled data
dterm	Simple terminal program
eyed3	Python module and command line program for processing ID3 tags
termbg	Program for terminal background color detection
xhost	X server access control program
mafft	Multiple alignment program for amino acid or nucleotide sequences
libsForQt5.kalzium	Program that shows you the Periodic Table of Elements
abook	Text-based addressbook program designed to use with mutt mail client
boxes	Command line program which draws, removes, and repairs ASCII art boxes
glpaper	Wallpaper program for wlroots based Wayland compositors such as sway that allows you to render glsl shaders as your wallpaper
fasthenry	Multipole-accelerated inductance analysis program
x2vnc	Program to control a remote VNC server
libsForQt5.kturtle	Educational programming environment for learning how to program
deqp-runner	VK-GL-CTS/dEQP wrapper program to parallelize it across CPUs and report results against a baseline
softether	Open-Source Free Cross-platform Multi-protocol VPN Program
xmore	Plain text display program for the X Window System
hayabusa	Swift rust fetch program
_9menu	Simple X11 menu program for running commands
httptap	View HTTP/HTTPS requests made by any Linux program
lenmus	Program for learning music
astrolog	Freeware astrology program
grafx2	Ultimate 256-color painting program
fldigi	Digital modem program
ssdeep	Program for calculating fuzzy hashes
swapview	Simple program to view processes' swap usage on Linux
lrzip	CK LRZIP compression program (LZMA + RZIP)
pythia	Program for the generation of high-energy physics events
gpxlab	Program to show and manipulate GPS tracks
gui-for-singbox	SingBox GUI program developed by vue3 + wails
go-callvis	Visualize call graph of a Go program using Graphviz
thinkfan	Simple, lightweight fan control program
workrave	Program to help prevent Repetitive Strain Injury
xcircuit	Generic drawing program tailored to circuit diagrams
mapcidr	Small utility program to perform multiple operations for a given subnet/CIDR ranges
kalign	Fast multiple sequence alignment program
cmark-gfm	GitHub's fork of cmark, a CommonMark parsing and rendering library and program in C
tthsum	Md5sum-alike program that works with Tiger/THEX hashes
ocamlPackages.cil	Front-end for the C programming language that facilitates program analysis and transformation
devour	Hides your current window when launching an external program
far2l	Linux port of FAR Manager v2, a program for managing files and archives in Windows operating systems
tcptrack	libpcap based program for live TCP connection monitoring
texworks	Simple TeX front-end program inspired by TeXShop
xephem	Interactive astronomy program for all UNIX platforms
xscope	Program to monitor X11/Client conversations
identity	Program for comparing multiple versions of an image or video
microcom	Minimalistic terminal program for communicating with devices over a serial connection
oscclip	Program that allows to copy/paste from a terminal using osc-52 control sequences
bpftools	Debugging/program analysis tools for the eBPF subsystem
figlet	Program for making large letters out of ordinary text
git-cache	Program to add and manage a system-wide or user-wide cache for remote git repositories
ferium	Fast and multi-source CLI program for managing Minecraft mods and modpacks from Modrinth, CurseForge, and GitHub Releases
mpvpaper	Video wallpaper program for wlroots based wayland compositors
qcdnum	Very fast QCD evolution program written in FORTRAN77
remind	Sophisticated calendar and alarm program for the console
bchunk	Program that converts CD images in BIN/CUE format into a set of ISO and CDR tracks
dsview	GUI program for supporting various instruments from DreamSourceLab, including logic analyzer, oscilloscope, etc
go-bindata	Small utility which generates Go code from any file, useful for embedding binary data in a Go program
gallery-dl	Command-line program to download image-galleries and -collections from several image hosting sites
wf-recorder	Utility program for screen recording of wlroots-based compositors
nbench	Synthetic computing benchmark program
pixinsight	Scientific image processing program for astrophotography
haskellPackages.webcloud	Turn an optparse-applicative program into a CGI program!
glaxnimate	Simple vector animation program
gimp2Plugins.gimp	GNU Image Manipulation Program
gokrazy	Turn your Go program(s) into an appliance running on the Raspberry Pi 3, Pi 4, Pi Zero 2 W, or amd64 PCs
trrntzip	Goal of the program is to use standard values when creating zips to create identical files over multiple systems
filegive	Easy p2p file sending program
shaderbg	Shader-based live wallpaper program for compositors that support wlr-layer-shell (Sway and others)
typstPackages.hei-synd-thesis	A thesis template tailored to the Systems Engineering (Synd) program at the HEI-Vs School of Engineering, Sion, Switzerland
libsForQt5.umbrello	Unified Modelling Language (UML) diagram program
freeoffice	Office suite with a word processor, spreadsheet and presentation program
getmail6	Program for retrieving mail
vcprompt	Program that prints barebones information about the current working directory for various version control systems
typstPackages.hei-synd-report	A report and project template tailored to the Systems Engineering (Synd) program at the HEI-Vs School of Engineering, Sion, Switzerland
kodiPackages.steam-library	View your entire Steam library right from Kodi
picocom	Minimal dumb-terminal emulation program
fortune	Program that displays a pseudorandom message from a database of quotations
ispell	Interactive spell-checking program for Unix
libunwind	Portable and efficient API to determine the call-chain of a program
pnglatex	Small program that converts LaTeX snippets to png
rivalcfg	Utility program that allows you to configure SteelSeries Rival gaming mice
pgf_graphics	Progressive Graphics Format command line program
flac123	Command-line program for playing FLAC audio files
tvbrowser	Electronic TV Program Guide
mlton20241230	Open-source, whole-program, optimizing Standard ML compiler
mlton20130715	Open-source, whole-program, optimizing Standard ML compiler
dblatex	Program to convert DocBook to DVI, PostScript or PDF via LaTeX or ConTeXt
bitscope.console	Demonstrative communications program designed to make it easy to talk to any model BitScope
gimp-with-plugins	GNU Image Manipulation Program
ent	Pseudorandom Number Sequence Test Program
satellite	Program for showing navigation satellite data
minipro	Open source program for controlling the MiniPRO TL866xx series of chip programmers
abcm2ps	Command line program which converts ABC to music sheet in PostScript or SVG format
softmaker-office	Office suite with a word processor, spreadsheet and presentation program
scummvm	Program to run certain classic graphical point-and-click adventure games (such as Monkey Island)
x11perf	X11 server performance test program
kdePackages.knights	Chess board program.
minicom	Modem control and terminal emulation program
protonup-ng	CLI program and API to automate the installation and update of GloriousEggroll's Proton-GE
puddletag	Audio tag editor similar to the Windows program, Mp3tag
gimp3-with-plugins	GNU Image Manipulation Program
file	Program that shows the type of files
fpp	CLI program that accepts piped input and presents files for selection
softmaker-office-nx	Office suite with a word processor, spreadsheet and presentation program
wimlib	Library and program to extract, create, and modify WIM files
kdePackages.kbackup	Backup program with an easy-to-use interface
mlton20180207	Open-source, whole-program, optimizing Standard ML compiler
mlton20210117	Open-source, whole-program, optimizing Standard ML compiler
nttcp	New test TCP program
ocamlPackages_latest.cil	Front-end for the C programming language that facilitates program analysis and transformation
cloc	Program that counts lines of source code
cpio	Program to create or extract from cpio archives
bleachbit	Program to clean your computer
ckan	Mod manager for Kerbal Space Program
fail2ban	Program that scans log files for repeated failing login attempts and bans IP addresses
k4dirstat	Small utility program that sums up disk usage for directory trees
ocrfeeder	Complete Optical Character Recognition and Document Analysis and Recognition program
nagios	Host, service and network monitoring program
burp	BackUp and Restore Program
edir	Program to rename and remove files and directories using your editor
grin	Grep program configured the way I like it
snapraid	Backup program for disk arrays
xautolock	Launch a given program when your X session has been idle for a given time
when	Extremely simple personal calendar program
dblatexFull	Program to convert DocBook to DVI, PostScript or PDF via LaTeX or ConTeXt
amphetype	Advanced typing practice program
steghide	Open source steganography program
star-history	Command line program to generate a graph showing number of GitHub stars of a user, org or repo over time
jaxodraw	Java program for drawing Feynman diagrams
anyrun-provider	Simple program to load Anyrun plugins and interact with them
crypto-tracker	Program to retrieve the latest price for several cryptocurrencies using the CoinMarketCap API
maxfetch	Nice fetching program written in sh
runningx	Program for testing if X is running
imagelol	Simple program to store a file into a PNG image
lcalc	Program for calculating with L-functions
numdiff	A little program that can be used to compare putatively similar files line by line and field by field, ignoring small numeric differences or/and different numeric formats
ddate	Discordian version of the date program
systemd-manager-tui	Program for managing systemd services through a TUI
serial-studio	Multi-purpose serial data visualization & processing program
uucp	Unix-unix cp over serial line, also includes cu program
rarcrack	This program can crack zip,7z and rar file passwords
cmark	CommonMark parsing and rendering library and program in C
drawpile	Collaborative drawing program that allows multiple users to sketch on the same canvas simultaneously
bustools	Program for manipulating BUS files for single cell RNA-Seq datasets
tidyp	Program that can validate your HTML, as well as modify it to be more clean and standard
patch	GNU Patch, a program to apply differences to files
calculix-ccx	Three-dimensional structural finite element program
beats	Swatch Internet Time implemented as a C program
sdate	Eternal september version of the date program
hello	Program that produces a familiar, friendly greeting
gnome-monitor-config	Program to help manage GNOME monitor configuration
pipecontrol	Pipewire control GUI program in Qt (Kirigami2)
clustal-omega	General purpose multiple sequence alignment program for protein and DNA/RNA
gnome-font-viewer	Program that can preview fonts and create thumbnails for fonts
solvespace	Parametric 3d CAD program
mlton20180207Binary	Open-source, whole-program, optimizing Standard ML compiler
djent	Reimplementation of the Fourmilab/John Walker random number test program ent with several improvements
goldendict	Feature-rich dictionary lookup program
sqlauncher	Simple QT6 Program Launcher
xjobs	Program which reads job descriptions line by line and executes them in parallel
xdiskusage	Program to show you what is using up all your disk space
kdePackages.analitza	Library that lets you add mathematical features to your program
openmeters	Fast and simple audio metering/visualization program for Linux
goldberg-emu	Program that emulates steam online features
python313Packages.unrpa	Program to extract files from the RPA archive format
colort	Program for 'tinting' color values
gzip	GNU zip compression program
tkdiff	Graphical front end to the diff program
python314Packages.unrpa	Program to extract files from the RPA archive format
cowsay	Program which generates ASCII pictures of a cow with a message
ddccontrol	Program used to control monitor parameters by software
glsurf	Program to draw implicit surfaces and curves
grabserial	Python based serial dump and timing program
gimp2-with-plugins	GNU Image Manipulation Program
scrounge-ntfs	Data recovery program for NTFS file systems
adif-multitool	Command-line program for working with ham logfiles
asus-wmi-screenpad-ctl	Brightness control program for the asus-wmi-screenpad kernel module
goldendict-ng	Advanced multi-dictionary lookup program
cryptomator-cli	Command line program to access encrypted Cryptomator vaults
dnsdbq	C99 program that accesses passive DNS database systems
bzip2	High-quality data compression program
xkblayout-state	Small command-line program to get/set the current XKB keyboard layout
iptables-legacy	Program to configure the Linux IP packet filtering ruleset
python313Packages.pysim	Python tool to program SIMs / USIMs / ISIMs
python314Packages.pysim	Python tool to program SIMs / USIMs / ISIMs
libsForQt5.kmousetool	Program that clicks the mouse for you
mp3cat	Command line program which concatenates MP3 files
pamtester	Utility program to test the PAM facility
prooftree	Program for proof-tree visualization
djenrandom	C program to generate random data using several random models, with parameterized non uniformities and flexible output formats
rustdesk-server	RustDesk Server Program
webalizer	Web server log file analysis program
websocketd	Turn any program that uses STDIN/STDOUT into a WebSocket server
iptables-nftables-compat	Program to configure the Linux IP packet filtering ruleset
mairix	Program for indexing and searching email messages stored in maildir, MH or mbox
vdmfec	Program that adds error correction blocks
vdrPlugins.epgsearch	Searchtimer and replacement of the VDR program menu
zthrottle	Program that throttles a pipeline, only letting a line through at most every $1 seconds
ratpoints	Program to find rational points on hyperelliptic curves
creduce	C program reducer
haskellPackages.data-structure-inferrer	Program that infers the fastest data structure available for your program
fsnotifier	IntelliJ Platform companion program for watching and reporting file and directory structure modification
gnupatch	GNU Patch, a program to apply differences to files
scribus	Desktop Publishing (DTP) and Layout program
cffconvert	Command line program to validate and convert CITATION.cff files
python313Packages.simple-dftd3	Reimplementation of the DFT-D3 program
python314Packages.simple-dftd3	Reimplementation of the DFT-D3 program
python313Packages.scapy	Python-based network packet manipulation program and library
python314Packages.scapy	Python-based network packet manipulation program and library
python313Packages.eyed3	Python module and command line program for processing ID3 tags
quivira	Free Unicode font in the OpenType format which is supported by every usual office program or printer
python312Packages.unrpa	Program to extract files from the RPA archive format
ocamlPackages.reanalyze	Program analysis for ReScript and OCaml projects
python314Packages.eyed3	Python module and command line program for processing ID3 tags
autogen	Automated text and program generation tool
hidapitester	Simple command-line program to test HIDAPI
perlPackages.TestTCP	Testing TCP program
gtranslator	GNOME translation making program
deepin.dde-appearance	Program used to set the theme and appearance of deepin desktop
iptables	Program to configure the Linux IP packet filtering ruleset
kdePackages.cmark	CommonMark parsing and rendering library and program in C
eiskaltdcpp	Cross-platform program that uses the Direct Connect and ADC protocols
factoriolab	Angular-based calculator for factory games like Factorio and Dyson Sphere Program
haskellPackages.tn	A simple daily journal program
libbacktrace	C library that may be linked into a C/C++ program to produce symbolic backtraces
perl5Packages.TestTCP	Testing TCP program
cheesecutter	Tracker program for composing music for the SID chip
libsForQt5.kolourpaint	Paint program
haskellPackages.hit	Git like program in haskell
openresolv	Program to manage /etc/resolv.conf
awesomebump	Program to generate normal, height, specular or ambient occlusion textures from a single image
cloudflare-utils	Helpful Cloudflare utility program
typstPackages.hei-synd-thesis_0_2_1	A thesis template tailored to the Systems Engineering (Synd) program at the HEI-Vs School of Engineering, Sion, Switzerland
typstPackages.hei-synd-thesis_0_2_3	A thesis template tailored to the Systems Engineering (Synd) program at the HEI-Vs School of Engineering, Sion, Switzerland
typstPackages.hei-synd-thesis_0_2_2	A thesis template tailored to the Systems Engineering (Synd) program at the HEI-Vs School of Engineering, Sion, Switzerland
typstPackages.hei-synd-thesis_0_2_0	A thesis template tailored to the Systems Engineering (Synd) program at the HEI-Vs School of Engineering, Sion, Switzerland
typstPackages.hei-synd-thesis_0_1_1	A thesis template tailored to the Systems Engineering (Synd) program at the HEI-Vs School of Engineering, Sion, Switzerland
typstPackages.hei-synd-thesis_0_1_0	A thesis template tailored to the Systems Engineering (Synd) program at the HEI-Vs School of Engineering, Sion, Switzerland
haskellPackages.DrIFT	Program to derive type class instances
typstPackages.hei-synd-report_0_1_1	A report and project template tailored to the Systems Engineering (Synd) program at the HEI-Vs School of Engineering, Sion, Switzerland
xchainkeys	Standalone X11 program to create chained key bindings
typstPackages.hei-synd-report_0_1_0	A report and project template tailored to the Systems Engineering (Synd) program at the HEI-Vs School of Engineering, Sion, Switzerland
haskellPackages.gas	Limit how many steps a program may take
paperjam	Program for transforming PDF files
remarkable-mouse	Program to use a reMarkable as a graphics tablet
coccinelle	Program to apply semantic patches to C code
haskellPackages.KSP	A library with the kerbal space program universe and demo code
xinput-calibrator	Generic touchscreen calibration program for X.Org
haskellPackages.lhae	Simple spreadsheet program
kdePackages.glaxnimate	Simple vector animation program.
wl-gammarelay-rs	Simple program that provides DBus interface to control display temperature and brightness under wayland without flickering
disfetch	Yet another *nix distro fetching program, but less complex
drawpile-server-headless	Collaborative drawing program that allows multiple users to sketch on the same canvas simultaneously
gif2apng	Simple program that converts animations from GIF to APNG format
inormalize	Program to normalize intensity of MINC files
kdePackages.kmousetool	Program that clicks the mouse for you
languagetool	Proofreading program for English, French German, Polish, and more
one-click-backup	Simple Program to backup folders to an external location by copying them
apng2gif	Simple program that converts APNG files to animated GIF format
python312Packages.scapy	Python-based network packet manipulation program and library
python312Packages.simple-dftd3	Reimplementation of the DFT-D3 program
haskellPackages.FindBin	Locate directory of original program
haskellPackages.harg	Haskell program configuration using higher kinded data
console-setup	Console font and keymap setup program
haskellPackages.isiz	A program to show the size of image and whether suitable for wallpaper
perlPackages.TestUNIXSock	Testing UNIX domain socket program
python312Packages.eyed3	Python module and command line program for processing ID3 tags
plus-jakarta-sans	Typeface designed for Jakarta 'City of collaboration' program in 2020
python313Packages.turrishw	Python library and program for Turris hardware listing
python314Packages.turrishw	Python library and program for Turris hardware listing
redfishtool	Python34 program that implements a command line tool for accessing the Redfish API
vim-startuptime	Small Go program for better `vim --startuptime` alternative
haskellPackages.ast-path	vocabulary representation for predicting program properties
loadwatch	Run a program using only idle cycles
ocamlPackages_latest.reanalyze	Program analysis for ReScript and OCaml projects
python313Packages.pyflakes	Simple program which checks Python source files for errors
python313Packages.pnglatex	Small program that converts LaTeX snippets to png
python314Packages.pyflakes	Simple program which checks Python source files for errors
haskellPackages.hruby	Embed a Ruby intepreter in your Haskell program !
haskellPackages.chp-spec	A mirror implementation of chp that generates a specification of the program
haskellPackages.pfile	CLI program for profiles management
perl5Packages.TestUNIXSock	Testing UNIX domain socket program
python314Packages.qcengine	Quantum chemistry program executor and IO standardizer (QCSchema) for quantum chemistry
python314Packages.pnglatex	Small program that converts LaTeX snippets to png
datamash	Command-line program which performs basic numeric,textual and statistical operations on input textual data files
haskellPackages.htags	A Haskell98 parsing tags program similar to ctags
python313Packages.qcengine	Quantum chemistry program executor and IO standardizer (QCSchema) for quantum chemistry
python313Packages.roombapy	Python program and library to control Wi-Fi enabled iRobot Roombas
python314Packages.roombapy	Python program and library to control Wi-Fi enabled iRobot Roombas
disk-filltest	Simple program to detect bad disks by filling them with random data
perl538Packages.TestTCP	Testing TCP program
perl540Packages.TestTCP	Testing TCP program
akkuPackages.rapid-args-fold	A program argument processor compatible with SRFI 37
haskellPackages.csv-to-qif	A small program that will read csv files and create qif files
haskellPackages.devil	A small tool to make it easier to update program managed by Angel
python313Packages.protonup-ng	CLI program and API to automate the installation and update of GloriousEggroll's Proton-GE
discourse-mail-receiver	Helper program which receives incoming mail for Discourse
synaesthesia	Program for representing sounds visually
python314Packages.protonup-ng	CLI program and API to automate the installation and update of GloriousEggroll's Proton-GE
python312Packages.pysim	Python tool to program SIMs / USIMs / ISIMs
synfigstudio	2D animation program
lxappearance	Lightweight program for configuring the theme and fonts of gtk applications
perlPackages.ProcDaemon	Run Perl program(s) as a daemon process
haskellPackages.hutton	A program for the button on Reddit
jack_capture	Program for recording soundfiles with jack
perlPackages.AppMusicChordPro	Lyrics and chords formatting program
disk_indicator	Program that will turn a LED into a hard disk indicator
evilpixie	Pixel-oriented paint program, modelled on Deluxe Paint
haskellPackages.intero	Complete interactive development program for Haskell
haskellPackages.stack-fix	Console program used to fix Stack build errors automatically
perl5Packages.ProcDaemon	Run Perl program(s) as a daemon process
haskellPackages.hascal	tiny calculator library and command-line program
haskellPackages.edentv	A Tool to Visualize Parallel Functional Program Executions
haskellPackages.dep-t-value	Pair resources files with types within your program
haskellPackages.json-state	Keep program state in JSON files
haskellPackages.derive	A program and library to derive instances for data types
haskellPackages.tikzsd	A program for generating LaTeX code of string diagrams
lxappearance-gtk2	Lightweight program for configuring the theme and fonts of gtk applications
akkuPackages.robin-logger	A simple logging library for outputting messages while a program is running
bzip2_1_1	High-quality data compression program
haskellPackages.colock	thread-friendly file locks that don't block the entire program
haskellPackages.hgdbmi	GDB Machine Interface: program-driven control of GDB
perl5Packages.AppMusicChordPro	Lyrics and chords formatting program
haskellPackages.frpnow-gtk	Program GUIs with GTK and frpnow!
haskellPackages.PlslTools	So far just a lint like program for PL/SQL. Diff and refactoring tools are planned
haskellPackages.frpnow-vty	Program terminal applications with vty and frpnow!
kdePackages.kolourpaint	Easy-to-use paint program
python312Packages.turrishw	Python library and program for Turris hardware listing
python312Packages.pyflakes	Simple program which checks Python source files for errors
haskellPackages.ghc-proofs	GHC plugin to prove program equations by simplification
haskellPackages.hpc-strobe	Hpc-generated strobes for a running Haskell program
haskellPackages.graph-trace	Trace the call graph of a program
python312Packages.pnglatex	Small program that converts LaTeX snippets to png
haskellPackages.choose-exe	Command-line program to choose random element from a stream
python314Packages.pylddwrap	Python wrapper around ldd *nix utility to determine shared libraries of a program
perl540Packages.TestUNIXSock	Testing UNIX domain socket program
perl538Packages.TestUNIXSock	Testing UNIX domain socket program
python312Packages.qcengine	Quantum chemistry program executor and IO standardizer (QCSchema) for quantum chemistry
python312Packages.roombapy	Python program and library to control Wi-Fi enabled iRobot Roombas
texlivePackages.listing	Produce formatted program listings
haskellPackages.frpnow-gtk3	Program GUIs with GTK3 and frpnow!
python313Packages.pylddwrap	Python wrapper around ldd *nix utility to determine shared libraries of a program
subsurface	Divelog program
haskellPackages.hastily	A program to download subtitle files
haskellPackages.cabal-test-bin	A program for finding temporary build file during cabal-test
haskellPackages.aspell-pipe	Pipe-based interface to the Aspell program
haskellPackages.dyepack	Programatically identify space leaks in your program
python312Packages.protonup-ng	CLI program and API to automate the installation and update of GloriousEggroll's Proton-GE
haskellPackages.butcher	Chops a command or program invocation into digestable pieces
haskellPackages.cabal-cargs	A command line program for extracting compiler arguments from a cabal file
update-nix-fetchgit	A program to update fetchgit values in Nix expressions
haskellPackages.lazy-hash-cache	Storing computed values for re-use when the same program runs again
haskellPackages.fix-imports	Program to manage the imports of a haskell module
haskellPackages.frpnow-gloss	Program awesome stuff with Gloss and frpnow!
perl538Packages.ProcDaemon	Run Perl program(s) as a daemon process
perl540Packages.ProcDaemon	Run Perl program(s) as a daemon process
cursewords	Graphical command line program for solving crossword puzzles in the terminal
soundtouch	Program and library for changing the tempo, pitch and playback rate of audio
wmderlandc	Tiny program to interact with wmderland
haskellPackages.TestExplode	Generates testcases from program-snippets
perl540Packages.AppMusicChordPro	Lyrics and chords formatting program
perl538Packages.AppMusicChordPro	Lyrics and chords formatting program
codebraid	Live code in Pandoc Markdown. Codebraid is a Python program that enables executable code in Pandoc Markdown documents. Using Codebraid can be as simple as adding a class to your code blocks' attributes, and then running codebraid rather than pandoc to convert your document from Markdown to another format. codebraid supports almost all of pandoc's options and passes them to pandoc internally. Codebraid provides two options for executing code. It includes a built-in code execution system that currently supports Python 3.5+, Julia, Rust, R, Bash, and JavaScript. Code can also be executed using Jupyter kernels, with support for rich output like plots.
gcfflasher	CFFlasher is the tool to program the firmware of dresden elektronik's Zigbee products
haskellPackages.hsqml-demo-notes	Sticky notes example program implemented in HsQML
haskellPackages.gettext-th	gettext-th can internationalise a haskell program without runtime dependencies
haskellPackages.monad-throw-exit	Functions to exit the program anywhere in MonadThrow monads
wipefreespace	Program which will securely wipe the free space
haskellPackages.cabal-bounds	A command line program for managing the dependency versions in a cabal file
brightnessctl	This program allows you read and control device brightness
stm32flash	Open source flash program for the STM32 ARM processors using the ST bootloader
haskellPackages.haskell-docs	A program to find and display the docs and type of a name
haskellPackages.hailgun-send	A program to send emails throught the Mailgun api
metamorphose2	Graphical mass renaming program for files and folders
texlivePackages.mathspic	A Perl filter program for use with PiCTeX
haskellPackages.effect-monad	Embeds effect systems and program logics into Haskell using graded monads and parameterised monads
haskellPackages.wstunnel	Tunneling program over websocket protocol
haskellPackages.settings	Runtime-editable program settings
haskellPackages.randfile	Program for picking a random file
perlPackages.TestRunValgrind	Tests that an external program is valgrind-clean
haskellPackages.hxournal	A pen notetaking program written in haskell
python313Packages.cffconvert	Command line program to validate and convert CITATION.cff files
python312Packages.pylddwrap	Python wrapper around ldd *nix utility to determine shared libraries of a program
haskellPackages.config-select	A small program for swapping out dot files
python314Packages.cffconvert	Command line program to validate and convert CITATION.cff files
cinnamon-screensaver	Cinnamon screen locker and screensaver program
haskellPackages.bamstats	A program to extract various information from BAM alignmnet files
haskellPackages.graphmod	Present the module dependencies of a program as a "dot" graph
perl5Packages.TestRunValgrind	Tests that an external program is valgrind-clean
accuraterip-checksum	Program for computing the AccurateRip checksum of singletrack WAV files
haskellPackages.ghc-debug-common	Connect to a socket created by ghc-debug-stub and analyse the heap of the debuggee program
haskellPackages.mathblog	A program for creating and managing a static weblog with LaTeX math and diagrams
haskellPackages.hsfacter	A small and ugly library that emulates the output of the puppet facter program
imewlconverter	FOSS program for converting IME dictionaries
easycrypt-runtest	Testing program for EasyCrypt formalizations
haskellPackages.stack-network	A program for extending Stack to add distributed capabilities
haskellPackages.pixel-printer	A program for turning pixel art into 3D prints
haskellPackages.canteven-log	A canteven way of setting up logging for your program
jugglinglab	Program to visualize different juggling pattens
haskellPackages.on-demand-ssh-tunnel	Program that sends traffic through SSH tunnels on-demand
haskellPackages.conlogger	A logger for a concurrent program
haskellPackages.monad-skeleton	Monads of program skeleta
pgformatter	PostgreSQL SQL syntax beautifier that can work as a console program or as a CGI
haskellPackages.Barracuda	An ad-hoc P2P chat program
haskellPackages.happraise	A small program for counting the comments in haskell source
python313Packages.autocommand	Autocommand turns a python function into a CLI program
python314Packages.autocommand	Autocommand turns a python function into a CLI program
python312Packages.cffconvert	Command line program to validate and convert CITATION.cff files
haskellPackages.cabal-progdeps	Show dependencies of program being built in current directory
perl540Packages.TestRunValgrind	Tests that an external program is valgrind-clean
perl538Packages.TestRunValgrind	Tests that an external program is valgrind-clean
python313Packages.scenedetect	Python and OpenCV-based scene cut/transition detection program & library
python314Packages.scenedetect	Python and OpenCV-based scene cut/transition detection program & library
haskellPackages.DrIFT-cabalized	Program to derive type class instances
haskellPackages.egison-tutorial	A tutorial program for the Egison programming language
atomicparsley	CLI program for reading, parsing and setting metadata into MPEG-4 files
haskellPackages.mcmc-synthesis	MCMC applied to probabilistic program synthesis
isoimagewriter	Program to write hybrid ISO files onto USB disks
industrializer	This program generates synthesized percussion sounds using physical modelling
locate-dominating-file	Program that looks up in a directory hierarchy for a given filename
haskellPackages.update-nix-fetchgit	A program to update fetchgit values in Nix expressions
python312Packages.autocommand	Autocommand turns a python function into a CLI program
switch-to-configuration-ng	NixOS switch-to-configuration program
python312Packages.scenedetect	Python and OpenCV-based scene cut/transition detection program & library
soundtracker	Music tracking tool similar in design to the DOS program FastTracker and the Amiga legend ProTracker
haskellPackages.hasql-streams-example	An example program that shows how to use Hasql streams with Rel8
influxdb2-token-manipulator	Utility program to manipulate influxdb api tokens for declarative setups
haskellPackages.executable-hash	Provides the SHA1 hash of the program executable
haskellPackages.Agda-executable	Command-line program for type-checking and compiling Agda programs
perlPackages.StringToIdentifierEN	Convert Strings to English Program Identifiers
perceptualdiff	Program that compares two images using a perceptually based image metric
texlivePackages.hvpygmentex	Syntax-Highlighting of program code
perl5Packages.StringToIdentifierEN	Convert Strings to English Program Identifiers
kdePackages.isoimagewriter	Program to write hybrid ISO files onto USB disks
haskellPackages.postgresql-config	Types for easy adding postgresql configuration to your program
haskellPackages.rabocsv2qif	A library and program to create QIF files from Rabobank CSV exports
audiowaveform	C++ program to generate waveform data and render waveform images from audio files
haskellPackages.HaskellAnalysisProgram	Haskell source code analysis program
perl538Packages.StringToIdentifierEN	Convert Strings to English Program Identifiers
perl540Packages.StringToIdentifierEN	Convert Strings to English Program Identifiers
python313Packages.aio-geojson-usgs-earthquakes	Module for accessing the U.S. Geological Survey Earthquake Hazards Program feeds
python314Packages.aio-geojson-usgs-earthquakes	Module for accessing the U.S. Geological Survey Earthquake Hazards Program feeds
texlivePackages.memorygraphs	TikZ styles to typeset graphs of program memory
haskellPackages.multiplicity	Wrapper program for duplicity, adding config files
openorienteering-mapper	Orienteering mapmaking program
haskellPackages.textmatetags	A simple Haskell program to provide tags for Haskell code completion in TextMate
haskellPackages.lambdacube-compiler	LambdaCube 3D is a DSL to program GPUs
chickenPackages_5.chickenEggs.svnwiki2html	A program to convert svnwiki syntax to HTML
haskellPackages.reflex-dom-fragment-shader-canvas	A reflex-dom widget to draw on a canvas with a fragment shader program
jpegexiforient	Utility program to get and set the Exif Orientation Tag
python312Packages.aio-geojson-usgs-earthquakes	Module for accessing the U.S. Geological Survey Earthquake Hazards Program feeds
haskellPackages.functor-combinators	Tools for functor combinator-based program design
cudaPackages.libnvptxcompiler	APIs which can be used to compile a PTX program into GPU assembly code
haskellPackages.visual-graphrewrite	Visualize the graph-rewrite steps of a Haskell program
haskellPackages.stackcollapse-ghc	Program to fold GHC prof files into flamegraph input
xinput_calibrator	Generic touchscreen calibration program for X.Org
haskellPackages.Holumbus-Distribution	intra- and inter-program communication
haskellPackages.puppetresources	A program that displays the puppet resources associated to a node given .pp files.
gnomeExtensions.control-monitor-brightness-and-volume-with-ddcutil	Brightness and volume control for monitors. Requires setting up the external ddcutil program for your user.
haskellPackages.dresdner-verkehrsbetriebe	Library and program for querying DVB (Dresdner Verkehrsbetriebe AG)
bacnet-stack	BACnet open source protocol stack for embedded systems, Linux, and Windows
ocamlPackages.rdbg	Programmable debugger that targets reactive programs for which a rdbg-plugin exists. Currently two plugins exist : one for Lustre, and one for Lutin (nb: both are synchronous programming languages)
ocamlPackages_latest.rdbg	Programmable debugger that targets reactive programs for which a rdbg-plugin exists. Currently two plugins exist : one for Lustre, and one for Lutin (nb: both are synchronous programming languages)
pk2cmd	Microchip PIC programming software for the PICKit2 programmer
racket	Programmable programming language
anyk	Tool for filling forms for the Hungarian government
nelua	Minimal, efficient, statically-typed and meta-programmable systems programming language heavily inspired by Lua, which compiles to C and native code
racket-minimal	Programmable programming language (minimal distribution)
opae	Open Programmable Acceleration Engine SDK
devede	DVD Creator for Linux
flow-control	Programmer's text editor
easypdkprog	Read, write and execute programs on PADAUK microcontroller
dina-font	Monospace bitmap font aimed at programmers
pc	Programmer's calculator
egypt	Tool for making call graphs of C programmes
steam-play-none	Steam Play Compatibility Tool to run games as-is (This is intended for use in the `programs.steam.extraCompatPackages` option only.)
proton-ge-bin	Compatibility tool for Steam Play based on Wine and additional components. (This is intended for use in the `programs.steam.extraCompatPackages` option only.)
napalm	Network Automation and Programmability Abstraction Layer with Multivendor support
octavePackages.arduino	Basic Octave implementation of the matlab arduino extension, allowing communication to a programmed arduino board to control its hardware
pcalc	Programmer's calculator
frawk	Small programming language for writing short programs processing textual data
libpq	C application programmer's interface to PostgreSQL
jedit	Programmer's text editor written in Java
tamsyn	Monospace bitmap font aimed at programmers
udunits	C-based package for the programatic handling of units of physical quantities
uisp	Tool for AVR microcontrollers which can interface to many hardware in-system programmers
gnaural	Programmable auditory binaural-beat synthesizer
pinokio	Browser to install, run, and programmatically control ANY application automatically
lmmath	Latin Modern Math (LM Math) font completes the modernization of the Computer Modern family of typefaces designed and programmed by Donald E. Knuth
advi	Unix-platform DVI previewer and a programmable presenter for slides written in LaTeX
haskellPackages.reheat	to make notes and reduce impact on idle time on writing other programms
imhex	Hex Editor for Reverse Engineers, Programmers and people who value their retinas when working at 3 AM
tinyprog	Programmer for FPGA boards using the TinyFPGA USB Bootloader
python314Packages.napalm	Network Automation and Programmability Abstraction Layer with Multivendor support
python313Packages.napalm	Network Automation and Programmability Abstraction Layer with Multivendor support
gtree	Generate directory trees and directories using Markdown or programmatically
rmapi	Go app that allows access to the ReMarkable Cloud API programmatically
perlPackages.NetDNSResolverProgrammable	Programmable DNS resolver class for offline emulation of DNS
perl5Packages.NetDNSResolverProgrammable	Programmable DNS resolver class for offline emulation of DNS
python312Packages.napalm	Network Automation and Programmability Abstraction Layer with Multivendor support
perl540Packages.NetDNSResolverProgrammable	Programmable DNS resolver class for offline emulation of DNS
perl538Packages.NetDNSResolverProgrammable	Programmable DNS resolver class for offline emulation of DNS
python312Packages.bsddb3	Python bindings for Oracle Berkeley DB
python313Packages.bsddb3	Python bindings for Oracle Berkeley DB
httpy-cli	Modern, user-friendly, programmable command-line HTTP client for the API
colobot	Real-time strategy game with programmable bots
dnote	Simple command line notebook for programmers
jed	Programmable text editor written around S-Lang
xconq	Programmable turn-based strategy game
netlogo	Multi-agent programmable modeling environment
typstPackages.solo-lu-df	Write qualification papers, bachelor’s theses, and master’s theses for University of Latvia, Computer Science programme
texlivePackages.concprog	Concert programmes
haskellPackages.hs-pgms	Programmer's Mine Sweeper in Haskell
copygen	Command-line and programmatic Go code generator that generates custom type-based code
pqiv	Powerful image viewer with minimal UI
io	Io programming language
wch-isp	Firmware programmer for WCH microcontrollers over USB
get_iplayer	Downloads TV and radio programmes from BBC iPlayer and BBC Sounds
python313Packages.berkeleydb	Python bindings for Oracle Berkeley DB
python314Packages.berkeleydb	Python bindings for Oracle Berkeley DB
ztools	Essential set of Z-machine tools for interpreter authors, experienced Inform programmers, and Z-code hackers
rotonda	Composable, programmable BGP Engine
dfu-util	Device firmware update (DFU) USB programmer
python313Packages.mscerts	Makes the Microsoft Trusted Root Program's Certificate Trust Lists available in Python
python314Packages.mscerts	Makes the Microsoft Trusted Root Program's Certificate Trust Lists available in Python
python312Packages.berkeleydb	Python bindings for Oracle Berkeley DB
dediprog-sf100	Linux software for DediProg SF100/SF600 programmers
typstPackages.solo-lu-df_0_1_4	Write qualification papers, bachelor’s theses, and master’s theses for University of Latvia, Computer Science programme
typstPackages.solo-lu-df_1_0_0	Write qualification papers, bachelor’s theses, and master’s theses for University of Latvia, Computer Science programme
typstPackages.solo-lu-df_0_1_2	Write qualification papers, bachelor’s theses, and master’s theses for University of Latvia, Computer Science programme
typstPackages.solo-lu-df_0_1_0	Write qualification papers, bachelor’s theses, and master’s theses for University of Lativa, Computer Science programme
typstPackages.solo-lu-df_0_1_1	Write qualification papers, bachelor’s theses, and master’s theses for University of Lativa, Computer Science programme
typstPackages.solo-lu-df_0_1_3	Write qualification papers, bachelor’s theses, and master’s theses for University of Latvia, Computer Science programme
apache-airflow	Platform to programmatically author, schedule and monitor workflows
nls	Language server for the Nickel programming language
sudo-font	Font for programmers and command line users
typstPackages.isc-hei-report	Official report at the 'Informatique et systèmes de communication' (ISC) bachelor degree programme, School of Engineering (HEI) in Sion, Switzerland
python312Packages.mscerts	Makes the Microsoft Trusted Root Program's Certificate Trust Lists available in Python
min	Functional, concatenative programming language with a minimalist syntax
executor	Programmer friendly subprocess wrapper
python313Packages.pyutil	Collection of mature utilities for Python programmers
python314Packages.pyutil	Collection of mature utilities for Python programmers
red	New programming language strongly inspired by Rebol, but with a broader field of usage thanks to its native-code compiler, from system programming to high-level scripting, while providing modern support for concurrency and multi-core CPUs
python313Packages.junos-eznc	Junos 'EZ' automation for non-programmers
python314Packages.junos-eznc	Junos 'EZ' automation for non-programmers
haskellPackages.visual-prof	Create a visual profile of a program's source code
typstPackages.isc-hei-bthesis	Official bachelor thesis at the 'Informatique et systèmes de communication' (ISC) bachelor degree programme, School of Engineering (HEI) in Sion, Switzerland
imsprog	Free I2C EEPROM programmer tool for CH341A device
chiptrack	Programmable cross-platform sequencer for the Game Boy Advance sound chip
avrdudess	GUI for AVRDUDE (AVR microcontroller programmer)
haskellPackages.streamed	Programmatically edit MIDI event streams via ALSA
phpExtensions.openswoole	Coroutine-based concurrency library and high performance programmatic server for PHP
typstPackages.isc-hei-exec-summary	Official executive summary for the bachelor thesis at the 'Informatique et systèmes de communication' (ISC) bachelor degree programme, School of Engineering (HEI) in Sion, Switzerland
python312Packages.pyutil	Collection of mature utilities for Python programmers
bluefish	Powerful editor targeted towards programmers and webdevelopers
python313Packages.genanki	Generate Anki decks programmatically
python314Packages.genanki	Generate Anki decks programmatically
python312Packages.junos-eznc	Junos 'EZ' automation for non-programmers
php82Extensions.openswoole	Coroutine-based concurrency library and high performance programmatic server for PHP
php84Extensions.openswoole	Coroutine-based concurrency library and high performance programmatic server for PHP
php83Extensions.openswoole	Coroutine-based concurrency library and high performance programmatic server for PHP
php85Extensions.openswoole	Coroutine-based concurrency library and high performance programmatic server for PHP
jpm	Janet Project Manager for the Janet programming language
rml	ReactiveML: a programming language for implementing interactive systems
php81Extensions.openswoole	Coroutine-based concurrency library and high performance programmatic server for PHP
python313Packages.drawsvg	Programmatically generate SVG (vector) images, animations, and interactive Jupyter widgets
python313Packages.alexapy	Python Package for controlling Alexa devices (echo dot, etc) programmatically
python314Packages.alexapy	Python Package for controlling Alexa devices (echo dot, etc) programmatically
python314Packages.drawsvg	Programmatically generate SVG (vector) images, animations, and interactive Jupyter widgets
icr	Interactive console for the Crystal programming language
ngn-k	Simple fast vector programming language
nerd-fonts.daddy-time-mono	Nerd Fonts: A monospaced font for programmers and other terminal groupies
python313Packages.docling-parse	Simple package to extract text with coordinates from programmatic PDFs
python314Packages.docling-parse	Simple package to extract text with coordinates from programmatic PDFs
chickenPackages_5.chickenEggs.lazy-ffi	A foreign function interface for lazy programmers
python313Packages.asgi-lifespan	Programmatic startup/shutdown of ASGI apps
python314Packages.asgi-lifespan	Programmatic startup/shutdown of ASGI apps
python313Packages.mkdocs-gen-files	MkDocs plugin to programmatically generate documentation pages during the build
python314Packages.mkdocs-gen-files	MkDocs plugin to programmatically generate documentation pages during the build
python313Packages.python-editor	Library that provides the `editor` module for programmatically
python314Packages.python-editor	Library that provides the `editor` module for programmatically
python313Packages.python-bsblan	Module to control and monitor an BSBLan device programmatically
python314Packages.python-bsblan	Module to control and monitor an BSBLan device programmatically
python312Packages.genanki	Generate Anki decks programmatically
perlPackages.SymbolGet	Read Perl's symbol table programmatically
haskellPackages.jmacro	QuasiQuotation library for programmatic generation of Javascript code
python314Packages.pyiceberg	Python library for programmatic access to Apache Iceberg
juniper	Functional reactive programming language for programming Arduino
frink	Practical calculating tool and programming language
roc	Fast, friendly, functional programming language
haskellPackages.slab	A programmable markup language to generate HTML
python313Packages.pyiceberg	Python library for programmatic access to Apache Iceberg
python313Packages.mechanize	Stateful programmatic web browsing in Python
python314Packages.mechanize	Stateful programmatic web browsing in Python
bash-completion	Programmable completion for the bash shell
perl5Packages.SymbolGet	Read Perl's symbol table programmatically
python312Packages.alexapy	Python Package for controlling Alexa devices (echo dot, etc) programmatically
python312Packages.drawsvg	Programmatically generate SVG (vector) images, animations, and interactive Jupyter widgets
haskellPackages.system-posix-redirect	A toy module to temporarily redirect a program's stdout
typstPackages.isc-hei-report_0_3_1	Official report at the 'Informatique et systèmes de communication' (ISC) bachelor degree programme at the School of Engineering (HEI) in Sion, Switzerland
bgnet	Beej’s Guide to Network Programming
typstPackages.isc-hei-report_0_2_0	An official report template for the 'Informatique et systèmes de communication' (ISC) bachelor degree programme at the School of Engineering (HEI) in Sion, Switzerland
typstPackages.isc-hei-report_0_1_5	An official report template for the 'Informatique et systèmes de communication' (ISC) bachelor degree programme at the School of Engineering (HEI) in Sion, Switzerland
typstPackages.isc-hei-report_0_1_3	An official report template for the 'Informatique et systèmes de communication' (ISC) bachelor degree programme at the School of Engineering (HEI) in Sion, Switzerland
typstPackages.isc-hei-report_0_1_0	An official report template for the 'Informatique et systèmes de communication' (ISC) bachelor degree programme at the School of Engineering (HEI) in Sion, Switzerland
python313Packages.apcaccess	Library offers programmatic access to the status information provided by apcupsd over its Network Information Server
python314Packages.apcaccess	Library offers programmatic access to the status information provided by apcupsd over its Network Information Server
haskellPackages.swarm	2D resource gathering game with programmable robots
liberation-circuit	Real-time strategy game with programmable units
typstPackages.isc-hei-report_0_5_3	Official report at the 'Informatique et systèmes de communication' (ISC) bachelor degree programme, School of Engineering (HEI) in Sion, Switzerland
typstPackages.isc-hei-report_0_6_0	Official report at the 'Informatique et systèmes de communication' (ISC) bachelor degree programme, School of Engineering (HEI) in Sion, Switzerland
typstPackages.isc-hei-report_0_5_2	Official report at the 'Informatique et systèmes de communication' (ISC) bachelor degree programme, School of Engineering (HEI) in Sion, Switzerland
python312Packages.docling-parse	Simple package to extract text with coordinates from programmatic PDFs
texlivePackages.lualibs	Additional Lua functions for LuaTeX macro programmers
fujprog	JTAG programmer for the ULX3S and ULX2S open hardware FPGA development boards
python313Packages.apollo-fpga	Microcontroller-based FPGA / JTAG programmer
python314Packages.apollo-fpga	Microcontroller-based FPGA / JTAG programmer
python312Packages.asgi-lifespan	Programmatic startup/shutdown of ASGI apps
fantasque-sans-mono	Font family with a great monospaced variant for programmers
haskellPackages.tempus-fugit	Programmers' time tracker
python312Packages.mkdocs-gen-files	MkDocs plugin to programmatically generate documentation pages during the build
python312Packages.python-editor	Library that provides the `editor` module for programmatically
python312Packages.python-bsblan	Module to control and monitor an BSBLan device programmatically
python313Packages.automat	Self-service finite-state machines for the programmer on the go
python314Packages.automat	Self-service finite-state machines for the programmer on the go
open-music-kontrollers.vm	Programmable virtual machine LV2 plugin
python312Packages.pyiceberg	Python library for programmatic access to Apache Iceberg
python312Packages.mechanize	Stateful programmatic web browsing in Python
haskellPackages.github-rest	Query the GitHub REST API programmatically
hare	Systems programming language designed to be simple, stable, and robust
chickenPackages_5.chickenEggs.mistie	A programmable filter
perl538Packages.SymbolGet	Read Perl's symbol table programmatically
perl540Packages.SymbolGet	Read Perl's symbol table programmatically
chickenPackages_5.chickenEggs.compile-file	Programmatic compiler invocation
python313Packages.busylight-core	Library for interacting programmatically with USB-connected LED lights
python314Packages.busylight-core	Library for interacting programmatically with USB-connected LED lights
python312Packages.apcaccess	Library offers programmatic access to the status information provided by apcupsd over its Network Information Server
mspdebug	Free programmer, debugger, and gdb proxy for MSP430 MCUs
flix	Flix Programming Language
haskellPackages.implicit	A math-inspired programmatic 2D & 3D CAD system
wb32-dfu-updater	USB programmer for downloading and uploading firmware to/from USB devices
typstPackages.isc-hei-bthesis_0_5_0	Official bachelor thesis at the 'Informatique et systèmes de communication' (ISC) bachelor degree programme at the School of Engineering (HEI) in Sion, Switzerland
python313Packages.executor	Programmer friendly subprocess wrapper
python314Packages.executor	Programmer friendly subprocess wrapper
typstPackages.isc-hei-bthesis_0_5_3	Official bachelor thesis at the 'Informatique et systèmes de communication' (ISC) bachelor degree programme, School of Engineering (HEI) in Sion, Switzerland
typstPackages.isc-hei-bthesis_0_5_2	Official bachelor thesis at the 'Informatique et systèmes de communication' (ISC) bachelor degree programme, School of Engineering (HEI) in Sion, Switzerland
typstPackages.isc-hei-bthesis_0_6_0	Official bachelor thesis at the 'Informatique et systèmes de communication' (ISC) bachelor degree programme, School of Engineering (HEI) in Sion, Switzerland
open-music-kontrollers.moony	Realtime Lua as programmable glue in LV2
python312Packages.apollo-fpga	Microcontroller-based FPGA / JTAG programmer
julec	Jule Programming Language Compiler
texlivePackages.expltools	Development tools for expl3 programmers
haskellPackages.colorless	Colorless \| The Programmatic IDL
cudaPackages.cuda_nvml_dev	C-based programmatic interface for monitoring and managing various states within Data Center GPUs
python312Packages.automat	Self-service finite-state machines for the programmer on the go
picat	Logic-based programming language
haskellPackages.HGamer3D	Toolset for the Haskell Game Programmer
luajitPackages.moonscript	A programmer friendly language that compiles to Lua
texlivePackages.fntproof	A programmable font test pattern generator
python312Packages.busylight-core	Library for interacting programmatically with USB-connected LED lights
texlivePackages.register	Typeset programmable elements in digital hardware (registers)
typstPackages.isc-hei-exec-summary_0_5_2	Official executive summary for the bachelor thesis at the 'Informatique et systèmes de communication' (ISC) bachelor degree programme, School of Engineering (HEI) in Sion, Switzerland
typstPackages.isc-hei-exec-summary_0_6_0	Official executive summary for the bachelor thesis at the 'Informatique et systèmes de communication' (ISC) bachelor degree programme, School of Engineering (HEI) in Sion, Switzerland
typstPackages.isc-hei-exec-summary_0_5_3	Official executive summary for the bachelor thesis at the 'Informatique et systèmes de communication' (ISC) bachelor degree programme, School of Engineering (HEI) in Sion, Switzerland
dart	Scalable programming language, with robust libraries and runtimes, for building web, server, and mobile apps
cplex	Optimization solver for mathematical programming
fmodex	Programming library and toolkit for the creation and playback of interactive audio
taoup	Tao of Unix Programming (Ruby-powered ANSI colored fortunes)
sam-ba	Programming tools for Atmel SAM3/7/9 ARM-based microcontrollers
luaPackages.moonscript	A programmer friendly language that compiles to Lua
python312Packages.executor	Programmer friendly subprocess wrapper
dafny	Programming language with built-in specification constructs
haskellPackages.reactive-balsa	Programmatically edit MIDI events via ALSA and reactive-banana
haskellPackages.HGamer3D-Data	Toolset for the Haskell Game Programmer - Data Definitions
lua55Packages.moonscript	A programmer friendly language that compiles to Lua
gnomeExtensions.reading-strip	It's an extension for Gnome-Shell. It works as a reading guide for computer and this is really useful for people affected by dyslexia. It works great in helping children focusing to read very well, it marks the sentence that they are reading and hides the previous and the next one. It's already used in education projects at schools, it puts the attention on screen but it's also really useful for programmers and graphic designers who want to check their works.
lua54Packages.moonscript	A programmer friendly language that compiles to Lua
lua53Packages.moonscript	A programmer friendly language that compiles to Lua
lua51Packages.moonscript	A programmer friendly language that compiles to Lua
lua52Packages.moonscript	A programmer friendly language that compiles to Lua
gnomeExtensions.shyriiwook	Switch keyboard layouts programmatically
haskellPackages.HGamer3D-Audio	Toolset for the Haskell Game Programmer - Audio Functionality
clean	General purpose, state-of-the-art, pure and lazy functional programming language
gurobi	Optimization solver for mathematical programming
pixel-code	Pixel font designed to actually be good for programming
python313Packages.zope-testbrowser	Programmable browser for functional black-box tests
python314Packages.zope-testbrowser	Programmable browser for functional black-box tests
haskellPackages.HGamer3D-Common	Toolset for the Haskell Game Programmer - Game Engine and Utilities
fut	Fusion programming language
nimble	Package manager for the Nim programming language
ats	Functional programming language with dependent types
exprtk	C++ Mathematical Expression Toolkit Library
ponyc	Pony is an Object-oriented, actor-model, capabilities-secure, high performance programming language
python312Packages.zope-testbrowser	Programmable browser for functional black-box tests
tamzen	Bitmapped programming font based on Tamsyn
haskellPackages.speculation	A framework for safe, programmable, speculative parallelism
hop	Multi-tier programming language for the Web 2.0 and the so-called diffuse Web
gren	Programming language for simple and correct applications
cbc	Mixed integer programming solver
go	Go Programming language
p4c	Reference compiler for the P4 programming language
octave	Scientific Programming Language
haskellPackages.HGamer3D-CEGUI-Binding	A Toolset for the Haskell Game Programmer - CEGUI Bindings
haskellPackages.HGamer3D-Graphics3D	Toolset for the Haskell Game Programmer - 3D Graphics Functionality
haskellPackages.MagicHaskeller	Automatic inductive functional programmer by systematic search
kcl	Command line interface for KCL programming language
eff	Functional programming language based on algebraic effects and their handlers
haskellPackages.HGamer3D-Bullet-Binding	Windows Game Engine for the Haskell Programmer - Bullet Bindings
texlivePackages.luaprogtable	Programmable table interface for LuaLaTeX
python313Packages.lazr-restfulclient	Programmable client library that takes advantage of the commonalities among
python314Packages.lazr-restfulclient	Programmable client library that takes advantage of the commonalities among
clp	Open-source linear programming solver written in C++
eweb	Asciidoc-based literate programming tool, written in Python
factor-lang	Concatenative, stack-based programming language
oak	Expressive, simple, dynamic programming language
nrpl	REPL for the Nim programming language
haxe	Programming language targeting JavaScript, Flash, NekoVM, PHP, C++
node-red	Low-code programming for event-driven applications
nqc	Programming language for several LEGO MINDSTORMS products including the RCX, CyberMaster, and Scout
octaveFull	Scientific Programming Language
bliss	Open source tool for computing automorphism groups and canonical forms of graphs. It has both a command line user interface as well as C++ and C programming language APIs
python312Packages.lazr-restfulclient	Programmable client library that takes advantage of the commonalities among
haskellPackages.constraints-deriving	Manipulating constraints and deriving class instances programmatically
turingplus	Extended version of the Turing programming language with concurrency and systems programming features
haskellPackages.hackertyper	"Hack" like a programmer in movies and games!
neko	High-level dynamically typed programming language
zug	Library for functional interactive c++ programs
factor-lang-0_99	Concatenative, stack-based programming language
geogram	Programming Library with Geometric Algorithms
factor-lang-0_101	Concatenative, stack-based programming language
qdmr	GUI application and command line tool for programming DMR radios
factor-lang-0_100	Concatenative, stack-based programming language
urweb	Advanced purely-functional web programming language
natural-docs	Documentation generator for multiple programming languages
juledoc	Official documentation generator for the Jule programming language
julefmt	Official formatter tool for the Jule programming language
noweb	Simple, extensible literate-programming tool
go_1_25	Go Programming language
go_1_23	Go Programming language
c-for-go	Automatic C-Go Bindings Generator for the Go Programming Language
bend	Massively parallel, high-level programming language
go_1_26	Go Programming language
gnuapl	Free interpreter for the APL programming language
enry	Programming language detector based on go-enry/go-enry/v2 library
go_1_24	Go Programming language
delve	Debugger for the Go programming language
leaps	Pair programming tool and library written in Golang
smlfut	Allow SML programs to call Futhark programs
gohufont	A monospace bitmap font well suited for programming and terminal use
tt-metal	TT-NN operator library, and TT-Metalium low level kernel programming model
reason	User-friendly programming language built on OCaml
glas	Language server for the Gleam programming language
sourcery	AI-powered code review and pair programming tool for Python
tab	Programming language/shell calculator
lexy	Lightweight CLI tool that fetches programming tutorials from "Learn X in Y Minutes" directly into your terminal
pyocd	Python library for programming and debugging Arm Cortex-M microcontrollers
koto	Simple, expressive, embeddable programming language
c0	Small safe subset of the C programming language, augmented with contracts
wuffs	memory-safe programming language and standard library for wrangling untrusted data
tmc-cli	CLI for using the TestMyCode programming assignment evaluator
mozart2-binary	Multiplatform implementation of the Oz programming language
ols	Language server for the Odin programming language
rune	Interpreter for the Rune Language, an embeddable dynamic programming language for Rust
alda	Music programming language for musicians
uiua	Stack-oriented array programming language with a focus on simplicity, beauty, and tacit code
haxe_4_3	Programming language targeting JavaScript, Flash, NekoVM, PHP, C++
haxe_4_1	Programming language targeting JavaScript, Flash, NekoVM, PHP, C++
lesbar	Programming language agnostic view layer for creating desktop widgets and status bars
par-lang	Experimental concurrent programming language
python313Packages.cython_0	Optimising static compiler for both the Python programming language and the extended Cython programming language
python314Packages.cython_0	Optimising static compiler for both the Python programming language and the extended Cython programming language
celf	Linear logic programming system
swift	Swift Programming Language
zig	General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software
leo-lang	Functional, statically-typed programming language built for writing private applications
osi	Abstract base class to a generic linear programming (LP) solver
opshin	Simple pythonic programming language for Smart Contracts on Cardano
dub	Package and build manager for D programs and libraries
aider-chat	AI pair programming in your terminal
gtk-server	Gtk-server for interpreted GUI programming
haxe_4_0	Programming language targeting JavaScript, Flash, NekoVM, PHP, C++
kind2	Functional programming language and proof assistant
kotlin-native	Modern programming language that makes developers happier
ciao	General purpose, multi-paradigm programming language in the Prolog family
typstPackages.typsy	Classes/structs, pattern matching, safe counters... and more! Your one-stop library for programming tools not already in core Typst
mawk	Interpreter for the AWK Programming Language
lamb	Tiny pure functional programming language in C
pike	Pike programming language
ats2	Functional programming language with dependent types
go_latest	Go Programming language
odin	Fast, concise, readable, pragmatic and open sourced programming language
amber-lang	Programming language compiled to bash
asio	Cross-platform C++ library for network and low-level I/O programming
allegro4	Game programming library
colm	Programming language for the analysis and transformation of computer languages
nuweb	Simple literate programming tool
haskellPackages.hmep	HMEP Multi Expression Programming – a genetic programming variant
csdp	C Library for Semidefinite Programming
muvm	Run programs from your system in a microVM
clipcat	Clipboard Manager written in Rust Programming Language
allegro5	Game programming library
gawk	GNU implementation of the Awk programming language
swiftpm	Package Manager for the Swift Programming Language
openjump	Open source Geographic Information System (GIS) written in the Java programming language
avrdude	Command-line tool for programming Atmel AVR microcontrollers
slang	Small, embeddable multi-platform programming library
python312Packages.cython_0	Optimising static compiler for both the Python programming language and the extended Cython programming language
dvd-vr	Utility to identify and optionally copy recordings from a DVD-VR format disc
allegro	Game programming library
alire	Source-based package manager for the Ada and SPARK programming languages
statix	Lints and suggestions for the nix programming language
icon-lang	Very high level general-purpose programming language
cemu-ti	Third-party TI-84 Plus CE / TI-83 Premium CE emulator, focused on developer features
chuck	Programming language for real-time sound synthesis and music creation
chirp	Free, open-source tool for programming your amateur radio
scalp	Scalable Linear Programming Library
shisho	Lightweight static analyzer for several programming languages
zig-zlint	Linter for the Zig programming language
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
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-lang	Concatenative, stack-based programming language
factorPackages.factor-no-gui	Concatenative, stack-based programming language
fleng	Low level concurrent logic programming language descended from Prolog
gocode-gomod	Autocompletion daemon for the Go programming language
sbclPackages.thih-coalton	Statically typed functional programming language that supercharges Common Lisp
sbclPackages.quil-coalton	Statically typed functional programming language that supercharges Common Lisp
stlink	In-circuit debug and programming for ST-Link devices
intercal	Original esoteric programming language
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-no-gui	Concatenative, stack-based programming language
factorPackages-0_99.factor-lang	Concatenative, stack-based programming language
scipopt-zimpl	Zuse Institut Mathematical Programming Language
xeus-cling	Jupyter kernel for the C++ programming language
nim-unwrapped	Statically typed, imperative programming language
ocamlPackages.brr	Toolkit for programming browsers in OCaml
elixir	Functional, meta-programming aware language built on top of the Erlang VM
erlang	Programming language used for massively scalable soft real-time systems
stlink-gui	In-circuit debug and programming for ST-Link devices
kokkos	C++ Performance Portability Programming EcoSystem
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-lang	Concatenative, stack-based programming language
factorPackages-0_100.factor-lang	Concatenative, stack-based programming language
factorPackages-0_101.factor-no-gui	Concatenative, stack-based programming language
zig_0_15	General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software
ocamlPackages.eliom	OCaml Framework for programming Web sites and client/server Web applications
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_14	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
ocamlPackages.ocaml	OCaml is an industrial-strength programming language supporting functional, imperative and object-oriented styles
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
smlnjBootstrap	Compiler for the Standard ML '97 programming language
puredata	Real-time graphical programming environment for audio, video, and graphical processing
coconut	Simple, elegant, Pythonic functional programming
yamlscript	Programming in YAML
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
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
vimPlugins.statix	Lints and suggestions for the nix programming language
xc3sprog	Command-line tools for programming FPGAs, microcontrollers and PROMs via JTAG
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
funnelweb	Simple, reliable literate-programming macro preprocessor
factorPackages-0_99.factor-minimal	Concatenative, stack-based programming language
turtle-build	Ninja-compatible build system for high-level programming languages written in Rust
ldns	Library with the aim of simplifying DNS programming in C
ksh	KornShell Command And Programming Language
swiftPackages.swift	Swift Programming Language
box86	Lets you run x86 Linux programs on non-x86 Linux systems
aspectj	Seamless aspect-oriented extension to the Java programming language
factorPackages-0_99.factor-minimal-gui	Concatenative, stack-based programming language
factorPackages-0_100.factor-minimal	Concatenative, stack-based programming language
osqp	Quadratic programming solver using operator splitting
openocd	Free and Open On-Chip Debugging, In-System Programming and Boundary-Scan Testing
cedille	Interactive theorem-prover and dependently typed programming language, based on extrinsic (aka Curry-style) type theory
asymptote	Tool for programming graphics intended to replace Metapost
chicken	Portable compiler for the Scheme programming language
factorPackages-0_101.factor-minimal	Concatenative, stack-based programming language
tk	Widget toolkit that provides a library of basic elements for building a GUI in many different programming languages
txr	Original, New Programming Language for Convenient Data Munging
kubectl-kcl	Work with Kubernetes manifests using the KCL programming language
kdePackages.kturtle	Educational programming environment that uses TurtleSpeak
ocamlPackages_latest.brr	Toolkit for programming browsers in OCaml
plm	Free cross-platform programming exerciser
faustfmt	Formatter for the Faust programming language, using Topiary
factorPackages-0_100.factor-minimal-gui	Concatenative, stack-based programming language
glpk	GNU Linear Programming Kit
libcello	Higher level programming in C
ecos	Lightweight conic solver for second-order cone programming
factorPackages-0_101.factor-minimal-gui	Concatenative, stack-based programming language
tk-8_6	Widget toolkit that provides a library of basic elements for building a GUI in many different programming languages
wvstreams	Network programming library in C++
kona	Interpreter of K, APL-like programming language
erlang_27	Programming language used for massively scalable soft real-time systems
erlang_28	Programming language used for massively scalable soft real-time systems
erlang_26	Programming language used for massively scalable soft real-time systems
skribilo	Ultimate Document Programming Framework
mergiraf	Syntax-aware git merge driver for a growing collection of programming languages and file formats
perl5	Standard implementation of the Perl 5 programming language
ocamlPackages_latest.eliom	OCaml Framework for programming Web sites and client/server Web applications
python314	High-level dynamically-typed programming language
python315	High-level dynamically-typed programming language
box64	Lets you run x86_64 Linux programs on non-x86_64 Linux systems
equalx	Graphical interface to latex and a bunch of conversion programs
factorPackages.factor-unwrapped	Concatenative, stack-based programming language
swiftPackages.swiftpm	Package Manager for the Swift Programming Language
tk-8_5	Widget toolkit that provides a library of basic elements for building a GUI in many different programming languages
tk-9_0	Widget toolkit that provides a library of basic elements for building a GUI in many different programming languages
janet	Janet programming language
literate	Literate programming tool for any language
aider-chat-with-bedrock	AI pair programming in your terminal
aider-chat-with-browser	AI pair programming in your terminal
gnu-cim	GNU compiler for the programming language Simula
taskflow	General-purpose Parallel and Heterogeneous Task Programming System
lilex	Open source programming font
ocamlPackages_latest.note	OCaml module for functional reactive programming
python310	High-level dynamically-typed programming language
python312	High-level dynamically-typed programming language
python311	High-level dynamically-typed programming language
curv	2D and 3D geometric modelling programming language for creating art with maths
entt	Header-only, tiny and easy to use library for game programming and much more written in modern C++
lp_solve	Mixed Integer Linear Programming (MILP) solver
factorPackages-0_99.factor-unwrapped	Concatenative, stack-based programming language
fira-code	Monospace font with programming ligatures
jelly	Recreational programming language inspired by J
klong	Simple Array programming language
minilibx	Simple X-Window (X11R6) programming API in C
ocamlPackages_latest.mezzo	Programming language in the ML tradition, which places strong emphasis on the control of aliasing and access to mutable memory
orca-c	Esoteric programming language designed to quickly create procedural sequencers
ocamlPackages_latest.parmap	Library for multicore parallel programming
python313Full	High-level dynamically-typed programming language
python314Full	High-level dynamically-typed programming language
heptagon	Compiler for the Heptagon/BZR synchronous programming language
phel	Functional programming language that compiles to PHP. A Lisp dialect inspired by Clojure and Janet
python313Packages.piqp	Proximal Interior Point Quadratic Programming solver
python313Packages.daqp	Dual active-set algorithm for convex quadratic programming
python314Packages.piqp	Proximal Interior Point Quadratic Programming solver
python314Packages.daqp	Dual active-set algorithm for convex quadratic programming
dictu	High-level dynamically typed, multi-paradigm, interpreted programming language
typstPackages.typsy_0_2_0	Classes/structs, pattern matching, safe counters... and more! Your one-stop library for programming tools not already in core Typst
typstPackages.typsy_0_2_1	Classes/structs, pattern matching, safe counters... and more! Your one-stop library for programming tools not already in core Typst
typstPackages.typsy_0_2_2	Classes/structs, pattern matching, safe counters... and more! Your one-stop library for programming tools not already in core Typst
vyxal	Code-golfing language that has aspects of traditional programming languages
typstPackages.typsy_0_1_0	Classes/structs, pattern matching, safe counters... and more! Your one-stop library for programming tools not already in core Typst
python310Full	High-level dynamically-typed programming language
python311Full	High-level dynamically-typed programming language
factorPackages-0_100.factor-unwrapped	Concatenative, stack-based programming language
factorPackages-0_101.factor-unwrapped	Concatenative, stack-based programming language
ocamlPackages.camlp4	Software system for writing extensible parsers for programming languages
ocamlPackages_latest.reason	User-friendly programming language built on OCaml
python313Packages.oryx	Library for probabilistic programming and deep learning built on top of Jax
python314Packages.oryx	Library for probabilistic programming and deep learning built on top of Jax
reviewdog	Automated code review tool integrated with any code analysis tools regardless of programming language
cudaPackages.cuda_nvtx	C-based Application Programming Interface (API) for annotating events, code ranges, and resources in your applications
swiftPackages.swift-unwrapped	Swift Programming Language
python313Packages.param	Declarative Python programming using Parameters
python314Packages.param	Declarative Python programming using Parameters
rbenv	Version manager tool for the Ruby programming language on Unix-like systems
perl538	Standard implementation of the Perl 5 programming language
faust2sc	The faust2sc.py script, part of faust functional programming language for realtime audio signal processing
rustlings	Explore the Rust programming language and learn more about it while doing exercises
py-spy	Sampling profiler for Python programs
erlang_29	Programming language used for massively scalable soft real-time systems
python313Packages.pyocd	Python library for programming and debugging Arm Cortex-M microcontrollers
asio_1_36_0	Cross-platform C++ library for network and low-level I/O programming
asio_1_32_0	Cross-platform C++ library for network and low-level I/O programming
mars-mips	IDE for programming in MIPS assembly language intended for educational-level use
ocamlPackages.reason-native.reason	User-friendly programming language built on OCaml
python314Packages.pyocd	Python library for programming and debugging Arm Cortex-M microcontrollers
ruby	Object-oriented language for quick and easy programming
raylib	Simple and easy-to-use library to enjoy videogames programming
bossa-arduino	Flash programming utility for Atmel's SAM family of flash-based ARM microcontrollers
libclc	Implementation of the library requirements of the OpenCL C programming language
kotlin	General purpose programming language
passerine	Small extensible programming language designed for concise expression with little code
python3Minimal	High-level dynamically-typed programming language
agdaPackages.generic	A library for doing generic programming in Agda
swiftPackages.swiftNoSwiftDriver	Swift Programming Language
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
shocco	Quick-and-dirty, literate-programming-style documentation generator for / in POSIX shell
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
elixir_1_18	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
elixir_1_16	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_19	Functional, meta-programming aware language built on top of the Erlang VM
chickenPackages_4.chicken	Portable compiler for the Scheme programming language
elixir_1_17	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
brickd	Daemon (or service on Windows) that acts as a bridge between the Bricks/Bricklets and the API bindings for the different programming languages
cudaPackages.libnvshmem	Parallel programming interface for NVIDIA GPUs based on OpenSHMEM
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.guppy3	Python Programming Environment & Heap analysis toolset
python314Packages.edward	Probabilistic programming language using Tensorflow
tockloader	Tool for programming Tock onto hardware boards
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
beam27Packages.elixir	Functional, meta-programming aware language built on top of the Erlang VM
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
vimPlugins.hare-vim	Hare programming in Vim
jupyter-all	High-level dynamically-typed programming language
smlpkg	Generic package manager for Standard ML libraries and programs
python312Packages.daqp	Dual active-set algorithm for convex quadratic programming
python312Packages.piqp	Proximal Interior Point Quadratic Programming solver
cozette	Bitmap programming font optimized for coziness
commit-mono	Anonymous and neutral programming typeface focused on creating a better reading experience
victor-mono	Free programming font with cursive italics and ligatures
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
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
testlib	C++ library to develop competitive programming problems
skalibs	Set of general-purpose C programming libraries
perlPackages.meta	Meta-programming API
python313Packages.python	High-level dynamically-typed programming language
python314Packages.python	High-level dynamically-typed programming language
pulumi-bin	Pulumi is a cloud development platform that makes creating cloud programs easy and productive
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
udev-gothic	Programming font that combines BIZ UD Gothic and JetBrains Mono
ocamlPackages_latest.camlp4	Software system for writing extensible parsers for programming languages
python312Packages.param	Declarative Python programming using Parameters
tclPackages.tk	Widget toolkit that provides a library of basic elements for building a GUI in many different programming languages
libguytools	Small programming toolbox
perlPackages.perl	Standard implementation of the Perl 5 programming language
nim1	Statically typed, imperative programming language (x86_64-unknown-linux-gnu wrapper)
perl5Packages.meta	Meta-programming API
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)
python27Full	High-level dynamically-typed programming language
python313Packages.numpyro	Library for probabilistic programming with NumPy
python314Packages.numpyro	Library for probabilistic programming with NumPy
xmlbird	XML parser for Vala and C programs
python312Packages.pyocd	Python library for programming and debugging Arm Cortex-M microcontrollers
beam28Packages.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
beam27Packages.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
chickenPackages_5.chicken	Portable compiler for the Scheme programming language
_0xproto	Free and Open-source font for programming
udev-gothic-nf	Programming font that combines BIZ UD Gothic, JetBrains Mono and nerd-fonts
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
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
perl	Standard implementation of the Perl 5 programming language
python313Packages.generic	Generic programming (Multiple dispatch) library for Python
python314Packages.generic	Generic programming (Multiple dispatch) library for Python
ruby_3_2	Object-oriented language for quick and easy programming
beamMinimal28Packages.elixir	Functional, meta-programming aware language built on top of the Erlang VM
beamMinimal27Packages.elixir	Functional, meta-programming aware language built on top of the Erlang VM
beamMinimal26Packages.elixir	Functional, meta-programming aware language built on top of the Erlang VM
haskellPackages.DP	Pragmatic framework for dynamic programming
typstPackages.fuzzy-cnoi-statement	A template for CNOI(Olympiad in Informatics in China)-style statements for competitive programming
ocamlPackages_latest.ocaml	OCaml is an industrial-strength programming language supporting functional, imperative and object-oriented styles
online-judge-verify-helper	Testing framework for snippet libraries used in competitive programming
python313Packages.pluthon	Pluto-like programming language for Cardano Smart Contracts in Python
python314Packages.pluthon	Pluto-like programming language for Cardano Smart Contracts in Python
ruby_3_4	Object-oriented language for quick and easy programming
ruby_3_5	Object-oriented language for quick and easy programming
python312Packages.funsor	Functional tensors for probabilistic programming
haskellPackages.H	The Haskell/R mixed programming environment
texlivePackages.web	The original literate programming system
haskellPackages.hhp	Happy Haskell Programming
idris2	Purely functional programming language with first class types
nerd-fonts.fira-code	Nerd Fonts: Programming ligatures, extension of Fira Mono font, enlarged operators
python313Packages.zebrafy	Python library for converting PDF and images to and from Zebra Programming Language
python314Packages.zebrafy	Python library for converting PDF and images to and from Zebra Programming Language
python312Packages.aws-xray-sdk	AWS X-Ray SDK for the Python programming language
haskellPackages.ewe	An interpreter for EWE programming language
haskellPackages.bot	bots for functional reactive programming
haskellPackages.lit	A simple tool for literate programming
haskellPackages.msh	Object-Oriented Programming in Haskell
miranda	Compiler for Miranda -- a pure, non-strict, polymorphic, higher order functional programming language
mononoki	Font for programming and code review
perlPackages.AnyEvent	DBI of event loop programming
perlPackages.IOAsync	Asynchronous event-driven programming
python313Packages.curio-compat	Coroutine-based library for concurrent systems programming
python314Packages.curio-compat	Coroutine-based library for concurrent systems programming
ruby_4_0	Object-oriented language for quick and easy programming
python312Packages.hyrule	Utility library for the Hy programming language
vscode-extensions.gleam.gleam	Support for the Gleam programming language
nerd-fonts.envy-code-r	Nerd Fonts: Fully-scalable monospaced font designed for programming and command prompts
dee	Library that uses DBus to provide objects allowing you to create Model-View-Controller type programs across DBus
hareThirdParty.hare-ev	Event loop for Hare programs
vlan	User mode programs to enable VLANs on Ethernet devices
isolate	Sandbox for securely executing untrusted programs
python312Packages.aider-chat	AI pair programming in your terminal
python313Packages.aider-chat	AI pair programming in your terminal
python312Packages.cython	Optimising static compiler for both the Python and the extended Cython programming languages
python312Packages.edward	Probabilistic programming language using Tensorflow
python312Packages.amarna	Static-analyzer and linter for the Cairo programming language
python312Packages.guppy3	Python Programming Environment & Heap analysis toolset
haskellPackages.MIP	Library for using Mixed Integer Programming (MIP)
haskellPackages.DysFRP	dysFunctional Reactive Programming
haskellPackages.GTALib	A library for GTA programming
haskellPackages.peg	a lazy non-deterministic concatenative programming language
python314Packages.schedula	Smart function scheduler for dynamic flow-based programming
haskellPackages.CPL	An interpreter of Hagino's Categorical Programming Language (CPL)
haskellPackages.laop	Matrix programming library
haskellPackages.ion	EDSL for concurrent, realtime, embedded programming on top of Ivory
haskellPackages.axel	The Axel programming language
haskellPackages.kure	Combinators for Strategic Programming
libcsptr	Smart pointer constructs for the (GNU) C programming language
perl5Packages.IOAsync	Asynchronous event-driven programming
perl5Packages.AnyEvent	DBI of event loop programming
python313FreeThreading	High-level dynamically-typed programming language
python313Packages.schedula	Smart function scheduler for dynamic flow-based programming
python314FreeThreading	High-level dynamically-typed programming language
python315FreeThreading	High-level dynamically-typed programming language
beamMinimal26Packages.erlang	Programming language used for massively scalable soft real-time systems
beamMinimal28Packages.erlang	Programming language used for massively scalable soft real-time systems
beamMinimal27Packages.erlang	Programming language used for massively scalable soft real-time systems
haskellPackages.RepLib	Generic programming library with representation types
haskellPackages.hoop	Object-Oriented Programming in Haskell
haskellPackages.gpah	Generic Programming Use in Hackage
haskellPackages.ctpl	A programming language for text modification
rockstarlang	Esoteric programming language whose syntax is inspired by the lyrics to 80s hard rock and heavy metal songs
ber_metaocaml	Multi-Stage Programming extension for OCaml
scala_2_12	General purpose programming language
scala_2_13	General purpose programming language
haskellPackages.cflp	Constraint Functional-Logic Programming in Haskell
haskellPackages.flay	Generic programming for higher-kinded types
haskellPackages.yoko	Generic Programming with Disbanded Data Types
haskellPackages.slim	Functional reactive user interface programming
notonoto	Programming font that combines Noto Sans Mono and Noto Sans JP
perlPackages.BioExtAlign	Write Perl Subroutines in Other Programming Languages
python313Packages.quadprog	Quadratic Programming Solver
python314Packages.quadprog	Quadratic Programming Solver
faust2alqt	The faust2alqt script, part of faust functional programming language for realtime audio signal processing
faust2alsa	The faust2alsa script, part of faust functional programming language for realtime audio signal processing
faustlsp	Language Server Protocol (LSP) implementation for the Faust programming language
haskellPackages.GPipe	Typesafe functional GPU graphics programming
haskellPackages.YFrob	Yampa-based library for programming robots
haskellPackages.kbq-gu	Rpoku spoken word programming language
haskellPackages.auto	Denotative, locally stateful programming DSL & platform
haskellPackages.g2q	G2Q allows constraint programming, via writing Haskell predicates
haskellPackages.ntha	A tiny statically typed functional programming language
idrisPackages.idris	Functional Programming Language with Dependent Types
haskellPackages.psc-ide	Language support for the PureScript programming language
notonoto-35	Programming font that combines Noto Sans Mono and Noto Sans JP
sarasa-gothic	CJK programming font based on Iosevka and Source Han Sans
ch341eeprom	Libusb based programming tool for 24Cxx serial EEPROMs using the WinChipHead CH341A IC
faust2jaqt	The faust2jaqt script, part of faust functional programming language for realtime audio signal processing
haskellPackages.HyloDP	A package for solving dynamic programming problems in Haskell
haskellPackages.HasChor	Functional choreographic programming in Haskell
faust2jack	The faust2jack script, part of faust functional programming language for realtime audio signal processing
haskellPackages.L-seed	Plant growing programming game
shibboleth-sp	Enables SSO and Federation web applications written with any programming language or framework
haskellPackages.cuda	FFI binding to the CUDA interface for programming NVIDIA GPUs
idrisPackages.idris-no-deps	Functional Programming Language with Dependent Types
llvmPackages.libclc	Implementation of the library requirements of the OpenCL C programming language
perlPackages.Inline	Write Perl Subroutines in Other Programming Languages
notonoto-hs	Programming font that combines Noto Sans Mono and Noto Sans JP
python313Packages.pex-entysec	Collection of special tools for providing high quality penetration testing using pure python programming language
python313Packages.psycopg2	PostgreSQL database adapter for the Python programming language
python314Packages.pex-entysec	Collection of special tools for providing high quality penetration testing using pure python programming language
python314Packages.psycopg2	PostgreSQL database adapter for the Python programming language
kexi	Open source visual database applications creator, a long-awaited competitor for programs like MS Access or Filemaker
gp2c	Compiler to translate GP scripts to PARI programs
llvmPackages_17.libclc	Implementation of the library requirements of the OpenCL C programming language
llvmPackages_16.libclc	Implementation of the library requirements of the OpenCL C programming language
QuadProgpp	C++ library for Quadratic Programming
haskellPackages.Dao	Dao is meta programming language with its own built-in interpreted language, designed with artificial intelligence applications in mind
haskellPackages.dao	Dao is meta programming language with its own built-in interpreted language, designed with artificial intelligence applications in mind
haskellPackages.TicTacToe	A sub-project (exercise) for a functional programming course
haskellPackages.glpk-hs	Comprehensive GLPK linear programming bindings
haskellPackages.WebCont	Continuation based web programming for Happstack
llvmPackages_22.libclc	Implementation of the library requirements of the OpenCL C programming language
llvmPackages_21.libclc	Implementation of the library requirements of the OpenCL C programming language
perl5Packages.BioExtAlign	Write Perl Subroutines in Other Programming Languages
notonoto-hs-35	Programming font that combines Noto Sans Mono and Noto Sans JP
ocamlPackages.domainslib	Nested-parallel programming
python313Packages.greenlet	Module for lightweight in-process concurrent programming
python313Packages.samarium	Samarium Programming Language
python314Packages.greenlet	Module for lightweight in-process concurrent programming
python314Packages.samarium	Samarium Programming Language
perl540Packages.meta	Meta-programming API
perl538Packages.meta	Meta-programming API
python312Packages.numpyro	Library for probabilistic programming with NumPy
haskellPackages.Agda	A dependently typed functional programming language and proof assistant
texlivePackages.plweb	Literate Programming for Prolog with LaTeX
haskellPackages.hydra	Graph programming language
haskellPackages.alloy	Generic programming library
haskellPackages.WashNGo	WASH is a family of EDSLs for programming Web applications in Haskell
haskellPackages.snail	A programming language with no semantics
llvmPackages_19.libclc	Implementation of the library requirements of the OpenCL C programming language
llvmPackages_18.libclc	Implementation of the library requirements of the OpenCL C programming language
llvmPackages_20.libclc	Implementation of the library requirements of the OpenCL C programming language
nerd-fonts.commit-mono	Nerd Fonts: An anonymous and neutral programming typeface
python312Packages.coconut	Simple, elegant, Pythonic functional programming
haskellPackages.ivory	Safe embedded C programming
haskellPackages.wires	Functional reactive programming library
haskellPackages.spade	A simple programming and debugging environment
haskellPackages.moffy	Monadic Functional Reactive Programming
perl5Packages.Inline	Write Perl Subroutines in Other Programming Languages
kcov	Code coverage tester for compiled programs, Python scripts and shell scripts
orcania	Potluck with different functions for different purposes that can be shared among C programs
python312Packages.easygui	Very simple, very easy GUI programming in Python
aider-chat-full	AI pair programming in your terminal
haskellPackages.Jikka	A transpiler from Python to C++ for competitive programming
haskellPackages.angle	A small, general-purpose programming language
haskellPackages.forml	A statically typed, functional programming language
python312Packages.generic	Generic programming (Multiple dispatch) library for Python
aider-chat-with-playwright	AI pair programming in your terminal
haskellPackages.HSGEP	Gene Expression Programming evolutionary algorithm in Haskell
haskellPackages.Frank	An experimental programming language with typed algebraic effects
haskellPackages.lingo	File extension based programming language detection
haskellPackages.app-lens	applicative (functional) bidirectional programming beyond composition chains
haskellPackages.mappy	A functional programming language focused around maps
haskellPackages.disco	Functional programming language for teaching discrete math
haskellPackages.limp-cbc	bindings for integer linear programming solver Coin/CBC
haskellPackages.omega	A purely functional programming language and a proof system
haskellPackages.rhine	Functional Reactive Programming with type-level clocks
haskellPackages.yices	Haskell programming interface to Yices SMT solver
nim	Statically typed, imperative programming language (x86_64-unknown-linux-gnu wrapper)
haskellPackages.atomo	A highly dynamic, extremely simple, very fun programming language
haskellPackages.apecs	Fast Entity-Component-System library for game programming
haskellPackages.Yampa	Elegant Functional Reactive Programming Language for Hybrid Systems
python312Packages.pluthon	Pluto-like programming language for Cardano Smart Contracts in Python
idrisPackages.yampa	Idris implementation of Yampa FRP library as described in Reactive Programming through Dependent Types
nim-1_0	Statically typed, imperative programming language (x86_64-unknown-linux-gnu wrapper)
nim-2_0	Statically typed, imperative programming language (x86_64-unknown-linux-gnu wrapper)
python312Packages.zebrafy	Python library for converting PDF and images to and from Zebra Programming Language
haskellPackages.LPFP-core	Code for the book Learn Physics with Functional Programming
haskellPackages.MiniAgda	A toy dependently typed programming language with type-based termination
haskellPackages.GPipe-Core	Typesafe functional GPU graphics programming
haskellPackages.idris	Functional Programming Language with Dependent Types
haskellPackages.highs-lp	Linear Programming using HiGHS and comfort-array
haskellPackages.exp-pairs	Linear programming over exponent pairs
acpid	Daemon for delivering ACPI events to userspace programs
scipopt-scip	Solving Constraint Integer Programs
play	TUI playground for programs like grep, sed and awk
python312Packages.curio-compat	Coroutine-based library for concurrent systems programming
chickenPackages_5.chickenEggs.pyffi	An interface to the Python programming language.
haskellPackages.Craft3e	Code for Haskell: the Craft of Functional Programming, 3rd ed
texlivePackages.protex	Literate programming package
haskellPackages.meta-misc	Utility library providing miscellaneous meta-programming utilities
haskellPackages.shady-gen	Functional GPU programming - DSEL & compiler
haskellPackages.monad-par	A library for parallel programming based on a monad
monocraft	Programming font based on the typeface used in Minecraft
cascadia-code	Monospaced font that includes programming ligatures and is designed to enhance the modern look and feel of the Windows Terminal
haskellPackages.LPFP_1_2_1	Code for the book Learn Physics with Functional Programming
haskellPackages.noodle	the noodle programming language
python312Packages.schedula	Smart function scheduler for dynamic flow-based programming
haskellPackages.DysFRP-Cairo	dysFunctional Reactive Programming on Cairo
haskellPackages.Quelea	Programming with Eventual Consistency over Cassandra
texlivePackages.eolang	Formulas and graphs for the EO programming language
haskellPackages.logict	A backtracking logic-programming monad
haskellPackages.hakaru	A probabilistic programming embedded DSL
haskellPackages.harpie	Haskell array programming
haskellPackages.anansi	Simple literate programming preprocessor
haskellPackages.cmonad	A library for C-like programming
haskellPackages.sindre	A programming language for simple GUIs
haskellPackages.turtle	Shell programming, Haskell-style
haskellPackages.rsagl-frp	The RogueStar Animation and Graphics Library: Functional Reactive Programming
nerd-fonts._0xproto	Nerd Fonts: A programming font focused on source code legibility
ahoy	Create self-documenting cli programs from YAML files
cflow	Tool to analyze the control flow of C programs
desk-exec	Execute programs defined in XDG desktop entries directly from the command line
eztrace	Tool that aims at generating automatically execution trace from HPC programs
haskellPackages.Yampa_0_15	Elegant Functional Reactive Programming Language for Hybrid Systems
perl538Packages.IOAsync	Asynchronous event-driven programming
perl540Packages.IOAsync	Asynchronous event-driven programming
perl538Packages.AnyEvent	DBI of event loop programming
perl540Packages.AnyEvent	DBI of event loop programming
agdaPackages.agda	A dependently typed functional programming language and proof assistant
beam28Packages.elixir_1_18	Functional, meta-programming aware language built on top of the Erlang VM
beam26Packages.elixir_1_18	Functional, meta-programming aware language built on top of the Erlang VM
beam27Packages.elixir_1_18	Functional, meta-programming aware language built on top of the Erlang VM
globalarrays	Global Arrays Programming Models
texlivePackages.lpform	Typesetting linear programming formulations and sets of equations
sourcepawn-studio	LSP implementation for the SourcePawn programming language written in Rust
haskellPackages.Yampa-core	Library for programming hybrid systems
haskellPackages.formal	A statically typed, functional programming language
haskellPackages.artery	A simple, arrow-based reactive programming
haskellPackages.java-poker	The etude of the Haskell programming
haskellPackages.sodium	Sodium Reactive Programming (FRP) System
haskellPackages.shelly	shell-like (systems) programming in Haskell
haskellPackages.oplang	Stack-based esoteric programming language
haskellPackages.type-level	Type-level programming library
haskellPackages.reflex	Higher-order Functional Reactive Programming
ocamlPackages.reactivedata	OCaml module for functional reactive programming (FRP) based on React
haskellPackages.AutoForms	GUI library based upon generic programming (SYB3)
haskellPackages.kuifje	A Quantitative Information Flow aware programming language
python312Packages.quadprog	Quadratic Programming Solver
haskellPackages.Object	Object oriented programming for haskell using multiparameter typeclasses
haskellPackages.Animas	Updated version of Yampa: a library for programming hybrid systems
hdrop	Emulate 'tdrop' in Hyprland (run, show and hide specific programs per keybind)
beam26Packages.elixir_1_14	Functional, meta-programming aware language built on top of the Erlang VM
python312Packages.samarium	Samarium Programming Language
haskellPackages.readme-lhs	Literate programming support
python313Packages.qpsolvers	Quadratic programming solvers in Python with a unified API
python313Packages.sharedmem	Easier parallel programming on shared memory computers
python314Packages.dissect-target	Dissect module that provides a programming API and command line tools
python314Packages.sharedmem	Easier parallel programming on shared memory computers
python314Packages.qpsolvers	Quadratic programming solvers in Python with a unified API
python312Packages.psycopg2	PostgreSQL database adapter for the Python programming language
beam27Packages.elixir_1_19	Functional, meta-programming aware language built on top of the Erlang VM
beam27Packages.elixir_1_17	Functional, meta-programming aware language built on top of the Erlang VM
beam28Packages.elixir_1_19	Functional, meta-programming aware language built on top of the Erlang VM
beam26Packages.elixir_1_17	Functional, meta-programming aware language built on top of the Erlang VM
beam28Packages.elixir_1_20	Functional, meta-programming aware language built on top of the Erlang VM
beam26Packages.elixir_1_15	Functional, meta-programming aware language built on top of the Erlang VM
beam26Packages.elixir_1_16	Functional, meta-programming aware language built on top of the Erlang VM
beam26Packages.elixir_1_20	Functional, meta-programming aware language built on top of the Erlang VM
beam27Packages.elixir_1_20	Functional, meta-programming aware language built on top of the Erlang VM
beam26Packages.elixir_1_19	Functional, meta-programming aware language built on top of the Erlang VM
haskellPackages.cimple	Simple C-like programming language
haskellPackages.egison	Programming language with non-linear pattern-matching against non-free data
haskellPackages.SoccerFun	Football simulation framework for teaching functional programming
haskellPackages.monad-task	A monad transformer that turns event processing into co-routine programming
mdadm	Programs for managing RAID arrays under Linux
perl540Packages.BioExtAlign	Write Perl Subroutines in Other Programming Languages
perl538Packages.BioExtAlign	Write Perl Subroutines in Other Programming Languages
python312Packages.greenlet	Module for lightweight in-process concurrent programming
haskellPackages.AspectAG	First-class Attribute Grammars implemented using type-level programming
haskellPackages.type-level-tf	Type-level programming library (type families)
mercury	Pure logic programming language
ocamlPackages_latest.domainslib	Nested-parallel programming
python313Packages.aspectlib	Aspect-oriented programming, monkey-patch and decorators library
python314Packages.aspectlib	Aspect-oriented programming, monkey-patch and decorators library
haskellPackages.monad-bayes	A library for probabilistic programming
perl538Packages.Inline	Write Perl Subroutines in Other Programming Languages
perl540Packages.Inline	Write Perl Subroutines in Other Programming Languages
haskellPackages.coinor-clp	Linear Programming using COIN-OR/CLP and comfort-array
obliv-c	GCC wrapper that makes it easy to embed secure computation protocols inside regular C programs
cosmocc	Compilers for Cosmopolitan C/C++ programs
haskellPackages.genprog	Genetic programming library
haskellPackages.cpmonad	Competitive programming problemsetting toolchain
haskellPackages.lazyboy	An EDSL for programming the Game Boy
haskellPackages.lazyppl	Lazy Probabilistic Programming Library
haskellPackages.netwire	Functional reactive programming library
haskellPackages.terrahs	A Haskell GIS Programming Environment
beamMinimal26Packages.elixir_1_18	Functional, meta-programming aware language built on top of the Erlang VM
beamMinimal28Packages.elixir_1_18	Functional, meta-programming aware language built on top of the Erlang VM
beamMinimal27Packages.elixir_1_18	Functional, meta-programming aware language built on top of the Erlang VM
skawarePackages.skalibs	Set of general-purpose C programming libraries
haskellPackages.family-tree	A family tree library for the Haskell programming language
haskellPackages.imprevu	Reactive programming language based on a DSL
haskellPackages.unbound	Generic support for programming with names and binders
haskellPackages.reactor	Reactor - task parallel reactive programming
haskellPackages.regular	Generic programming library for regular datatypes
haskellPackages.unique-lang	Esoteric programming language where each number can only appear once
perlPackages.Paranoid	General function library for safer, more secure programming
python313Packages.psycopg2-binary	PostgreSQL database adapter for the Python programming language
python314Packages.psycopg2-binary	PostgreSQL database adapter for the Python programming language
orjail	Force programs to exclusively use tor network
mdadm4	Programs for managing RAID arrays under Linux
haskellPackages.ADPfusion	Efficient, high-level dynamic programming
haskellPackages.Befunge93	An interpreter for the Befunge-93 Programming Language
skalibs_2_10	Set of general-purpose C programming libraries
haskellPackages.haskeme	Compiler from I- to S-Expressions for the Scheme Programming Language
haskellPackages.dewdrop	Find gadgets for return-oriented programming on x86
haskellPackages.jmacro-rpc	JSON-RPC clients and servers using JMacro, and evented client-server Reactive Programming
haskellPackages.caledon	a logic programming language based on the calculus of constructions
haskellPackages.subhask	Type safe interface for programming in subcategories of Hask
python313Packages.online-judge-api-client	API client to develop tools for competitive programming
python314Packages.online-judge-api-client	API client to develop tools for competitive programming
haskellPackages.LPFP	Code for the book Learn Physics with Functional Programming
haskellPackages.improve	An imperative, verifiable programming language for high assurance applications
haskellPackages.paprika	The Haskell library and examples for the kids programming robot paprika
haskellPackages.webshow	Show programming language printed values in a web UI
beamMinimal26Packages.elixir_1_14	Functional, meta-programming aware language built on top of the Erlang VM
gawkInteractive	GNU implementation of the Awk programming language
haskellPackages.aop-prelude	prelude for Algebra of Programming
haskellPackages.ghc-lib-parser-ex	Programming with GHC parse trees
haskellPackages.regular-web	Generic programming for the web
idris2Packages.idris2	Purely functional programming language with first class types
haskellPackages.structs	Strict GC'd imperative object-oriented programming with cheap pointers
perl5Packages.Paranoid	General function library for safer, more secure programming
mymake	Tool for compiling and running programs with minimal configuration
ratmen	Minimalistic X11 menu creator
beamMinimal28Packages.elixir_1_20	Functional, meta-programming aware language built on top of the Erlang VM
beamMinimal26Packages.elixir_1_16	Functional, meta-programming aware language built on top of the Erlang VM
beamMinimal26Packages.elixir_1_17	Functional, meta-programming aware language built on top of the Erlang VM
beamMinimal28Packages.elixir_1_19	Functional, meta-programming aware language built on top of the Erlang VM
beamMinimal26Packages.elixir_1_19	Functional, meta-programming aware language built on top of the Erlang VM
beamMinimal26Packages.elixir_1_15	Functional, meta-programming aware language built on top of the Erlang VM
beamMinimal27Packages.elixir_1_20	Functional, meta-programming aware language built on top of the Erlang VM
beamMinimal26Packages.elixir_1_20	Functional, meta-programming aware language built on top of the Erlang VM
beamMinimal27Packages.elixir_1_19	Functional, meta-programming aware language built on top of the Erlang VM
beamMinimal27Packages.elixir_1_17	Functional, meta-programming aware language built on top of the Erlang VM
haskellPackages.ADPfusionSet	Dynamic programming for Set data structures
texlivePackages.luatikz	A 2D graphics library to draw TikZ graphics using the Lua programming language
haskellPackages.event-driven	library for event driven programming
haskellPackages.gore-and-ash-actor	Gore&Ash engine extension that implements actor style of programming
haskellPackages.frp-arduino	Arduino programming without the hassle of C
haskellPackages.nri-prelude	A Prelude inspired by the Elm programming language
haskellPackages.rhine_1_6	Functional Reactive Programming with type-level clocks
haskellPackages.zendesk-api	Zendesk API for Haskell programming language
python313Packages.dissect-target	Dissect module that provides a programming API and command line tools
fbida	Image viewing and manipulation programs including fbi, fbgs, ida, exiftran and thumbnail.cgi
haskellPackages.haskell-mpi	Distributed parallel programming in Haskell using MPI
ocamlPackages_latest.reactivedata	OCaml module for functional reactive programming (FRP) based on React
python313Packages.minikanren	Relational programming in Python
python314Packages.minikanren	Relational programming in Python
haskellPackages.haskell-cnc	Library for parallel programming in the Intel Concurrent Collections paradigm
haskellPackages.dynamic-pp	A pretty-print library that employs a dynamic programming algorithm for optimal rendering
haskellPackages.logict-state	Library for logic programming based on haskell package logict
haskellPackages.FiniteMap	A finite map implementation, derived from the paper: Efficient sets: a balancing act, S. Adams, Journal of functional programming 3(4) Oct 1993, pp553-562
haskellPackages.hmatrix-glpk	Linear Programming based on GLPK
notonoto-console	Programming font that combines Noto Sans Mono and Noto Sans JP
python313Packages.strategies	Python library for control flow programming
python314Packages.strategies	Python library for control flow programming
python312Packages.dissect-target	Dissect module that provides a programming API and command line tools
python312Packages.qpsolvers	Quadratic programming solvers in Python with a unified API
python312Packages.sharedmem	Easier parallel programming on shared memory computers
haskellPackages.PUH-Project	This is a package which includes Assignments, Email, User and Reviews modules for Programming in Haskell course
haskellPackages.Ordinary	A Programming Language in Construction
haskellPackages.comfort-glpk	Linear Programming using GLPK and comfort-array
haskellPackages.parallel	Parallel programming library
notonoto-hs-console	Programming font that combines Noto Sans Mono and Noto Sans JP
python312Packages.aspectlib	Aspect-oriented programming, monkey-patch and decorators library
haskellPackages.Obsidian	Embedded language for GPU Programming
texlivePackages.l3kernel	LaTeX3 programming conventions
texlivePackages.semantic	Help for writing programming language semantics
haskellPackages.acme-hq9plus	An embedded DSL for the HQ9+ programming language
haskellPackages.quipper-core	An embedded, scalable functional programming language for quantum computing
haskellPackages.zeolite-lang	Zeolite is a statically-typed, general-purpose programming language
libbpf	Library for loading eBPF programs and reading and manipulating eBPF objects from user-space
octavePackages.fpl	Collection of routines to export data produced by Finite Elements or Finite Volume Simulations in formats used by some visualization programs
haskellPackages.LogicGrowsOnTrees	a parallel implementation of logic programming using distributed tree exploration
haskellPackages.Naperian	Naperian Functors for APL-like programming
supercollider	Programming language for real time audio synthesis
haskellPackages.heukarya	A genetic programming based on tree structure
haskellPackages.WidgetRattus	An asynchronous modal FRP language for GUI programming
haskellPackages.heapsort	Heapsort of MArrays as a demo of imperative programming
haskellPackages.multirec	Generic programming for families of recursive datatypes
haskellPackages.shentong	A Haskell implementation of the Shen programming language
haskellPackages.streamly	Streaming, dataflow programming and declarative concurrency
haskellPackages.reactive	Push-pull functional reactive programming
python313Packages.property-manager	Useful property variants for Python programming
python314Packages.property-manager	Useful property variants for Python programming
haskellPackages.SCRIPTWriter	ESCRIPT: a human friendly language for programming Bitcoin scripts
haskellPackages.data-variant	A variant data type, useful for modeling dynamically-typed programming languages
haskellPackages.mathista	A small programming language for numerical computing
haskellPackages.edenskel	Semi-explicit parallel programming skeleton library
haskellPackages.timeless	An Arrow based Functional Reactive Programming library
haskellPackages.shellish	shell-/perl- like (systems) programming in Haskell
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
haskellPackages.probable	Easy and reasonably efficient probabilistic programming and random generation
milu	Higher Order Mutation Testing Tool for C and C++ programs
faust2csound	The faust2csound script, part of faust functional programming language for realtime audio signal processing
faust2ladspa	The faust2ladspa script, part of faust functional programming language for realtime audio signal processing
haskellPackages.semiring	Semirings, ring-like structures used for dynamic programming applications
haskellPackages.simple-actors	A library for more structured concurrent programming, based on the Actor Model
libfishsound	Simple programming interface for decoding and encoding audio data using Xiph.org codecs (FLAC, Speex and Vorbis)
python313Packages.repl-python-wakatime	Python REPL plugin for automatic time tracking and metrics generated from your programming activity
python314Packages.repl-python-wakatime	Python REPL plugin for automatic time tracking and metrics generated from your programming activity
python312Packages.psycopg2-binary	PostgreSQL database adapter for the Python programming language
python312Packages.online-judge-api-client	API client to develop tools for competitive programming
chickenPackages_5.chickenEggs.colorize	Colorize programming code as HTML
haskellPackages.generics-eot	A library for generic programming that aims to be easy to understand
haskellPackages.generics-sop	Generic Programming using True Sums of Products
perl538Packages.Paranoid	General function library for safer, more secure programming
perl540Packages.Paranoid	General function library for safer, more secure programming
tigerjython	Simple development environment for programming in Python
haskellPackages.canteven-http	Utilities for HTTP programming
haskellPackages.language-hcl	HCL parsers and pretty-printers for the Haskell programming language
python313Packages.online-judge-verify-helper	Testing framework for snippet libraries used in competitive programming
griffe	Signatures for entire Python programs
verifast	Verification for C and Java programs via separation logic
haskellPackages.full-sessions	a monad for protocol-typed network programming
python314Packages.online-judge-verify-helper	Testing framework for snippet libraries used in competitive programming
python312Packages.minikanren	Relational programming in Python
haskellPackages.ADPfusionForest	Dynamic programming on tree and forest structures
haskellPackages.descript-lang	Library, interpreter, and CLI for Descript programming language
haskellPackages.kind-generics	Generic programming in GHC style for arbitrary kinds and GADTs
haskellPackages.language-conf	Conf parsers and pretty-printers for the Haskell programming language
haskellPackages.monadiccp	Constraint Programming
python312Packages.strategies	Python library for control flow programming
haskellPackages.dynamic-object	Object-oriented programming with duck typing and singleton classes
haskellPackages.prototype	prototype-based programming on Haskell
comma	Runs programs without installing them
mpy-utils	MicroPython development utility programs
haskellPackages.sketch-frp-copilot	Sketch programming with Copilot
haskellPackages.zephyr-copilot	Embedded programming in haskell using the Copilot stream DSL and Zephyr
nerd-fonts.caskaydia-cove	Nerd Fonts: A fun, new monospaced font that includes programming ligatures and is designed to enhance the modern look and feel of the Windows Terminal
haskellPackages.copilot-frp-sketch	FRP sketch programming with Copilot
haskellPackages.cloudchor	Lightweight and efficient choreographic programming for cloud services
haskellPackages.shady-graphics	Functional GPU programming - DSEL & compiler
haskellPackages.reactive-bacon	FRP (functional reactive programming) framework
miniaudicle	Light-weight integrated development environment for the ChucK digital audio programming language
online-judge-template-generator	Analyze problems of competitive programming and automatically generate boilerplate
python313Packages.py4j	Py4J enables Python programs running in a Python interpreter to dynamically access Java objects in a Java Virtual Machine. Methods are called as if the Java objects resided in the Python interpreter and Java collections can be accessed through standard Python collection methods. Py4J also enables Java programs to call back Python objects
python314Packages.py4j	Py4J enables Python programs running in a Python interpreter to dynamically access Java objects in a Java Virtual Machine. Methods are called as if the Java objects resided in the Python interpreter and Java collections can be accessed through standard Python collection methods. Py4J also enables Java programs to call back Python objects
libsForQt5.quazip	Provides access to ZIP archives from Qt programs
pulumi	Cloud development platform that makes creating cloud programs easy and productive
rund	Compiler-wrapper that runs and caches D programs
python312Packages.property-manager	Useful property variants for Python programming
haskellPackages.generics-mrsop	Generic Programming with Mutually Recursive Sums of Products
haskellPackages.Ztrategic	Zipper-based library for strategic programming and attribute grammars
haskellPackages.yices-painless	An embedded language for programming the Yices SMT solver
haskellPackages.large-generics	Generic programming API for large-records and large-anon
libsForQt5.ktimer	Little tool to execute programs after some time
time	Tool that runs programs and summarizes the system resources they use
python312Packages.repl-python-wakatime	Python REPL plugin for automatic time tracking and metrics generated from your programming activity
supercollider-with-plugins	Programming language for real time audio synthesis
typstPackages.fuzzy-cnoi-statement_0_1_1	A template for CNOI(Olympiad in Informatics in China)-style statements for competitive programming
typstPackages.fuzzy-cnoi-statement_0_1_0	A template for CNOI(Olympiad in Informatics in China)-style statements for competitive programming
typstPackages.fuzzy-cnoi-statement_0_1_2	A template for CNOI(Olympiad in Informatics in China)-style statements for competitive programming
typstPackages.fuzzy-cnoi-statement_0_1_3	A template for CNOI(Olympiad in Informatics in China)-style statements for competitive programming
haskellPackages.dhscanner-ast	abstract syntax tree for multiple programming languages
haskellPackages.funcons-lambda-cbv-mp	call-by-value lambda-calculus with meta-programming
haskellPackages.DysFRP-Craftwerk	dysFunctional Reactive Programming on Craftwerk
supercollider-with-sc3-plugins	Programming language for real time audio synthesis
haskellPackages.acme-stringly-typed	Stringly Typed Programming
python312Packages.online-judge-verify-helper	Testing framework for snippet libraries used in competitive programming
haskellPackages.linear-generics	Generic programming library for generalised deriving
haskellPackages.arduino-copilot	Arduino programming in haskell using the Copilot stream DSL
haskellPackages.servant-foreign	Helpers for generating clients for servant APIs in any programming language
haskellPackages.reactive-thread	Reactive programming via imperative threads
haskellPackages.reactive-banana	Library for functional reactive programming (FRP)
haskellPackages.language-oberon	Parser, pretty-printer, and more for the Oberon programming language
haskellPackages.tomato-rubato-openal	Easy to use library for audio programming
flockit	LD_PRELOAD shim to add file locking to programs that don't do it (I'm looking at you, rsync!)
faust2firefox	The faust2firefox script, part of faust functional programming language for realtime audio signal processing
faust2sndfile	The faust2sndfile script, part of faust functional programming language for realtime audio signal processing
vscode-extensions.leanprover.lean4	This extension provides VS Code support for the Lean 4 theorem prover and programming language
haskellPackages.logict-sequence	A backtracking logic-programming monad with asymptotic improvements to msplit
vscode-extensions.wakatime.vscode-wakatime	Visual Studio Code plugin for automatic time tracking and metrics generated from your programming activity
haskellPackages.language-Modula2	Parser, pretty-printer, and more for the Modula-2 programming language
haskellPackages.symantic-parser	Parser combinators statically optimized and staged via typed meta-programming
ynetd	Small server for binding programs to TCP ports
ipvsadm	Linux Virtual Server support programs
skawarePackages.skalibs_2_10	Set of general-purpose C programming libraries
vscode-extensions.sourcery.sourcery	VSCode extension for Sourcery, an AI-powered code review and pair programming tool for Python
color-transformation-language	Programming language for digital color management
texlivePackages.functional	An intuitive functional programming interface for LaTeX2
haskellPackages.inliterate	Interactive literate programming
haskellPackages.forbidden-fruit	A library accelerates imperative style programming
haskellPackages.whitespace	Whitespace, an esoteric programming language
cairo-lang	Turing-complete language for creating provable programs for general computation
flip-link	Adds zero-cost stack overflow protection to your embedded programs
haskellPackages.purescript	PureScript Programming Language Compiler
haskellPackages.grapefruit-ui	Declarative user interface programming
haskellPackages.reactive-banana-gi-gtk	Simple reactive programming with GTK GObject Introspection
lxqt.lxqt-runner	Tool used to launch programs quickly by typing their names
npiet	Interpreter for piet programs. Also includes npietedit and npiet-foogol
akkuPackages.rebottled-schelog	Dorai Sitaram's Schelog: logic programming in Scheme
haskellPackages.generic-deriving	Generic programming library for generalised deriving
haskellPackages.ghc-lib-parser-ex_9_12_0_0	Programming with GHC parse trees
haskellPackages.ghc-lib-parser-ex_9_10_0_0	Programming with GHC parse trees
haskellPackages.instant-generics	Generic programming library with a sum of products view
haskellPackages.grapefruit-frp	Functional Reactive Programming core
haskellPackages.monadiccp-gecode	Constraint Programming
texlivePackages.clojure-pamphlet	A simple literate programming tool based on clojure's pamphlet system
haskellPackages.ghc-lib-parser-ex_9_14_2_0	Programming with GHC parse trees
haskellPackages.unbound-generics	Support for programming with names and binders using GHC Generics
haskellPackages.quipper-language	Quipper, an embedded functional programming language for quantum computation
haskellPackages.parconc-examples	Examples to accompany the book "Parallel and Concurrent Programming in Haskell"
bashate	Style enforcement for bash programs
libxc	Library of exchange-correlation functionals for density-functional theory
pdfid	Scan a file to look for certain PDF keywords
haskellPackages.purescript-ast	PureScript Programming Language Abstract Syntax Tree
haskellPackages.purescript-cst	PureScript Programming Language Concrete Syntax Tree
luajitPackages.luafilesystem	File System Library for the Lua Programming Language
python313Packages.pyfunctional	Python library for creating data pipelines with chain functional programming
python314Packages.pyfunctional	Python library for creating data pipelines with chain functional programming
haskellPackages.coroutine-object	Object-oriented programming realization using coroutine
python312Packages.py4j	Py4J enables Python programs running in a Python interpreter to dynamically access Java objects in a Java Virtual Machine. Methods are called as if the Java objects resided in the Python interpreter and Java collections can be accessed through standard Python collection methods. Py4J also enables Java programs to call back Python objects
bpftop	Dynamic real-time view of running eBPF programs
crudini	Utility for manipulating ini files
sambaFull	Standard Windows interoperability suite of programs for Linux and Unix
samba4	Standard Windows interoperability suite of programs for Linux and Unix
haskellPackages.grapefruit-ui-gtk	GTK+-based backend for declarative user interface programming
ocamlPackages.lwt-exit	Opinionated clean-exit and signal-handling library for Lwt programs
nailgun	Client, protocol, and server for running Java programs from the command line without incurring the JVM startup overhead
pico-sdk	SDK provides the headers, libraries and build system necessary to write programs for the RP2040-based devices
openfpgaloader	Universal utility for programming FPGAs
akkuPackages.scheme-langserver	This package is a language server protocol implementation helping scheme programming.
haskellPackages.profunctor-monad	Monadic bidirectional programming
trojan-rs	Trojan server and proxy programs written in Rust
haskellPackages.unbound-kind-generics	Support for programming with names and binders using kind-generics
luaPackages.luafilesystem	File System Library for the Lua Programming Language
haskellPackages.reflex_0_9_4_0	Higher-order Functional Reactive Programming
texlivePackages.beamertools	A collection of programming tools for beamer
haskellPackages.probability	Probabilistic Functional Programming
cbmc	Bounded Model Checker for C and C++ programs
rlwrap	Readline wrapper for console programs
haskellPackages.hyperscript	A parser for the _hyperscript programming language
haskellPackages.functional-arrow	Combinators that allow for a more functional/monadic style of Arrow programming
haskellPackages.effective-aspects	A monadic embedding of aspect oriented programming
texlivePackages.latexindent	Indent a LaTeX document, highlighting the programming structure
haskellPackages._3d-graphics-examples	Examples of 3D graphics programming with OpenGL
haskellPackages.edenmodules	Semi-explicit parallel programming library
faust2jackrust	The faust2jackrust script, part of faust functional programming language for realtime audio signal processing
haskellPackages.quipper-rendering	An embedded, scalable functional programming language for quantum computing
haskellPackages.sparsecheck	A Logic Programming Library for Test-Data Generation
lua51Packages.luafilesystem	File System Library for the Lua Programming Language
lua52Packages.luafilesystem	File System Library for the Lua Programming Language
lua54Packages.luafilesystem	File System Library for the Lua Programming Language
lua53Packages.luafilesystem	File System Library for the Lua Programming Language
lua55Packages.luafilesystem	File System Library for the Lua Programming Language
tpm-quote-tools	Collection of programs that provide support for TPM based attestation using the TPM quote mechanism
haskellPackages.Shpadoinkle	A programming model for declarative, high performance user interface
haskellPackages.Lambdajudge	A library to easily host Haskell based programming competitions
vscode-extensions.julialang.language-julia	Visual Studio Code extension for Julia programming language
rune-languageserver	Language server for the Rune Language, an embeddable dynamic programming language for Rust
pioasm	Assemble PIO programs for Raspberry Pi Pico
haskellPackages.deepcontrol	A library that provides deep-level programming style and(or) notation on Applicative and Monad
haskellPackages.snaplet-typed-sessions	Typed session snaplets and continuation-based programming for the Snap web framework
python312Packages.pyfunctional	Python library for creating data pipelines with chain functional programming
abduco	Allows programs to be run independently from its controlling terminal
limitcpu	Tool to throttle the CPU usage of programs
progress	Tool that shows the progress of coreutils programs
haskellPackages.gi-gtk-declarative	Declarative GTK+ programming in Haskell
haskellPackages.kind-generics-deriving	Generic programming in GHC style for arbitrary kinds and GADTs
clingo	ASP system to ground and solve logic programs
haskellPackages.effective-aspects-mzv	A monadic embedding of aspect oriented programming, using "Monads, Zippers and Views" instead of mtl
haskellPackages.type-combinators	A collection of data types for type-level programming
libxc_7	Library of exchange-correlation functionals for density-functional theory
kdePackages.quazip	Provides access to ZIP archives from Qt programs
qt6Packages.quazip	Provides access to ZIP archives from Qt programs
haskellPackages.grapefruit-records	A record system for Functional Reactive Programming
haskellPackages.hmatrix-quadprogpp	Bindings to the QuadProg++ quadratic programming library
rubiks	Several programs for working with Rubik's cubes
haskellPackages.flexible-numeric-parsers	Flexible numeric parsers for real-world programming languages
errcheck	Checks for unchecked errors in go programs
kdePackages.ktimer	Little tool to execute programs after some time
supercollider_scel	Programming language for real time audio synthesis
debugedit	Provides programs and scripts for creating debuginfo and source file distributions, collect build-ids and rewrite source paths in DWARF data for debugging, tracing and profiling
discord-gamesdk	Library to allow other programs to interact with the Discord desktop application
ocamlPackages.tyxml	Library that makes it almost impossible for your OCaml programs to generate wrong XML output, using static typing
functionalplus	Functional Programming Library for C++
xmpp-bridge	Connect command-line programs to XMPP
yelp-tools	Small programs that help you create, edit, manage, and publish your Mallard or DocBook documentation
icoutils	Set of programs to deal with Microsoft Windows(R) icon and cursor files
haskellPackages.Strafunski-StrategyLib	Library for strategic programming
haskellPackages.simplistic-generics	Generic programming without too many type classes
symphony	Open-source solver, callable library, and development framework for mixed-integer linear programs (MILPs)
dejagnu	Framework for testing other programs
haskellPackages.distributed-closure	Serializable closures for distributed programming
haskellPackages.parallel_3_3_0_0	Parallel programming library
typstPackages.stack-pointer	A library for visualizing the execution of (imperative) computer programs
gogui	Graphical user interface to programs that play the board game Go and support the Go Text Protocol such as GNU Go
souffle	Translator of declarative Datalog programs into the C++ language
ocamlPackages_latest.lwt-exit	Opinionated clean-exit and signal-handling library for Lwt programs
ocamlPackages.merlin	Editor-independent tool to ease the development of programs in OCaml
haskellPackages.gi-gtk-declarative-app-simple	Declarative GTK+ programming in Haskell in the style of Pux
python313Packages.explorerscript	Programming language + compiler/decompiler for creating scripts for Pokémon Mystery Dungeon Explorers of Sky
python314Packages.explorerscript	Programming language + compiler/decompiler for creating scripts for Pokémon Mystery Dungeon Explorers of Sky
bpflinter	Linting functionality for BPF C programs
wl-clip-persist	Keep Wayland clipboard even after programs close
pv	Tool for monitoring the progress of data through a pipeline
texlivePackages.stringstrings	String manipulation for cosmetic and programming application
haskellPackages.arghwxhaskell	An interpreter for the Argh! programming language in wxHaskell
proton-caller	Run Windows programs with Proton
tinyxml	Simple, small, C++ XML parser that can be easily integrating into other programs
vscode-extensions.reditorsupport.r	Visual Studio Code extension for the R programming language
cope	Colourful wrapper for terminal programs
gxmessage	GTK enabled dropin replacement for xmessage
ocamlPackages.sawja	Library written in OCaml, relying on Javalib to provide a high level representation of Java bytecode programs
plasma5Packages.quazip	Provides access to ZIP archives from Qt programs
python312Packages.explorerscript	Programming language + compiler/decompiler for creating scripts for Pokémon Mystery Dungeon Explorers of Sky
seashells	Pipe command-line programs to seashells.io
haskellPackages.keid-render-basic	Basic rendering programs for Keid engine
peg	Tools for generating recursive-descent parsers: programs that perform pattern matching on text
base16-builder	Base16 Builder is a nimble command-line tool that generates themes for your favourite programs.
tf2pulumi	Convert Terraform projects to Pulumi TypeScript programs
gpsbabel	Convert, upload and download data from GPS and Map programs
python313Packages.llm-jq	Write and execute jq programs with the help of LLM
python313Packages.mip	Collection of Python tools for the modeling and solution of Mixed-Integer Linear programs (MIPs)
python314Packages.llm-jq	Write and execute jq programs with the help of LLM
python314Packages.mip	Collection of Python tools for the modeling and solution of Mixed-Integer Linear programs (MIPs)
qpdf	C++ library and set of programs that inspect and manipulate the structure of PDF files
gpsbabel-gui	Convert, upload and download data from GPS and Map programs
ocamlPackages_latest.tyxml	Library that makes it almost impossible for your OCaml programs to generate wrong XML output, using static typing
libsixel	SIXEL library for console graphics, and converter programs
playonlinux	GUI for managing Windows programs under linux
pulumiPackages.pulumi-go	Language host for Pulumi programs written in Go
pciutils	Collection of programs for inspecting and manipulating configuration of PCI devices
python313Packages.xlib	Fully functional X client library for Python programs
python314Packages.xlib	Fully functional X client library for Python programs
haskellPackages.exploring-interpreters	A generic exploring interpreter for exploratory programming
ocamlPackages_latest.merlin	Editor-independent tool to ease the development of programs in OCaml
python313Packages.quil	Python package for building and parsing Quil programs
python314Packages.quil	Python package for building and parsing Quil programs
spawn_fcgi	Provides an interface to external programs that support the FastCGI interface
mmh	Set of electronic mail handling programs
gappa	Verifying and formally proving properties on numerical programs dealing with floating-point or fixed-point arithmetic
gnome-system-monitor	System Monitor shows you what programs are running and how much processor time, memory, and disk space are being used
hyprfreeze	Utility to suspend a game process (and other programs) in Hyprland
rocmPackages.composable_kernel	Performance portable programming model for machine learning tensor operators
msitools	Set of programs to inspect and build Windows Installer (.MSI) files
python313Packages.bubop	Bergercookie's Useful Bits Of Python; helper libraries for Bergercookie's programs
python313Packages.tubes	Data-processing and flow-control engine for event-driven programs
python314Packages.bubop	Bergercookie's Useful Bits Of Python; helper libraries for Bergercookie's programs
python314Packages.tubes	Data-processing and flow-control engine for event-driven programs
python313Packages.miss-hit	Static analysis and other utilities for programs written in the MATLAB/Simulink and Octave languages
python314Packages.miss-hit	Static analysis and other utilities for programs written in the MATLAB/Simulink and Octave languages
quick-lint-js	Find bugs in Javascript programs
csmith	Random generator of C programs
ocamlPackages_latest.sawja	Library written in OCaml, relying on Javalib to provide a high level representation of Java bytecode programs
libiberty	Collection of subroutines used by various GNU programs
arguments	Library for argument handling for MINC programs
pdf-parser	Parse a PDF document
python313Packages.griffe	Signatures for entire Python programs
s6-dns	Suite of DNS client programs and libraries for Unix systems
dvd-slideshow	Suite of command line programs that creates a slideshow-style video from groups of pictures
vibrantlinux	Tool to automate managing your screen's saturation depending on what programs are running
python314Packages.griffe	Signatures for entire Python programs
raysession	Session manager for Linux musical programs
python313Packages.qiskit	Software for developing quantum computing programs
python314Packages.qiskit	Software for developing quantum computing programs
python312Packages.mip	Collection of Python tools for the modeling and solution of Mixed-Integer Linear programs (MIPs)
python312Packages.llm-jq	Write and execute jq programs with the help of LLM
num-utils	Programs for dealing with numbers from the command line
rictydiminished-with-firacode	Best Japanese programming font meets the awesome ligatures of Firacode
elfkickers	Collection of programs that access and manipulate ELF files
python313Packages.miss-hit-core	Code formatting and code metrics for programs written in the MATLAB/Simulink and Octave languages
python313Packages.pyquil	Python library for creating Quantum Instruction Language (Quil) programs
python314Packages.miss-hit-core	Code formatting and code metrics for programs written in the MATLAB/Simulink and Octave languages
python314Packages.pyquil	Python library for creating Quantum Instruction Language (Quil) programs
python313Packages.deepl	Language translation API that allows other computer programs to send texts and documents to DeepL's servers and receive high-quality translations
python314Packages.deepl	Language translation API that allows other computer programs to send texts and documents to DeepL's servers and receive high-quality translations
colormake	Simple wrapper around make to colorize the output
samba	Standard Windows interoperability suite of programs for Linux and Unix
python312Packages.xlib	Fully functional X client library for Python programs
sfeed	RSS and Atom parser (and some format programs)
antiprism	Collection of programs for generating, manipulating, transforming and viewing polyhedra
gtkclipblock	LD_PRELOAD hack to prevent GTK programs from interacting with the primary clipboard
python312Packages.quil	Python package for building and parsing Quil programs
python312Packages.miss-hit	Static analysis and other utilities for programs written in the MATLAB/Simulink and Octave languages
findbugs	Static analysis tool to find bugs in Java programs automatically
arduinoOTA	Tool for uploading programs to Arduino boards over a network
nauty	Programs for computing automorphism groups of graphs and digraphs
perlPackages.AppCLI	Dispatcher module for command line interface programs
python313Packages.libxc	Library of exchange-correlation functionals for density-functional theory
python314Packages.libxc	Library of exchange-correlation functionals for density-functional theory
sensible-utils	Collection of utilities used by programs to sensibly select and spawn an appropriate browser, editor, or pager
python312Packages.bubop	Bergercookie's Useful Bits Of Python; helper libraries for Bergercookie's programs
python312Packages.tubes	Data-processing and flow-control engine for event-driven programs
python313Packages.vulture	Finds unused code in Python programs
python314Packages.vulture	Finds unused code in Python programs
evolution-data-server	Unified backend for programs that work with contacts, tasks, and calendar information
perl5Packages.AppCLI	Dispatcher module for command line interface programs
pulumiPackages.pulumi-python	Language host for Pulumi programs written in Python
python312Packages.clingo	ASP system to ground and solve logic programs
t1utils	Collection of simple Type 1 font manipulation programs
python313Packages.mitogen	Python Library for writing distributed self-replicating programs
pulumiPackages.pulumi-nodejs	Language host for Pulumi programs written in TypeScript & JavaScript (Node.js)
python314Packages.mitogen	Python Library for writing distributed self-replicating programs
python312Packages.qiskit	Software for developing quantum computing programs
inetutils	Collection of common network programs
python312Packages.griffe	Signatures for entire Python programs
undaemonize	Tiny helper utility to force programs which insist on daemonizing themselves to run in the foreground
haskellPackages.cgi	A library for writing CGI programs
evolution-data-server-gtk4	Unified backend for programs that work with contacts, tasks, and calendar information
libnatspec	Library intended to smooth national specificities in using of programs
python313Packages.quart-schema	Create subcommand-based CLI programs with docopt
python314Packages.quart-schema	Create subcommand-based CLI programs with docopt
python312Packages.miss-hit-core	Code formatting and code metrics for programs written in the MATLAB/Simulink and Octave languages
haskellPackages.HSH	Library to mix shell scripting with Haskell programs
idrisPackages.test	Testing Utilities for Idris programs
haskellPackages.opn	Open files or URLs using associated programs
haskellPackages.afv	Infinite state model checking of iterative C programs
python313Packages.clingo	ASP system to ground and solve logic programs
python314Packages.clingo	ASP system to ground and solve logic programs
python312Packages.deepl	Language translation API that allows other computer programs to send texts and documents to DeepL's servers and receive high-quality translations
python312Packages.pyquil	Python library for creating Quantum Instruction Language (Quil) programs
haskellPackages.limp	representation of Integer Linear Programs
betteralign	Make your Go programs use less memory (maybe)
akkuPackages.r6lint	Linter for R6RS libraries and programs
skawarePackages.s6-dns	Suite of DNS client programs and libraries for Unix systems
haskellPackages.zeno	An automated proof system for Haskell programs
haskellPackages.om-elm	Haskell utilities for building embedded Elm programs
haskellPackages.scgi	A Haskell library for writing SCGI programs
python313Packages.qiskit-nature	Software for developing quantum computing programs
python314Packages.qiskit-nature	Software for developing quantum computing programs
samba4Full	Standard Windows interoperability suite of programs for Linux and Unix
haskellPackages.uni-htk	Graphical User Interface for Haskell Programs
chickenPackages_5.chickenEggs.ezd	easy drawing for programs on X displays
ecdsautils	Tiny collection of programs used for ECDSA (keygen, sign, verify)
texlivePackages.tex-ewd	Macros to typeset calculational proofs and programs in Dijkstra's style
coqPackages.ITree	Library for Representing Recursive and Impure Programs in Coq
directx-shader-compiler	Compiler to compile HLSL programs into DXIL and SPIR-V
haskellPackages.hsp-cgi	Facilitates running Haskell Server Pages web pages as CGI programs
perlPackages.Expect	Automate interactions with command line programs that expose a text terminal interface
python312Packages.vulture	Finds unused code in Python programs
typstPackages.stack-pointer_0_1_0	A library for visualizing the execution of (imperative) computer programs
haskellPackages.THSH	A "noDSL" approach to mixing shell scripting with Haskell programs using Template Haskell
haskellPackages.mem-info	Print the core memory usage of programs
python313Packages.async-timeout	Timeout context manager for asyncio programs
python314Packages.async-timeout	Timeout context manager for asyncio programs
chickenPackages_5.chickenEggs.srfi-34	SRFI-34: Exception Handling for Programs
haskellPackages.Hs2lib	A Library and Preprocessor that makes it easier to create shared libs from Haskell programs
vscode-extensions.ms-vscode.js-debug	An extension for debugging Node.js programs and Chrome
haskellPackages.runhs	Stack wrapper for single-file Haskell programs
python313Packages.os-client-config	Unified config handling for client libraries and programs
python314Packages.os-client-config	Unified config handling for client libraries and programs
perl540Packages.AppCLI	Dispatcher module for command line interface programs
perl538Packages.AppCLI	Dispatcher module for command line interface programs
haskellPackages.PropaFP	Auto-active verification of floating-point programs
haskellPackages.crux-llvm	A verification tool for C programs
perl5Packages.Expect	Automate interactions with command line programs that expose a text terminal interface
python312Packages.mitogen	Python Library for writing distributed self-replicating programs
texlivePackages.tikz-sfc	Symbols collection for typesetting Sequential Function Chart (SFC) diagrams (PLC programs)
haskellPackages.alsa-gui	Some simple interactive programs for sending MIDI control messages via ALSA
haskellPackages.titan	Testing Infrastructure for Temporal AbstractioNs - GUI to debug temporal programs
haskellPackages.PropRatt	Property-based testing framework for testing asynchronous FRP programs
python313Packages.qiskit-finance	Software for developing quantum computing programs
python314Packages.qiskit-finance	Software for developing quantum computing programs
haskellPackages.ghc-gc-tune	Graph performance of Haskell programs with different GC flags
haskellPackages.tls-debug	Set of programs for TLS testing and debugging
perlPackages.TestExpect	Automated driving and testing of terminal-based programs
python312Packages.quart-schema	Create subcommand-based CLI programs with docopt
stdoutisatty	Make programs think their stdout is a tty / terminal
haskellPackages.Lastik	A library for compiling programs in a variety of languages
haskellPackages.dejafu	A library for unit-testing concurrent programs
haskellPackages.curry-base	Functions for manipulating Curry programs
haskellPackages.oughta	A library to test programs that output text
perl5Packages.TestExpect	Automated driving and testing of terminal-based programs
haskellPackages.ivory-eval	Simple concrete evaluator for Ivory programs
python312Packages.qiskit-nature	Software for developing quantum computing programs
haskellPackages.HJScript	HJScript is a Haskell EDSL for writing JavaScript programs
texlivePackages.c-pascal	Typeset Python, C and Pascal programs
haskellPackages.postie	SMTP server library to receive emails from within Haskell programs
python313Packages.reactivex	Library for composing asynchronous and event-based programs
python314Packages.reactivex	Library for composing asynchronous and event-based programs
libnetfilter_cthelper	Userspace library that provides the programming interface to the user-space connection tracking helper infrastructure
cyberpunk-neon	Neon themes for many programs
haskellPackages.QuickCheck	Automatic testing of Haskell programs
lockfileProgs	Programs for locking and unlocking files and mailboxes
perlPackages.TestPerlCritic	Use Perl::Critic in test programs
external-editor-revived	Native messaging host for the Thunderbird addon allowing to edit mails in external programs
haskellPackages.Pup-Events	A networked event handling framework for hooking into other programs
haskellPackages.sbvPlugin	Formally prove properties of Haskell programs using SBV/SMT
renameutils	Set of programs to make renaming of files faster
texlivePackages.algobox	Typeset Algobox programs
haskellPackages.clash-shake	Shake rules for building Clash programs
python312Packages.async-timeout	Timeout context manager for asyncio programs
texlivePackages.scratch	Draw programs like "scratch"
texlivePackages.texware	Utility programs for use with TeX
haskellPackages.threadPool	Runs other programs in the manner of a thread pool
haskellPackages.powerpc	Tools for PowerPC programs
perl5Packages.TestPerlCritic	Use Perl::Critic in test programs
perlPackages.CaptureTiny	Capture STDOUT and STDERR from Perl, XS or external programs
redshift_jdbc	JDBC 4.2 driver for Amazon Redshift allowing Java programs to connect to a Redshift database
python312Packages.os-client-config	Unified config handling for client libraries and programs
libpthread-stubs	Provides a pkg-config file `pthread-stubs.pc` containing the Cflags/Libs flags applicable to programs/libraries that use only lightweight pthread API
perl538Packages.Expect	Automate interactions with command line programs that expose a text terminal interface
perl540Packages.Expect	Automate interactions with command line programs that expose a text terminal interface
haskellPackages.hylolib	Tools for hybrid logics related programs
haskellPackages.fastcgi	A Haskell library for writing FastCGI programs
haskellPackages.hfusion	A library for fusing a subset of Haskell programs
haskellPackages.fitspec	refining property sets for testing Haskell programs
haskellPackages.copilot	A stream DSL for writing embedded C programs
perl5Packages.CaptureTiny	Capture STDOUT and STDERR from Perl, XS or external programs
proxychains-ng	Preloader which hooks calls to sockets in dynamically linked programs and redirects it through one or more socks/http proxies
python312Packages.qiskit-finance	Software for developing quantum computing programs
texlivePackages.t1utils	Simple Type 1 font manipulation programs
haskellPackages.archive	A library and programs for creating hardlinked incremental archives or backups
haskellPackages.ui-command	A framework for friendly commandline programs
hexbinhex	Six utility programs to convert between hex, binary, ascii-binary and the oddball NIST format for 90B testing.
coqPackages.ElmExtraction	A framework for extracting Coq programs to Elm
haskellPackages.Pup-Events-Demo	A networked event handling framework for hooking into other programs
haskellPackages.elm-reactor	Interactive development tool for Elm programs
perl538Packages.TestExpect	Automated driving and testing of terminal-based programs
perl540Packages.TestExpect	Automated driving and testing of terminal-based programs
texlivePackages.gustprog	utility programs for Polish users of TeX
haskellPackages.hoodle-types	Data types for programs for hoodle file format
libnetfilter_cttimeout	Userspace library that provides the programming interface to the connection tracking timeout infrastructure
coqPackages.RustExtraction	A framework for extracting Coq programs to Rust
haskellPackages.mmsyn7s	Shows a sorted list of the Ukrainian sounds representations that can be used by mmsyn7 series of programs
perlPackages.AppFatPackerSimple	A simpler way to fatpack perl programs
python312Packages.reactivex	Library for composing asynchronous and event-based programs
haskellPackages.haskell-menu	A simple menu system for Haskell programs
texlivePackages.scratch3	Draw programs like "scratch"
texlivePackages.scratchx	Include Scratch programs in LaTeX documents
haskellPackages.edit-lenses-demo	Programs demoing the use of symmetric, stateful edit lenses
perlPackages.ServerStarter	Superdaemon for hot-deploying server programs
python313Packages.debuglater	Module for post-mortem debugging of Python programs
python314Packages.debuglater	Module for post-mortem debugging of Python programs
haskellPackages.Pup-Events-PQueue	A networked event handling framework for hooking into other programs
haskellPackages.broccoli	Small library for interactive functional programs
haskellPackages.pathwalk	Path walking utilities for Haskell programs
haskellPackages.peakachu	Experiemental library for composable interactive programs
perl5Packages.AppFatPackerSimple	A simpler way to fatpack perl programs
perl540Packages.TestPerlCritic	Use Perl::Critic in test programs
perl538Packages.TestPerlCritic	Use Perl::Critic in test programs
bashup-events32	Event listener/callback API for creating extensible bash programs
bashup-events44	Event listener/callback API for creating extensible bash programs
haskellPackages.lushtags	Create ctags compatible tags files for Haskell programs
haskellPackages.catalyst	A Category typeclass hierarchy powerful enough to encode full programs
haskellPackages.proctest	An IO library for testing interactive command line programs
libfilezilla	Modern C++ library, offering some basic functionality to build high-performing, platform-independent programs
perl5Packages.ServerStarter	Superdaemon for hot-deploying server programs
haskellPackages.hasktags	Produces ctags "tags" and etags "TAGS" files for Haskell programs
haskellPackages.shell-utility	Utility functions for writing command-line programs
haskellPackages.xournal-types	Data types for programs for xournal file format
rocmPackages.composable_kernel_base	Performance portable programming model for machine learning tensor operators
perl538Packages.CaptureTiny	Capture STDOUT and STDERR from Perl, XS or external programs
perl540Packages.CaptureTiny	Capture STDOUT and STDERR from Perl, XS or external programs
chickenPackages_5.chickenEggs.commands	Helpers for programs that dispatch commands
docker-credential-helpers	Suite of programs to use native stores to keep Docker credentials safe
haskellPackages.dph-examples	Data Parallel Haskell example programs
haskellPackages.vty-examples	Examples programs using the vty library
chickenPackages_5.chickenEggs.sysexits	Exit status codes for system programs
kdePackages.kapptemplate	Factory for the easy creation of KDE/Qt components and programs
haskellPackages.Pup-Events-Server	A networked event handling framework for hooking into other programs
haskellPackages.Pup-Events-Client	A networked event handling framework for hooking into other programs
python313Packages.mypy-extensions	Experimental type system extensions for programs checked with the mypy typechecker
python314Packages.mypy-extensions	Experimental type system extensions for programs checked with the mypy typechecker
haskellPackages.uu-cco-examples	Utilities for compiler construction: example programs
perlPackages.commonsense	Implements some sane defaults for Perl programs
haskellPackages.qtah-examples	Example programs for Qtah Qt bindings
mjpegtools	Suite of programs for processing MPEG or MJPEG video
haskellPackages.QuickCheck_2_15_0_1	Automatic testing of Haskell programs
haskellPackages.hsqml-demo-samples	HsQML sample programs
haskellPackages.QuickCheck_2_17_1_0	Automatic testing of Haskell programs
perl5Packages.commonsense	Implements some sane defaults for Perl programs
texlivePackages.context-filter	Run external programs on the contents of a start-stop environment
python312Packages.debuglater	Module for post-mortem debugging of Python programs
texlivePackages.texlive-scripts	TeX Live infrastructure programs
haskellPackages.hskeleton	Skeleton for new Haskell programs
haskellPackages.graphql-client	A client for Haskell programs to query a GraphQL API
haskellPackages.hyloutils	Very small programs for hybrid logics
haskellPackages.dovetail-aeson	Use Aeson from your Dovetail programs
haskellPackages.crucible-debug	An interactive debugger for Crucible programs
libfaketime	Report faked system time to programs without having to change the system-wide time
perl540Packages.AppFatPackerSimple	A simpler way to fatpack perl programs
perl538Packages.AppFatPackerSimple	A simpler way to fatpack perl programs
haskellPackages.shake-literate	Rules for building literate programs in shake
haskellPackages.transient	composing programs with multithreading, events and distributed computing
haskellPackages.language-ocaml	Language tools for manipulating OCaml programs in Haskell
haskellPackages.nlp-scores-scripts	NLP scoring command-line programs
mjpegtoolsFull	Suite of programs for processing MPEG or MJPEG video
haskellPackages.yesod-examples	Example programs using the Yesod Web Framework. (deprecated)
haskellPackages.copilot_4_3	A stream DSL for writing embedded C programs
perl540Packages.ServerStarter	Superdaemon for hot-deploying server programs
perl538Packages.ServerStarter	Superdaemon for hot-deploying server programs
python313Packages.qiskit-machine-learning	Software for developing quantum computing programs
python314Packages.qiskit-machine-learning	Software for developing quantum computing programs
haskellPackages.copilot_4_6	A stream DSL for writing embedded C programs
haskellPackages.mem-info_0_4_1_0	Print the core memory usage of programs
perlPackages.HTMLFormatExternal	HTML to text formatting using external programs
postgresql_jdbc	JDBC driver for PostgreSQL allowing Java programs to connect to a PostgreSQL database
haskellPackages.canteven-config	A pattern for configuring programs
python312Packages.mypy-extensions	Experimental type system extensions for programs checked with the mypy typechecker
perl5Packages.HTMLFormatExternal	HTML to text formatting using external programs
perlPackages.TestWWWMechanizePSGI	Test PSGI programs using WWW::Mechanize
perl538Packages.commonsense	Implements some sane defaults for Perl programs
perl540Packages.commonsense	Implements some sane defaults for Perl programs
haskellPackages.regex-examples	Tutorial, tests and example programs for regex
perl5Packages.TestWWWMechanizePSGI	Test PSGI programs using WWW::Mechanize
haskellPackages.language-c99-simple	C-like AST to simplify writing C99 programs
haskellPackages.instrument	Easy stats/metrics instrumentation for Haskell programs
haskellPackages.servant-examples	Example programs for servant
haskellPackages.quickbench	quick & easy benchmarking of command-line programs
python312Packages.qiskit-machine-learning	Software for developing quantum computing programs
haskellPackages.copilot-verifier	System for verifying the correctness of generated Copilot programs
haskellPackages.android-activity	Turn regular Haskell programs into Android Activities
texlivePackages.collection-basic	Essential programs and files
python313Packages.pythondialog	Python interface to the UNIX dialog utility and mostly-compatible programs
python314Packages.pythondialog	Python interface to the UNIX dialog utility and mostly-compatible programs
python313Packages.docopt-subcommands	Create subcommand-based CLI programs with docopt
python313Packages.hypothesmith	Hypothesis strategies for generating Python programs, something like CSmith
python314Packages.hypothesmith	Hypothesis strategies for generating Python programs, something like CSmith
python314Packages.docopt-subcommands	Create subcommand-based CLI programs with docopt
perl538Packages.HTMLFormatExternal	HTML to text formatting using external programs
perl540Packages.HTMLFormatExternal	HTML to text formatting using external programs
haskellPackages.imperative-edsl	Deep embedding of imperative programs with code generation
perl540Packages.TestWWWMechanizePSGI	Test PSGI programs using WWW::Mechanize
perl538Packages.TestWWWMechanizePSGI	Test PSGI programs using WWW::Mechanize
haskellPackages.imperative-edsl-vhdl	Deep embedding of VHDL programs with code generation
haskellPackages.threadscope	A graphical tool for profiling parallel Haskell programs
syscall_limiter	Start Linux programs with only selected syscalls enabled
python312Packages.pythondialog	Python interface to the UNIX dialog utility and mostly-compatible programs
haskellPackages.freer-simple-profiling	Automatic profling of freer-simple programs
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
haskellPackages.hack-frontend-monadcgi	Allows programs written against MonadCGI to run with any hack handler. (deprecated)
texlivePackages.collection-wintools	Windows-only support programs
texlivePackages.collection-binextra	TeX auxiliary programs
python312Packages.qiskit-optimization	Software for developing quantum computing programs
haskellPackages.applicative-splice	Write applicative programs in direct style (generalizes idiom brackets)
haskellPackages.quickcheck-state-machine	Test monadic programs using state machine based models
gnomeExtensions.inhibition-indicator	Indicates whether the system is prevented from sleeping by programs.
ocamlPackages.qcheck-multicoretests-util	Utility functions for property-based testing of multicore programs
haskellPackages.jsonextfilter	Filter select values in JSON objects to unix programs
ocamlPackages_latest.qcheck-multicoretests-util	Utility functions for property-based testing of multicore programs
steamtinkerlaunch	Linux wrapper tool for use with the Steam client for custom launch options and 3rd party programs
haskellPackages.lazysmallcheck	A library for demand-driven testing of Haskell programs
haskellPackages.shelltestrunner	Easy, repeatable testing of CLI programs/commands
haskellPackages.quickcheck-state-machine-distributed	Test monadic programs using state machine based models
mesa-demos	Collection of demos and test programs for OpenGL and Mesa
haskellPackages.shelltestrunner_1_11	Easy, repeatable testing of CLI programs/commands
driversi686Linux.mesa-demos	Collection of demos and test programs for OpenGL and Mesa