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