| haskellPackages.PropLogic | Propositional Logic |
| cp210x-program | EEPROM tool for Silabs CP210x USB-Serial adapter |
| texlivePackages.program | Typesetting programs and algorithms |
| haskellPackages.program | Programs with Environments and Managed Resources |
| haskellPackages.sbv-program | Component-based program synthesis using SBV |
| emacsPackages.choice-program | |
| haskellPackages.core-program | Opinionated Haskell Interoperability |
| haskellPackages.tasty-program | Use tasty framework to test whether a program executes correctly |
| haskellPackages.console-program | Interpret the command line and a config file as commands and options |
| dfu-programmer | Device Firmware Update based USB programmer for Atmel chips with a USB bootloader |
| haskellPackages.test-framework-program | Test framework support for running simple test programs |
| python312Packages.llama-index-program-openai | LlamaIndex Program Integration for OpenAI |
| python313Packages.llama-index-program-openai | LlamaIndex Program Integration for OpenAI |
| akkuPackages.r6rs-programs | Port of (rnrs programs) to R7RS |
| haskellPackages.cabal-build-programs | Adds executable dependencies to the Cabal build |
| programmer-calculator | Terminal calculator for programmers |
| emacsPackages.programmer-dvorak | |
| rPackages.statprograms | |
| haskellPackages.kmn-programming | K_M,N quadratic programming |
| haskellPackages.math-programming | A library for formulating and solving math programs |
| haskellPackages.math-programming-glpk | A GLPK backend to the math-programming library |
| haskellPackages.linear-programming | Linear Programming basic definitions |
| haskellPackages.math-programming-tests | Utility functions for testing implementations of the math-programming library |
| texlivePackages.apprendre-a-programmer-en-tex | The book "Apprendre a programmer en TeX" |
| emacsPackages.competitive-programming-snippets | |
| python313Packages.sphinxcontrib-programoutput | Sphinx extension to include program output |
| python314Packages.sphinxcontrib-programoutput | Sphinx extension to include program output |
| python312Packages.sphinxcontrib-programoutput | Sphinx extension to include program output |
| 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 |
| qmk | Program to help users work with QMK Firmware |
| tt-smi | Tenstorrent console based hardware information program |
| hello-go | Simple program printing hello world in Go |
| go-i18n | Translate your Go program into multiple languages |
| wllvm | Wrapper script to build whole-program LLVM bitcode files |
| alist | File list/WebDAV program that supports multiple storages |
| mmake | Small program which wraps make to provide additional functionality |
| unrpa | Program to extract files from the RPA archive format |
| rzip | Compression program |
| sc-im | Ncurses spreadsheet program for terminal |
| unar | Archive unpacker program |
| gllvm | Whole Program LLVM: wllvm ported to go |
| xlog | Amateur radio logging program |
| podman | Program for managing pods, containers and container images |
| anki | Spaced repetition flashcard program |
| gcal | Program for calculating and printing calendars |
| why3 | Platform for deductive program verification |
| wol | Implements Wake On LAN functionality in a small program |
| mate.eom | Image viewing and cataloging program for the MATE desktop |
| goread | Beautiful program to read your RSS/Atom feeds right in the terminal |
| zeyple | Utility program to automatically encrypt outgoing emails with GPG |
| trf | Tandem Repeats Finder: a program to analyze DNA sequences |
| lftp | File transfer program supporting a number of network protocols |
| ocrad | Optical character recognition (OCR) program & library |
| rclone | Command line program to sync files and directories to and from major cloud storage |
| cbeams | Command-line program to draw animated colored circles in the terminal |
| ico | Simple animation program that may be used for testing various X11 operations and extensions |
| flamp | Digital modem program |
| xsel | Command-line program for getting and setting the contents of the X selection |
| dtach | Program that emulates the detach feature of screen |
| axel | Console downloading program with some features for parallel connections for faster downloading |
| golly | Cellular automata simulation program |
| gimp2 | GNU Image Manipulation Program |
| vzic | Program to convert the IANA timezone database files into VTIMEZONE files compatible with the iCalendar specification |
| kdePackages.kmix | Volume control program |
| pspp | Free replacement for SPSS, a program for statistical analysis of sampled data |
| dterm | Simple terminal program |
| eyed3 | Python module and command line program for processing ID3 tags |
| xhost | X server access control program |
| mafft | Multiple alignment program for amino acid or nucleotide sequences |
| abook | Text-based addressbook program designed to use with mutt mail client |
| boxes | Command line program which draws, removes, and repairs ASCII art boxes |
| x2vnc | Program to control a remote VNC server |
| xmore | Plain text display program for the X Window System |
| httptap | View HTTP/HTTPS requests made by any Linux program |
| _9menu | Simple X11 menu program for running commands |
| lenmus | Program for learning music |
| grafx2 | Ultimate 256-color painting program |
| fldigi | Digital modem program |
| ssdeep | Program for calculating fuzzy hashes |
| lrzip | CK LRZIP compression program (LZMA + RZIP) |
| pythia | Program for the generation of high-energy physics events |
| go-callvis | Visualize call graph of a Go program using Graphviz |
| mapcidr | Small utility program to perform multiple operations for a given subnet/CIDR ranges |
| gpxlab | Program to show and manipulate GPS tracks |
| kalign | Fast multiple sequence alignment program |
| cmark-gfm | GitHub's fork of cmark, a CommonMark parsing and rendering library and program in C |
| tthsum | Md5sum-alike program that works with Tiger/THEX hashes |
| oscclip | Program that allows to copy/paste from a terminal using osc-52 control sequences |
| devour | Hides your current window when launching an external program |
| far2l | Linux port of FAR Manager v2, a program for managing files and archives in Windows operating systems |
| xephem | Interactive astronomy program for all UNIX platforms |
| xscope | Program to monitor X11/Client conversations |
| figlet | Program for making large letters out of ordinary text |
| git-cache | Program to add and manage a system-wide or user-wide cache for remote git repositories |
| qcdnum | Very fast QCD evolution program written in FORTRAN77 |
| remind | Sophisticated calendar and alarm program for the console |
| go-bindata | Small utility which generates Go code from any file, useful for embedding binary data in a Go program |
| gallery-dl | Command-line program to download image-galleries and -collections from several image hosting sites |
| bchunk | Program that converts CD images in BIN/CUE format into a set of ISO and CDR tracks |
| dsview | GUI program for supporting various instruments from DreamSourceLab, including logic analyzer, oscilloscope, etc |
| nbench | Synthetic computing benchmark program |
| haskellPackages.webcloud | Turn an optparse-applicative program into a CGI program! |
| gokrazy | Turn your Go program(s) into an appliance running on the Raspberry Pi 3, Pi 4, Pi Zero 2 W, or amd64 PCs |
| gimp2Plugins.gimp | GNU Image Manipulation Program |
| filegive | Easy p2p file sending program |
| getmail6 | Program for retrieving mail |
| picocom | Minimal dumb-terminal emulation program |
| pnglatex | Small program that converts LaTeX snippets to png |
| rivalcfg | Utility program that allows you to configure SteelSeries Rival gaming mice |
| fortune | Program that displays a pseudorandom message from a database of quotations |
| ispell | Interactive spell-checking program for Unix |
| flac123 | Command-line program for playing FLAC audio files |
| dblatex | Program to convert DocBook to DVI, PostScript or PDF via LaTeX or ConTeXt |
| ent | Pseudorandom Number Sequence Test Program |
| minipro | Open source program for controlling the MiniPRO TL866xx series of chip programmers |
| kdePackages.knights | Chess board program. |
| protonup-ng | CLI program and API to automate the installation and update of GloriousEggroll's Proton-GE |
| abcm2ps | Command line program which converts ABC to music sheet in PostScript or SVG format |
| scummvm | Program to run certain classic graphical point-and-click adventure games (such as Monkey Island) |
| x11perf | X11 server performance test program |
| minicom | Modem control and terminal emulation program |
| file | Program that shows the type of files |
| kdePackages.kbackup | Backup program with an easy-to-use interface |
| wimlib | Library and program to extract, create, and modify WIM files |
| fpp | CLI program that accepts piped input and presents files for selection |
| nttcp | New test TCP program |
| cloc | Program that counts lines of source code |
| bleachbit | Program to clean your computer |
| fail2ban | Program that scans log files for repeated failing login attempts and bans IP addresses |
| nagios | Host, service and network monitoring program |
| cpio | Program to create or extract from cpio archives |
| ckan | Mod manager for Kerbal Space Program |
| snapraid | Backup program for disk arrays |
| burp | BackUp and Restore Program |
| edir | Program to rename and remove files and directories using your editor |
| grin | Grep program configured the way I like it |
| when | Extremely simple personal calendar program |
| amphetype | Advanced typing practice program |
| dblatexFull | Program to convert DocBook to DVI, PostScript or PDF via LaTeX or ConTeXt |
| steghide | Open source steganography program |
| jaxodraw | Java program for drawing Feynman diagrams |
| crypto-tracker | Program to retrieve the latest price for several cryptocurrencies using the CoinMarketCap API |
| maxfetch | Nice fetching program written in sh |
| runningx | Program for testing if X is running |
| imagelol | Simple program to store a file into a PNG image |
| 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
|
| lcalc | Program for calculating with L-functions |
| serial-studio | Multi-purpose serial data visualization & processing program |
| rarcrack | This program can crack zip,7z and rar file passwords |
| ddate | Discordian version of the date program |
| uucp | Unix-unix cp over serial line, also includes cu program |
| drawpile | Collaborative drawing program that allows multiple users to sketch on the same canvas simultaneously |
| bustools | Program for manipulating BUS files for single cell RNA-Seq datasets |
| cmark | CommonMark parsing and rendering library and program in C |
| tidyp | Program that can validate your HTML, as well as modify it to be more clean and standard |
| patch | GNU Patch, a program to apply differences to files |
| calculix-ccx | Three-dimensional structural finite element program |
| beats | Swatch Internet Time implemented as a C program |
| sdate | Eternal september version of the date program |
| hello | Program that produces a familiar, friendly greeting |
| clustal-omega | General purpose multiple sequence alignment program for protein and DNA/RNA |
| gnome-font-viewer | Program that can preview fonts and create thumbnails for fonts |
| kdePackages.analitza | Library that lets you add mathematical features to your program |
| djent | Reimplementation of the Fourmilab/John Walker random number test program
ent with several improvements
|
| xjobs | Program which reads job descriptions line by line and executes them in parallel |
| python313Packages.unrpa | Program to extract files from the RPA archive format |
| goldberg-emu | Program that emulates steam online features |
| python314Packages.unrpa | Program to extract files from the RPA archive format |
| colort | Program for 'tinting' color values |
| gzip | GNU zip compression program |
| tkdiff | Graphical front end to the diff program |
| gimp2-with-plugins | GNU Image Manipulation Program |
| scrounge-ntfs | Data recovery program for NTFS file systems |
| cowsay | Program which generates ASCII pictures of a cow with a message |
| glsurf | Program to draw implicit surfaces and curves |
| adif-multitool | Command-line program for working with ham logfiles |
| python313Packages.pysim | Python tool to program SIMs / USIMs / ISIMs |
| python314Packages.pysim | Python tool to program SIMs / USIMs / ISIMs |
| dnsdbq | C99 program that accesses passive DNS database systems |
| bzip2 | High-quality data compression program |
| pamtester | Utility program to test the PAM facility |
| prooftree | Program for proof-tree visualization |
| mp3cat | Command line program which concatenates MP3 files |
| websocketd | Turn any program that uses STDIN/STDOUT into a WebSocket server |
| webalizer | Web server log file analysis program |
| mairix | Program for indexing and searching email messages stored in maildir, MH or mbox |
| vdmfec | Program that adds error correction blocks |
| zthrottle | Program that throttles a pipeline, only letting a line through at most every $1 seconds |
| ratpoints | Program to find rational points on hyperelliptic curves |
| creduce | C program reducer |
| haskellPackages.data-structure-inferrer | Program that infers the fastest data structure available for your program |
| gnupatch | GNU Patch, a program to apply differences to files |
| scribus | Desktop Publishing (DTP) and Layout program |
| cffconvert | Command line program to validate and convert CITATION.cff files |
| python313Packages.scapy | Python-based network packet manipulation program and library |
| python314Packages.scapy | Python-based network packet manipulation program and library |
| python313Packages.eyed3 | Python module and command line program for processing ID3 tags |
| quivira | Free Unicode font in the OpenType format which is supported by every usual office program or printer |
| python312Packages.unrpa | Program to extract files from the RPA archive format |
| python314Packages.eyed3 | Python module and command line program for processing ID3 tags |
| autogen | Automated text and program generation tool |
| perlPackages.TestTCP | Testing TCP program |
| kdePackages.cmark | CommonMark parsing and rendering library and program in C |
| factoriolab | Angular-based calculator for factory games like Factorio and Dyson Sphere Program |
| haskellPackages.tn | A simple daily journal program |
| perl5Packages.TestTCP | Testing TCP program |
| openresolv | Program to manage /etc/resolv.conf |
| haskellPackages.hit | Git like program in haskell |
| cloudflare-utils | Helpful Cloudflare utility program |
| remarkable-mouse | Program to use a reMarkable as a graphics tablet |
| xchainkeys | Standalone X11 program to create chained key bindings |
| haskellPackages.DrIFT | Program to derive type class instances |
| haskellPackages.gas | Limit how many steps a program may take |
| paperjam | Program for transforming PDF files |
| kdePackages.glaxnimate | Simple vector animation program. |
| coccinelle | Program to apply semantic patches to C code |
| haskellPackages.KSP | A library with the kerbal space program universe and demo code |
| haskellPackages.lhae | Simple spreadsheet program |
| kdePackages.kmousetool | Program that clicks the mouse for you |
| drawpile-server-headless | Collaborative drawing program that allows multiple users to sketch on the same canvas simultaneously |
| inormalize | Program to normalize intensity of MINC files |
| disfetch | Yet another *nix distro fetching program, but less complex |
| gif2apng | Simple program that converts animations from GIF to APNG format |
| one-click-backup | Simple Program to backup folders to an external location by copying them |
| apng2gif | Simple program that converts APNG files to animated GIF format |
| python312Packages.scapy | Python-based network packet manipulation program and library |
| haskellPackages.FindBin | Locate directory of original program |
| haskellPackages.harg | Haskell program configuration using higher kinded data |
| console-setup | Console font and keymap setup program |
| haskellPackages.isiz | A program to show the size of image and whether suitable for wallpaper |
| perlPackages.TestUNIXSock | Testing UNIX domain socket program |
| python313Packages.turrishw | Python library and program for Turris hardware listing |
| python314Packages.turrishw | Python library and program for Turris hardware listing |
| redfishtool | Python34 program that implements a command line tool for accessing the Redfish API |
| python312Packages.eyed3 | Python module and command line program for processing ID3 tags |
| plus-jakarta-sans | Typeface designed for Jakarta 'City of collaboration' program in 2020 |
| vim-startuptime | Small Go program for better `vim --startuptime` alternative |
| python313Packages.pyflakes | Simple program which checks Python source files for errors |
| python313Packages.pnglatex | Small program that converts LaTeX snippets to png |
| python314Packages.pyflakes | Simple program which checks Python source files for errors |
| haskellPackages.ast-path | vocabulary representation for predicting program properties |
| loadwatch | Run a program using only idle cycles |
| python314Packages.qcengine | Quantum chemistry program executor and IO standardizer (QCSchema) for quantum chemistry |
| python314Packages.pnglatex | Small program that converts LaTeX snippets to png |
| haskellPackages.hruby | Embed a Ruby intepreter in your Haskell program ! |
| haskellPackages.chp-spec | A mirror implementation of chp that generates a specification of the program |
| haskellPackages.pfile | CLI program for profiles management |
| perl5Packages.TestUNIXSock | Testing UNIX domain socket program |
| python313Packages.qcengine | Quantum chemistry program executor and IO standardizer (QCSchema) for quantum chemistry |
| python313Packages.roombapy | Python program and library to control Wi-Fi enabled iRobot Roombas |
| python314Packages.roombapy | Python program and library to control Wi-Fi enabled iRobot Roombas |
| datamash | Command-line program which performs basic numeric,textual and statistical operations on input textual data files |
| haskellPackages.htags | A Haskell98 parsing tags program similar to ctags |
| disk-filltest | Simple program to detect bad disks by filling them with random data |
| python313Packages.protonup-ng | CLI program and API to automate the installation and update of GloriousEggroll's Proton-GE |
| perl538Packages.TestTCP | Testing TCP program |
| perl540Packages.TestTCP | Testing TCP program |
| akkuPackages.rapid-args-fold | A program argument processor compatible with SRFI 37 |
| haskellPackages.csv-to-qif | A small program that will read csv files and create qif files |
| haskellPackages.devil | A small tool to make it easier to update program managed by Angel |
| python314Packages.protonup-ng | CLI program and API to automate the installation and update of GloriousEggroll's Proton-GE |
| python312Packages.pysim | Python tool to program SIMs / USIMs / ISIMs |
| perlPackages.ProcDaemon | Run Perl program(s) as a daemon process |
| haskellPackages.hutton | A program for the button on Reddit |
| perlPackages.AppMusicChordPro | Lyrics and chords formatting program |
| evilpixie | Pixel-oriented paint program, modelled on Deluxe Paint |
| haskellPackages.intero | Complete interactive development program for Haskell |
| haskellPackages.stack-fix | Console program used to fix Stack build errors automatically |
| perl5Packages.ProcDaemon | Run Perl program(s) as a daemon process |
| haskellPackages.hascal | tiny calculator library and command-line program |
| haskellPackages.edentv | A Tool to Visualize Parallel Functional Program Executions |
| haskellPackages.dep-t-value | Pair resources files with types within your program |
| haskellPackages.json-state | Keep program state in JSON files |
| haskellPackages.derive | A program and library to derive instances for data types |
| haskellPackages.tikzsd | A program for generating LaTeX code of string diagrams |
| akkuPackages.robin-logger | A simple logging library for outputting messages while a program is running |
| bzip2_1_1 | High-quality data compression program |
| haskellPackages.colock | thread-friendly file locks that don't block the entire program |
| haskellPackages.hgdbmi | GDB Machine Interface: program-driven control of GDB |
| perl5Packages.AppMusicChordPro | Lyrics and chords formatting program |
| haskellPackages.frpnow-gtk | Program GUIs with GTK and frpnow! |
| kdePackages.kolourpaint | Easy-to-use paint program |
| haskellPackages.PlslTools | So far just a lint like program for PL/SQL. Diff and refactoring tools are planned |
| haskellPackages.frpnow-vty | Program terminal applications with vty and frpnow! |
| python312Packages.turrishw | Python library and program for Turris hardware listing |
| python312Packages.pyflakes | Simple program which checks Python source files for errors |
| haskellPackages.ghc-proofs | GHC plugin to prove program equations by simplification |
| haskellPackages.hpc-strobe | Hpc-generated strobes for a running Haskell program |
| haskellPackages.graph-trace | Trace the call graph of a program |
| python312Packages.pnglatex | Small program that converts LaTeX snippets to png |
| python314Packages.pylddwrap | Python wrapper around ldd *nix utility to determine shared libraries of a program |
| haskellPackages.choose-exe | Command-line program to choose random element from a stream |
| python312Packages.qcengine | Quantum chemistry program executor and IO standardizer (QCSchema) for quantum chemistry |
| python312Packages.roombapy | Python program and library to control Wi-Fi enabled iRobot Roombas |
| python313Packages.pylddwrap | Python wrapper around ldd *nix utility to determine shared libraries of a program |
| perl540Packages.TestUNIXSock | Testing UNIX domain socket program |
| perl538Packages.TestUNIXSock | Testing UNIX domain socket program |
| texlivePackages.listing | Produce formatted program listings |
| haskellPackages.frpnow-gtk3 | Program GUIs with GTK3 and frpnow! |
| subsurface | Divelog program |
| haskellPackages.hastily | A program to download subtitle files |
| haskellPackages.cabal-test-bin | A program for finding temporary build file during cabal-test |
| haskellPackages.aspell-pipe | Pipe-based interface to the Aspell program |
| haskellPackages.dyepack | Programatically identify space leaks in your program |
| python312Packages.protonup-ng | CLI program and API to automate the installation and update of GloriousEggroll's Proton-GE |
| haskellPackages.butcher | Chops a command or program invocation into digestable pieces |
| haskellPackages.cabal-cargs | A command line program for extracting compiler arguments from a cabal file |
| update-nix-fetchgit | A program to update fetchgit values in Nix expressions |
| haskellPackages.lazy-hash-cache | Storing computed values for re-use when the same program runs again |
| haskellPackages.fix-imports | Program to manage the imports of a haskell module |
| haskellPackages.frpnow-gloss | Program awesome stuff with Gloss and frpnow! |
| perl538Packages.ProcDaemon | Run Perl program(s) as a daemon process |
| perl540Packages.ProcDaemon | Run Perl program(s) as a daemon process |
| cursewords | Graphical command line program for solving crossword puzzles in the terminal |
| soundtouch | Program and library for changing the tempo, pitch and playback rate of audio |
| wmderlandc | Tiny program to interact with wmderland |
| haskellPackages.TestExplode | Generates testcases from program-snippets |
| codebraid | Live code in Pandoc Markdown.
Codebraid is a Python program that enables executable code in Pandoc
Markdown documents. Using Codebraid can be as simple as adding a class to
your code blocks' attributes, and then running codebraid rather than
pandoc to convert your document from Markdown to another format.
codebraid supports almost all of pandoc's options and passes them to
pandoc internally.
Codebraid provides two options for executing code. It includes a built-in
code execution system that currently supports Python 3.5+, Julia, Rust,
R, Bash, and JavaScript. Code can also be executed using Jupyter kernels,
with support for rich output like plots.
|
| perl540Packages.AppMusicChordPro | Lyrics and chords formatting program |
| perl538Packages.AppMusicChordPro | Lyrics and chords formatting program |
| gcfflasher | CFFlasher is the tool to program the firmware of dresden elektronik's Zigbee products |
| haskellPackages.hsqml-demo-notes | Sticky notes example program implemented in HsQML |
| haskellPackages.gettext-th | gettext-th can internationalise a haskell program without runtime dependencies |
| haskellPackages.monad-throw-exit | Functions to exit the program anywhere in MonadThrow monads |
| haskellPackages.cabal-bounds | A command line program for managing the dependency versions in a cabal file |
| stm32flash | Open source flash program for the STM32 ARM processors using the ST bootloader |
| haskellPackages.haskell-docs | A program to find and display the docs and type of a name |
| haskellPackages.hailgun-send | A program to send emails throught the Mailgun api |
| texlivePackages.mathspic | A Perl filter program for use with PiCTeX |
| haskellPackages.effect-monad | Embeds effect systems and program logics into Haskell using graded monads and parameterised monads |
| haskellPackages.wstunnel | Tunneling program over websocket protocol |
| haskellPackages.settings | Runtime-editable program settings |
| haskellPackages.randfile | Program for picking a random file |
| perlPackages.TestRunValgrind | Tests that an external program is valgrind-clean |
| python313Packages.cffconvert | Command line program to validate and convert CITATION.cff files |
| haskellPackages.hxournal | A pen notetaking program written in haskell |
| python312Packages.pylddwrap | Python wrapper around ldd *nix utility to determine shared libraries of a program |
| python314Packages.cffconvert | Command line program to validate and convert CITATION.cff files |
| haskellPackages.config-select | A small program for swapping out dot files |
| haskellPackages.bamstats | A program to extract various information from BAM alignmnet files |
| haskellPackages.graphmod | Present the module dependencies of a program as a "dot" graph |
| perl5Packages.TestRunValgrind | Tests that an external program is valgrind-clean |
| haskellPackages.ghc-debug-common | Connect to a socket created by ghc-debug-stub and analyse the heap of the debuggee program |
| haskellPackages.mathblog | A program for creating and managing a static weblog with LaTeX math and diagrams |
| haskellPackages.hsfacter | A small and ugly library that emulates the output of the puppet facter program |
| easycrypt-runtest | Testing program for EasyCrypt formalizations |
| haskellPackages.stack-network | A program for extending Stack to add distributed capabilities |
| haskellPackages.pixel-printer | A program for turning pixel art into 3D prints |
| haskellPackages.canteven-log | A canteven way of setting up logging for your program |
| jugglinglab | Program to visualize different juggling pattens |
| haskellPackages.on-demand-ssh-tunnel | Program that sends traffic through SSH tunnels on-demand |
| haskellPackages.conlogger | A logger for a concurrent program |
| haskellPackages.monad-skeleton | Monads of program skeleta |
| pgformatter | PostgreSQL SQL syntax beautifier that can work as a console program or as a CGI |
| haskellPackages.Barracuda | An ad-hoc P2P chat program |
| python313Packages.autocommand | Autocommand turns a python function into a CLI program |
| python314Packages.autocommand | Autocommand turns a python function into a CLI program |
| haskellPackages.happraise | A small program for counting the comments in haskell source |
| python312Packages.cffconvert | Command line program to validate and convert CITATION.cff files |
| haskellPackages.cabal-progdeps | Show dependencies of program being built in current directory |
| python313Packages.scenedetect | Python and OpenCV-based scene cut/transition detection program & library |
| python314Packages.scenedetect | Python and OpenCV-based scene cut/transition detection program & library |
| perl540Packages.TestRunValgrind | Tests that an external program is valgrind-clean |
| perl538Packages.TestRunValgrind | Tests that an external program is valgrind-clean |
| haskellPackages.DrIFT-cabalized | Program to derive type class instances |
| atomicparsley | CLI program for reading, parsing and setting metadata into MPEG-4 files |
| haskellPackages.egison-tutorial | A tutorial program for the Egison programming language |
| haskellPackages.mcmc-synthesis | MCMC applied to probabilistic program synthesis |
| locate-dominating-file | Program that looks up in a directory hierarchy for a given filename |
| haskellPackages.update-nix-fetchgit | A program to update fetchgit values in Nix expressions |
| python312Packages.autocommand | Autocommand turns a python function into a CLI program |
| python312Packages.scenedetect | Python and OpenCV-based scene cut/transition detection program & library |
| soundtracker | Music tracking tool similar in design to the DOS program FastTracker and the Amiga legend ProTracker |
| haskellPackages.hasql-streams-example | An example program that shows how to use Hasql streams with Rel8 |
| influxdb2-token-manipulator | Utility program to manipulate influxdb api tokens for declarative setups |
| haskellPackages.executable-hash | Provides the SHA1 hash of the program executable |
| haskellPackages.Agda-executable | Command-line program for type-checking and compiling Agda programs |
| perlPackages.StringToIdentifierEN | Convert Strings to English Program Identifiers |
| perceptualdiff | Program that compares two images using a perceptually based image metric |
| texlivePackages.hvpygmentex | Syntax-Highlighting of program code |
| perl5Packages.StringToIdentifierEN | Convert Strings to English Program Identifiers |
| kdePackages.isoimagewriter | Program to write hybrid ISO files onto USB disks |
| haskellPackages.postgresql-config | Types for easy adding postgresql configuration to your program |
| haskellPackages.rabocsv2qif | A library and program to create QIF files from Rabobank CSV exports |
| audiowaveform | C++ program to generate waveform data and render waveform images from audio files |
| haskellPackages.HaskellAnalysisProgram | Haskell source code analysis program |
| perl538Packages.StringToIdentifierEN | Convert Strings to English Program Identifiers |
| perl540Packages.StringToIdentifierEN | Convert Strings to English Program Identifiers |
| python313Packages.aio-geojson-usgs-earthquakes | Module for accessing the U.S. Geological Survey Earthquake Hazards Program feeds |
| python314Packages.aio-geojson-usgs-earthquakes | Module for accessing the U.S. Geological Survey Earthquake Hazards Program feeds |
| texlivePackages.memorygraphs | TikZ styles to typeset graphs of program memory |
| haskellPackages.multiplicity | Wrapper program for duplicity, adding config files |
| openorienteering-mapper | Orienteering mapmaking program |
| haskellPackages.textmatetags | A simple Haskell program to provide tags for Haskell code completion in TextMate |
| haskellPackages.lambdacube-compiler | LambdaCube 3D is a DSL to program GPUs |
| chickenPackages_5.chickenEggs.svnwiki2html | A program to convert svnwiki syntax to HTML |
| haskellPackages.reflex-dom-fragment-shader-canvas | A reflex-dom widget to draw on a canvas with a fragment shader program |
| jpegexiforient | Utility program to get and set the Exif Orientation Tag |
| python312Packages.aio-geojson-usgs-earthquakes | Module for accessing the U.S. Geological Survey Earthquake Hazards Program feeds |
| haskellPackages.functor-combinators | Tools for functor combinator-based program design |
| haskellPackages.visual-graphrewrite | Visualize the graph-rewrite steps of a Haskell program |
| haskellPackages.stackcollapse-ghc | Program to fold GHC prof files into flamegraph input |
| haskellPackages.Holumbus-Distribution | intra- and inter-program communication |
| haskellPackages.puppetresources | A program that displays the puppet resources associated to a node given .pp files. |
| haskellPackages.dresdner-verkehrsbetriebe | Library and program for querying DVB (Dresdner Verkehrsbetriebe AG) |
| hare | Systems programming language designed to be simple, stable, and robust |
| hareThirdParty.hare-ev | Event loop for Hare programs |
| gren | Programming language for simple and correct applications |
| node-red | Low-code programming for event-driven applications |
| kdePackages.kturtle | Educational programming environment that uses TurtleSpeak |
| limitcpu | Tool to throttle the CPU usage of programs |
| kdePackages.ktimer | Little tool to execute programs after some time |
| kdePackages.kapptemplate | Factory for the easy creation of KDE/Qt components and programs |
| base16-builder | Base16 Builder is a nimble command-line tool that generates themes for your favourite programs. |
| devede | DVD Creator for Linux |
| gtree | Generate directory trees and directories using Markdown or programmatically |
| rmapi | Go app that allows access to the ReMarkable Cloud API programmatically |
| napalm | Network Automation and Programmability Abstraction Layer with Multivendor support |
| copygen | Command-line and programmatic Go code generator that generates custom type-based code |
| go_1_23 | Go Programming language |
| tinyprog | Programmer for FPGA boards using the TinyFPGA USB Bootloader |
| python314Packages.napalm | Network Automation and Programmability Abstraction Layer with Multivendor support |
| python313Packages.napalm | Network Automation and Programmability Abstraction Layer with Multivendor support |
| python312Packages.napalm | Network Automation and Programmability Abstraction Layer with Multivendor support |
| python312Packages.bsddb3 | Python bindings for Oracle Berkeley DB |
| python313Packages.bsddb3 | Python bindings for Oracle Berkeley DB |
| httpy-cli | Modern, user-friendly, programmable command-line HTTP client for the API |
| go | Go Programming language |
| oak | Expressive, simple, dynamic programming language |
| python313Packages.berkeleydb | Python bindings for Oracle Berkeley DB |
| python314Packages.berkeleydb | Python bindings for Oracle Berkeley DB |
| go_1_25 | Go Programming language |
| c-for-go | Automatic C-Go Bindings Generator for the Go Programming Language |
| python313Packages.mscerts | Makes the Microsoft Trusted Root Program's Certificate Trust Lists available in Python |
| python314Packages.mscerts | Makes the Microsoft Trusted Root Program's Certificate Trust Lists available in Python |
| go_1_26 | Go Programming language |
| enry | Programming language detector based on go-enry/go-enry/v2 library |
| go_1_24 | Go Programming language |
| delve | Debugger for the Go programming language |
| leaps | Pair programming tool and library written in Golang |
| python312Packages.berkeleydb | Python bindings for Oracle Berkeley DB |
| wuffs | memory-safe programming language and standard library for wrangling untrusted data |
| apache-airflow | Platform to programmatically author, schedule and monitor workflows |
| go_latest | Go Programming language |
| python312Packages.mscerts | Makes the Microsoft Trusted Root Program's Certificate Trust Lists available in Python |
| executor | Programmer friendly subprocess wrapper |
| mockgen | Mocking framework for the Go programming language |
| gocode-gomod | Autocompletion daemon for the Go programming language |
| python313Packages.pyutil | Collection of mature utilities for Python programmers |
| python314Packages.pyutil | Collection of mature utilities for Python programmers |
| python313Packages.junos-eznc | Junos 'EZ' automation for non-programmers |
| python314Packages.junos-eznc | Junos 'EZ' automation for non-programmers |
| python312Packages.pyutil | Collection of mature utilities for Python programmers |
| python313Packages.genanki | Generate Anki decks programmatically |
| python314Packages.genanki | Generate Anki decks programmatically |
| reviewdog | Automated code review tool integrated with any code analysis tools regardless of programming language |
| python312Packages.junos-eznc | Junos 'EZ' automation for non-programmers |
| python313Packages.drawsvg | Programmatically generate SVG (vector) images, animations, and interactive Jupyter widgets |
| python313Packages.alexapy | Python Package for controlling Alexa devices (echo dot, etc) programmatically |
| python314Packages.alexapy | Python Package for controlling Alexa devices (echo dot, etc) programmatically |
| python314Packages.drawsvg | Programmatically generate SVG (vector) images, animations, and interactive Jupyter widgets |
| python313Packages.docling-parse | Simple package to extract text with coordinates from programmatic PDFs |
| python314Packages.docling-parse | Simple package to extract text with coordinates from programmatic PDFs |
| python313Packages.asgi-lifespan | Programmatic startup/shutdown of ASGI apps |
| python314Packages.asgi-lifespan | Programmatic startup/shutdown of ASGI apps |
| python313Packages.mkdocs-gen-files | MkDocs plugin to programmatically generate documentation pages during the build |
| python314Packages.mkdocs-gen-files | MkDocs plugin to programmatically generate documentation pages during the build |
| python313Packages.python-editor | Library that provides the `editor` module for programmatically |
| python314Packages.python-editor | Library that provides the `editor` module for programmatically |
| python313Packages.python-bsblan | Module to control and monitor an BSBLan device programmatically |
| python314Packages.python-bsblan | Module to control and monitor an BSBLan device programmatically |
| python312Packages.genanki | Generate Anki decks programmatically |
| python314Packages.pyiceberg | Python library for programmatic access to Apache Iceberg |
| python313Packages.pyiceberg | Python library for programmatic access to Apache Iceberg |
| python313Packages.mechanize | Stateful programmatic web browsing in Python |
| python314Packages.mechanize | Stateful programmatic web browsing in Python |
| play | TUI playground for programs like grep, sed and awk |
| ahoy | Create self-documenting cli programs from YAML files |
| python312Packages.alexapy | Python Package for controlling Alexa devices (echo dot, etc) programmatically |
| python312Packages.drawsvg | Programmatically generate SVG (vector) images, animations, and interactive Jupyter widgets |
| python313Packages.apcaccess | Library offers programmatic access to the status information provided by apcupsd over its Network Information Server |
| python314Packages.apcaccess | Library offers programmatic access to the status information provided by apcupsd over its Network Information Server |
| python312Packages.docling-parse | Simple package to extract text with coordinates from programmatic PDFs |
| python313Packages.apollo-fpga | Microcontroller-based FPGA / JTAG programmer |
| python314Packages.apollo-fpga | Microcontroller-based FPGA / JTAG programmer |
| python312Packages.asgi-lifespan | Programmatic startup/shutdown of ASGI apps |
| python312Packages.mkdocs-gen-files | MkDocs plugin to programmatically generate documentation pages during the build |
| python312Packages.python-editor | Library that provides the `editor` module for programmatically |
| python312Packages.python-bsblan | Module to control and monitor an BSBLan device programmatically |
| python313Packages.automat | Self-service finite-state machines for the programmer on the go |
| python314Packages.automat | Self-service finite-state machines for the programmer on the go |
| python312Packages.pyiceberg | Python library for programmatic access to Apache Iceberg |
| python312Packages.mechanize | Stateful programmatic web browsing in Python |
| pulumi | Cloud development platform that makes creating cloud programs easy and productive |
| python313Packages.busylight-core | Library for interacting programmatically with USB-connected LED lights |
| python314Packages.busylight-core | Library for interacting programmatically with USB-connected LED lights |
| python312Packages.apcaccess | Library offers programmatic access to the status information provided by apcupsd over its Network Information Server |
| python313Packages.executor | Programmer friendly subprocess wrapper |
| python314Packages.executor | Programmer friendly subprocess wrapper |
| python312Packages.apollo-fpga | Microcontroller-based FPGA / JTAG programmer |
| python312Packages.automat | Self-service finite-state machines for the programmer on the go |
| errcheck | Checks for unchecked errors in go programs |
| python312Packages.busylight-core | Library for interacting programmatically with USB-connected LED lights |
| tf2pulumi | Convert Terraform projects to Pulumi TypeScript programs |
| python312Packages.executor | Programmer friendly subprocess wrapper |
| pulumiPackages.pulumi-go | Language host for Pulumi programs written in Go |
| pulumiPackages.pulumi-python | Language host for Pulumi programs written in Python |
| pulumiPackages.pulumi-nodejs | Language host for Pulumi programs written in TypeScript & JavaScript (Node.js) |
| betteralign | Make your Go programs use less memory (maybe) |
| python313Packages.zope-testbrowser | Programmable browser for functional black-box tests |
| python314Packages.zope-testbrowser | Programmable browser for functional black-box tests |
| docker-credential-helpers | Suite of programs to use native stores to keep Docker credentials safe |
| python312Packages.zope-testbrowser | Programmable browser for functional black-box tests |
| python313Packages.lazr-restfulclient | Programmable client library that takes advantage of the commonalities among |
| python314Packages.lazr-restfulclient | Programmable client library that takes advantage of the commonalities among |
| python312Packages.lazr-restfulclient | Programmable client library that takes advantage of the commonalities among |
| lexy | Lightweight CLI tool that fetches programming tutorials from "Learn X in Y Minutes" directly into your terminal |
| pyocd | Python library for programming and debugging Arm Cortex-M microcontrollers |
| python313Packages.cython_0 | Optimising static compiler for both the Python programming language and the extended Cython programming language |
| python314Packages.cython_0 | Optimising static compiler for both the Python programming language and the extended Cython programming language |
| opshin | Simple pythonic programming language for Smart Contracts on Cardano |
| aider-chat | AI pair programming in your terminal |
| python312Packages.cython_0 | Optimising static compiler for both the Python programming language and the extended Cython programming language |
| python3 | High-level dynamically-typed programming language |
| aider-chat-with-help | AI pair programming in your terminal |
| coconut | Simple, elegant, Pythonic functional programming |
| python313 | High-level dynamically-typed programming language |
| badchars | HEX badchar generator for different programming languages |
| python314 | High-level dynamically-typed programming language |
| python315 | High-level dynamically-typed programming language |
| aider-chat-with-bedrock | AI pair programming in your terminal |
| aider-chat-with-browser | AI pair programming in your terminal |
| python310 | High-level dynamically-typed programming language |
| python312 | High-level dynamically-typed programming language |
| python311 | High-level dynamically-typed programming language |
| python313Packages.piqp | Proximal Interior Point Quadratic Programming solver |
| python313Packages.daqp | Dual active-set algorithm for convex quadratic programming |
| python314Packages.piqp | Proximal Interior Point Quadratic Programming solver |
| python314Packages.daqp | Dual active-set algorithm for convex quadratic programming |
| python313Packages.oryx | Library for probabilistic programming and deep learning built on top of Jax |
| python314Packages.oryx | Library for probabilistic programming and deep learning built on top of Jax |
| python313Packages.param | Declarative Python programming using Parameters |
| python314Packages.param | Declarative Python programming using Parameters |
| python313Packages.pyocd | Python library for programming and debugging Arm Cortex-M microcontrollers |
| python314Packages.pyocd | Python library for programming and debugging Arm Cortex-M microcontrollers |
| python3Minimal | High-level dynamically-typed programming language |
| mailmanPackages.python3 | High-level dynamically-typed programming language |
| buildbotPackages.python | High-level dynamically-typed programming language |
| python313Packages.funsor | Functional tensors for probabilistic programming |
| python314Packages.funsor | Functional tensors for probabilistic programming |
| mopidyPackages.python | High-level dynamically-typed programming language |
| python313Packages.aws-xray-sdk | AWS X-Ray SDK for the Python programming language |
| python314Packages.aws-xray-sdk | AWS X-Ray SDK for the Python programming language |
| python313Packages.hyrule | Utility library for the Hy programming language |
| python314Packages.hyrule | Utility library for the Hy programming language |
| jupyter | High-level dynamically-typed programming language |
| python313Packages.guppy3 | Python Programming Environment & Heap analysis toolset |
| python313Packages.edward | Probabilistic programming language using Tensorflow |
| python314Packages.guppy3 | Python Programming Environment & Heap analysis toolset |
| python314Packages.edward | Probabilistic programming language using Tensorflow |
| tockloader | Tool for programming Tock onto hardware boards |
| python313Packages.amarna | Static-analyzer and linter for the Cairo programming language |
| python314Packages.amarna | Static-analyzer and linter for the Cairo programming language |
| jupyter-all | High-level dynamically-typed programming language |
| python312Packages.daqp | Dual active-set algorithm for convex quadratic programming |
| python312Packages.piqp | Proximal Interior Point Quadratic Programming solver |
| python313Packages.cython | Optimising static compiler for both the Python and the extended Cython programming languages |
| python314Packages.cython | Optimising static compiler for both the Python and the extended Cython programming languages |
| python312Packages.python | High-level dynamically-typed programming language |
| python313Packages.python | High-level dynamically-typed programming language |
| python314Packages.python | High-level dynamically-typed programming language |
| python312Packages.oryx | Library for probabilistic programming and deep learning built on top of Jax |
| python312Packages.param | Declarative Python programming using Parameters |
| python313Packages.numpyro | Library for probabilistic programming with NumPy |
| python314Packages.numpyro | Library for probabilistic programming with NumPy |
| python312Packages.pyocd | Python library for programming and debugging Arm Cortex-M microcontrollers |
| python313Packages.coconut | Simple, elegant, Pythonic functional programming |
| python314Packages.coconut | Simple, elegant, Pythonic functional programming |
| python313Packages.easygui | Very simple, very easy GUI programming in Python |
| python314Packages.easygui | Very simple, very easy GUI programming in Python |
| python313Packages.generic | Generic programming (Multiple dispatch) library for Python |
| python314Packages.generic | Generic programming (Multiple dispatch) library for Python |
| online-judge-verify-helper | Testing framework for snippet libraries used in competitive programming |
| python313Packages.pluthon | Pluto-like programming language for Cardano Smart Contracts in Python |
| python314Packages.pluthon | Pluto-like programming language for Cardano Smart Contracts in Python |
| python312Packages.funsor | Functional tensors for probabilistic programming |
| python313Packages.zebrafy | Python library for converting PDF and images to and from Zebra Programming Language |
| python314Packages.zebrafy | Python library for converting PDF and images to and from Zebra Programming Language |
| python312Packages.aws-xray-sdk | AWS X-Ray SDK for the Python programming language |
| python313Packages.curio-compat | Coroutine-based library for concurrent systems programming |
| python314Packages.curio-compat | Coroutine-based library for concurrent systems programming |
| python312Packages.hyrule | Utility library for the Hy programming language |
| python312Packages.cython | Optimising static compiler for both the Python and the extended Cython programming languages |
| python312Packages.edward | Probabilistic programming language using Tensorflow |
| python312Packages.amarna | Static-analyzer and linter for the Cairo programming language |
| python312Packages.guppy3 | Python Programming Environment & Heap analysis toolset |
| python313FreeThreading | High-level dynamically-typed programming language |
| python314FreeThreading | High-level dynamically-typed programming language |
| python315FreeThreading | High-level dynamically-typed programming language |
| python313Packages.quadprog | Quadratic Programming Solver |
| python314Packages.quadprog | Quadratic Programming Solver |
| python313Packages.pex-entysec | Collection of special tools for providing high quality penetration testing using pure python programming language |
| python313Packages.psycopg2 | PostgreSQL database adapter for the Python programming language |
| python314Packages.pex-entysec | Collection of special tools for providing high quality penetration testing using pure python programming language |
| python314Packages.psycopg2 | PostgreSQL database adapter for the Python programming language |
| python313Packages.greenlet | Module for lightweight in-process concurrent programming |
| python313Packages.samarium | Samarium Programming Language |
| python314Packages.greenlet | Module for lightweight in-process concurrent programming |
| python314Packages.samarium | Samarium Programming Language |
| python312Packages.numpyro | Library for probabilistic programming with NumPy |
| python312Packages.coconut | Simple, elegant, Pythonic functional programming |
| python312Packages.easygui | Very simple, very easy GUI programming in Python |
| aider-chat-full | AI pair programming in your terminal |
| python312Packages.generic | Generic programming (Multiple dispatch) library for Python |
| aider-chat-with-playwright | AI pair programming in your terminal |
| python312Packages.pluthon | Pluto-like programming language for Cardano Smart Contracts in Python |
| python312Packages.zebrafy | Python library for converting PDF and images to and from Zebra Programming Language |
| python312Packages.curio-compat | Coroutine-based library for concurrent systems programming |
| python312Packages.quadprog | Quadratic Programming Solver |
| python312Packages.samarium | Samarium Programming Language |
| python313Packages.qpsolvers | Quadratic programming solvers in Python with a unified API |
| python313Packages.sharedmem | Easier parallel programming on shared memory computers |
| python314Packages.dissect-target | Dissect module that provides a programming API and command line tools |
| python314Packages.sharedmem | Easier parallel programming on shared memory computers |
| python314Packages.qpsolvers | Quadratic programming solvers in Python with a unified API |
| python312Packages.psycopg2 | PostgreSQL database adapter for the Python programming language |
| python312Packages.greenlet | Module for lightweight in-process concurrent programming |
| python313Packages.aspectlib | Aspect-oriented programming, monkey-patch and decorators library |
| python314Packages.aspectlib | Aspect-oriented programming, monkey-patch and decorators library |
| python313Packages.psycopg2-binary | PostgreSQL database adapter for the Python programming language |
| python314Packages.psycopg2-binary | PostgreSQL database adapter for the Python programming language |
| python313Packages.online-judge-api-client | API client to develop tools for competitive programming |
| python314Packages.online-judge-api-client | API client to develop tools for competitive programming |
| python313Packages.dissect-target | Dissect module that provides a programming API and command line tools |
| python313Packages.minikanren | Relational programming in Python |
| python314Packages.minikanren | Relational programming in Python |
| python313Packages.strategies | Python library for control flow programming |
| python314Packages.strategies | Python library for control flow programming |
| python312Packages.dissect-target | Dissect module that provides a programming API and command line tools |
| python312Packages.qpsolvers | Quadratic programming solvers in Python with a unified API |
| python312Packages.sharedmem | Easier parallel programming on shared memory computers |
| python312Packages.aspectlib | Aspect-oriented programming, monkey-patch and decorators library |
| python313Packages.property-manager | Useful property variants for Python programming |
| python314Packages.property-manager | Useful property variants for Python programming |
| python313Packages.repl-python-wakatime | Python REPL plugin for automatic time tracking and metrics generated from your programming activity |
| python314Packages.repl-python-wakatime | Python REPL plugin for automatic time tracking and metrics generated from your programming activity |
| python312Packages.psycopg2-binary | PostgreSQL database adapter for the Python programming language |
| python312Packages.online-judge-api-client | API client to develop tools for competitive programming |
| python313Packages.online-judge-verify-helper | Testing framework for snippet libraries used in competitive programming |
| griffe | Signatures for entire Python programs |
| python314Packages.online-judge-verify-helper | Testing framework for snippet libraries used in competitive programming |
| python312Packages.minikanren | Relational programming in Python |
| python312Packages.strategies | Python library for control flow programming |
| mpy-utils | MicroPython development utility programs |
| online-judge-template-generator | Analyze problems of competitive programming and automatically generate boilerplate |
| python313Packages.py4j | Py4J enables Python programs running in a Python interpreter to dynamically access Java objects in a Java Virtual Machine. Methods are called as if the Java objects resided in the Python interpreter and Java collections can be accessed through standard Python collection methods. Py4J also enables Java programs to call back Python objects |
| python314Packages.py4j | Py4J enables Python programs running in a Python interpreter to dynamically access Java objects in a Java Virtual Machine. Methods are called as if the Java objects resided in the Python interpreter and Java collections can be accessed through standard Python collection methods. Py4J also enables Java programs to call back Python objects |
| python312Packages.property-manager | Useful property variants for Python programming |
| python312Packages.repl-python-wakatime | Python REPL plugin for automatic time tracking and metrics generated from your programming activity |
| python312Packages.online-judge-verify-helper | Testing framework for snippet libraries used in competitive programming |
| bashate | Style enforcement for bash programs |
| python313Packages.pyfunctional | Python library for creating data pipelines with chain functional programming |
| python314Packages.pyfunctional | Python library for creating data pipelines with chain functional programming |
| python312Packages.py4j | Py4J enables Python programs running in a Python interpreter to dynamically access Java objects in a Java Virtual Machine. Methods are called as if the Java objects resided in the Python interpreter and Java collections can be accessed through standard Python collection methods. Py4J also enables Java programs to call back Python objects |
| crudini | Utility for manipulating ini files |
| python312Packages.pyfunctional | Python library for creating data pipelines with chain functional programming |
| python313Packages.explorerscript | Programming language + compiler/decompiler for creating scripts for Pokémon Mystery Dungeon Explorers of Sky |
| python314Packages.explorerscript | Programming language + compiler/decompiler for creating scripts for Pokémon Mystery Dungeon Explorers of Sky |
| python312Packages.explorerscript | Programming language + compiler/decompiler for creating scripts for Pokémon Mystery Dungeon Explorers of Sky |
| seashells | Pipe command-line programs to seashells.io |
| python313Packages.llm-jq | Write and execute jq programs with the help of LLM |
| python313Packages.mip | Collection of Python tools for the modeling and solution of Mixed-Integer Linear programs (MIPs) |
| python314Packages.llm-jq | Write and execute jq programs with the help of LLM |
| python314Packages.mip | Collection of Python tools for the modeling and solution of Mixed-Integer Linear programs (MIPs) |
| python313Packages.xlib | Fully functional X client library for Python programs |
| python314Packages.xlib | Fully functional X client library for Python programs |
| python313Packages.quil | Python package for building and parsing Quil programs |
| python314Packages.quil | Python package for building and parsing Quil programs |
| python313Packages.bubop | Bergercookie's Useful Bits Of Python; helper libraries for Bergercookie's programs |
| python313Packages.tubes | Data-processing and flow-control engine for event-driven programs |
| python314Packages.bubop | Bergercookie's Useful Bits Of Python; helper libraries for Bergercookie's programs |
| python314Packages.tubes | Data-processing and flow-control engine for event-driven programs |
| python313Packages.miss-hit | Static analysis and other utilities for programs written in the MATLAB/Simulink and Octave languages |
| python314Packages.miss-hit | Static analysis and other utilities for programs written in the MATLAB/Simulink and Octave languages |
| python313Packages.griffe | Signatures for entire Python programs |
| python314Packages.griffe | Signatures for entire Python programs |
| python313Packages.qiskit | Software for developing quantum computing programs |
| python314Packages.qiskit | Software for developing quantum computing programs |
| python312Packages.mip | Collection of Python tools for the modeling and solution of Mixed-Integer Linear programs (MIPs) |
| python312Packages.llm-jq | Write and execute jq programs with the help of LLM |
| python313Packages.miss-hit-core | Code formatting and code metrics for programs written in the MATLAB/Simulink and Octave languages |
| python313Packages.pyquil | Python library for creating Quantum Instruction Language (Quil) programs |
| python314Packages.miss-hit-core | Code formatting and code metrics for programs written in the MATLAB/Simulink and Octave languages |
| python314Packages.pyquil | Python library for creating Quantum Instruction Language (Quil) programs |
| python313Packages.deepl | Language translation API that allows other computer programs to send texts and documents to DeepL's servers and receive high-quality translations |
| python314Packages.deepl | Language translation API that allows other computer programs to send texts and documents to DeepL's servers and receive high-quality translations |
| python312Packages.xlib | Fully functional X client library for Python programs |
| python312Packages.quil | Python package for building and parsing Quil programs |
| python312Packages.miss-hit | Static analysis and other utilities for programs written in the MATLAB/Simulink and Octave languages |
| python312Packages.bubop | Bergercookie's Useful Bits Of Python; helper libraries for Bergercookie's programs |
| python312Packages.tubes | Data-processing and flow-control engine for event-driven programs |
| python313Packages.vulture | Finds unused code in Python programs |
| python314Packages.vulture | Finds unused code in Python programs |
| python313Packages.mitogen | Python Library for writing distributed self-replicating programs |
| python314Packages.mitogen | Python Library for writing distributed self-replicating programs |
| python312Packages.qiskit | Software for developing quantum computing programs |
| python312Packages.griffe | Signatures for entire Python programs |
| python313Packages.quart-schema | Create subcommand-based CLI programs with docopt |
| python314Packages.quart-schema | Create subcommand-based CLI programs with docopt |
| python312Packages.miss-hit-core | Code formatting and code metrics for programs written in the MATLAB/Simulink and Octave languages |
| python312Packages.deepl | Language translation API that allows other computer programs to send texts and documents to DeepL's servers and receive high-quality translations |
| python312Packages.pyquil | Python library for creating Quantum Instruction Language (Quil) programs |
| python313Packages.qiskit-nature | Software for developing quantum computing programs |
| python314Packages.qiskit-nature | Software for developing quantum computing programs |
| python312Packages.vulture | Finds unused code in Python programs |
| python313Packages.async-timeout | Timeout context manager for asyncio programs |
| python314Packages.async-timeout | Timeout context manager for asyncio programs |
| python313Packages.os-client-config | Unified config handling for client libraries and programs |
| python314Packages.os-client-config | Unified config handling for client libraries and programs |
| python312Packages.mitogen | Python Library for writing distributed self-replicating programs |
| python313Packages.qiskit-finance | Software for developing quantum computing programs |
| python314Packages.qiskit-finance | Software for developing quantum computing programs |
| python312Packages.quart-schema | Create subcommand-based CLI programs with docopt |
| python312Packages.qiskit-nature | Software for developing quantum computing programs |
| python313Packages.reactivex | Library for composing asynchronous and event-based programs |
| python314Packages.reactivex | Library for composing asynchronous and event-based programs |
| python312Packages.async-timeout | Timeout context manager for asyncio programs |
| python312Packages.os-client-config | Unified config handling for client libraries and programs |
| python312Packages.qiskit-finance | Software for developing quantum computing programs |
| python312Packages.reactivex | Library for composing asynchronous and event-based programs |
| python313Packages.debuglater | Module for post-mortem debugging of Python programs |
| python314Packages.debuglater | Module for post-mortem debugging of Python programs |
| python313Packages.mypy-extensions | Experimental type system extensions for programs checked with the mypy typechecker |
| python314Packages.mypy-extensions | Experimental type system extensions for programs checked with the mypy typechecker |
| python312Packages.debuglater | Module for post-mortem debugging of Python programs |
| python313Packages.qiskit-machine-learning | Software for developing quantum computing programs |
| python314Packages.qiskit-machine-learning | Software for developing quantum computing programs |
| python312Packages.mypy-extensions | Experimental type system extensions for programs checked with the mypy typechecker |
| python312Packages.qiskit-machine-learning | Software for developing quantum computing programs |
| python313Packages.pythondialog | Python interface to the UNIX dialog utility and mostly-compatible programs |
| python314Packages.pythondialog | Python interface to the UNIX dialog utility and mostly-compatible programs |
| python313Packages.docopt-subcommands | Create subcommand-based CLI programs with docopt |
| python313Packages.hypothesmith | Hypothesis strategies for generating Python programs, something like CSmith |
| python314Packages.hypothesmith | Hypothesis strategies for generating Python programs, something like CSmith |
| python314Packages.docopt-subcommands | Create subcommand-based CLI programs with docopt |
| python312Packages.pythondialog | Python interface to the UNIX dialog utility and mostly-compatible programs |
| python312Packages.docopt-subcommands | Create subcommand-based CLI programs with docopt |
| python312Packages.hypothesmith | Hypothesis strategies for generating Python programs, something like CSmith |
| python313Packages.qiskit-optimization | Software for developing quantum computing programs |
| python314Packages.qiskit-optimization | Software for developing quantum computing programs |
| python312Packages.qiskit-optimization | Software for developing quantum computing programs |
| python312Full | High-level dynamically-typed programming language |
| python3Full | High-level dynamically-typed programming language |
| python313Full | High-level dynamically-typed programming language |
| python314Full | High-level dynamically-typed programming language |
| python310Full | High-level dynamically-typed programming language |
| python311Full | High-level dynamically-typed programming language |
| sourcehut.python | High-level dynamically-typed programming language |
| python312Packages.aider-chat | AI pair programming in your terminal |
| python313Packages.aider-chat | AI pair programming in your terminal |
| racket | Programmable programming language |
| easypdkprog | Read, write and execute programs on PADAUK microcontroller |
| pc | Programmer's calculator |
| egypt | Tool for making call graphs of C programmes |
| pcalc | Programmer's calculator |
| libpq | C application programmer's interface to PostgreSQL |
| jedit | Programmer's text editor written in Java |
| dnote | Simple command line notebook for programmers |
| jed | Programmable text editor written around S-Lang |
| xconq | Programmable turn-based strategy game |
| pqiv | Powerful image viewer with minimal UI |
| wch-isp | Firmware programmer for WCH microcontrollers over USB |
| ztools | Essential set of Z-machine tools for interpreter authors, experienced Inform programmers, and Z-code hackers |
| dfu-util | Device firmware update (DFU) USB programmer |
| imsprog | Free I2C EEPROM programmer tool for CH341A device |
| chickenPackages_5.chickenEggs.lazy-ffi | A foreign function interface for lazy programmers |
| bash-completion | Programmable completion for the bash shell |
| chickenPackages_5.chickenEggs.mistie | A programmable filter |
| chickenPackages_5.chickenEggs.compile-file | Programmatic compiler invocation |
| icon-lang | Very high level general-purpose programming language |
| luaPackages.moonscript | A programmer friendly language that compiles to Lua |
| zig_0_12 | General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software |
| lua55Packages.moonscript | A programmer friendly language that compiles to Lua |
| lua54Packages.moonscript | A programmer friendly language that compiles to Lua |
| lua53Packages.moonscript | A programmer friendly language that compiles to Lua |
| lua51Packages.moonscript | A programmer friendly language that compiles to Lua |
| lua52Packages.moonscript | A programmer friendly language that compiles to Lua |
| agdaPackages.generic | A library for doing generic programming in Agda |
| proxsuite-nlp | Primal-dual augmented Lagrangian solver for nonlinear programming on manifolds |
| beam26Packages.elixir_1_14 | Functional, meta-programming aware language built on top of the Erlang VM |
| beamMinimal26Packages.elixir_1_14 | Functional, meta-programming aware language built on top of the Erlang VM |
| python312Packages.proxsuite-nlp | Primal-dual augmented Lagrangian solver for nonlinear programming on manifolds |
| python313Packages.proxsuite-nlp | Primal-dual augmented Lagrangian solver for nonlinear programming on manifolds |
| tab | Programming language/shell calculator |
| c0 | Small safe subset of the C programming language, augmented with contracts |
| ols | Language server for the Odin programming language |
| alda | Music programming language for musicians |
| celf | Linear logic programming system |
| zig | General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software |
| osi | Abstract base class to a generic linear programming (LP) solver |
| ciao | General purpose, multi-paradigm programming language in the Prolog family |
| mawk | Interpreter for the AWK Programming Language |
| lamb | Tiny pure functional programming language in C |
| ats2 | Functional programming language with dependent types |
| odin | Fast, concise, readable, pragmatic and open sourced programming language |
| asio | Cross-platform C++ library for network and low-level I/O programming |
| colm | Programming language for the analysis and transformation of computer languages |
| nuweb | Simple literate programming tool |
| csdp | C Library for Semidefinite Programming |
| slang | Small, embeddable multi-platform programming library |
| alire | Source-based package manager for the Ada and SPARK programming languages |
| cemu-ti | Third-party TI-84 Plus CE / TI-83 Premium CE emulator, focused on developer features |
| chuck | Programming language for real-time sound synthesis and music creation |
| chirp | Free, open-source tool for programming your amateur radio |
| scalp | Scalable Linear Programming Library |
| zig-zlint | Linter for the Zig programming language |
| faust2 | Functional programming language for realtime audio signal processing |
| blisp | In-System-Programming (ISP) tool & library for Bouffalo Labs RISC-V Microcontrollers and SoCs |
| fleng | Low level concurrent logic programming language descended from Prolog |
| stlink | In-circuit debug and programming for ST-Link devices |
| bossa | Flash programming utility for Atmel's SAM family of flash-based ARM microcontrollers |
| xeus-cling | Jupyter kernel for the C++ programming language |
| coqPackages.ElmExtraction | A framework for extracting Coq programs to Elm |
| elixir | Functional, meta-programming aware language built on top of the Erlang VM |
| erlang | Programming language used for massively scalable soft real-time systems |
| stlink-gui | In-circuit debug and programming for ST-Link devices |
| kokkos | C++ Performance Portability Programming EcoSystem |
| coqPackages.RustExtraction | A framework for extracting Coq programs to Rust |
| ceptre | Linear logic programming language for modeling generative interactive systems |
| falcon | Programming language with macros and syntax at once |
| zig_0_15 | General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software |
| zig_0_14 | General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software |
| zig_0_13 | General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software |
| fennel-ls | Language server for intelligent editing of the Fennel Programming Language |
| lolcode | Esoteric programming language |
| bonmin | Open-source code for solving general MINLP (Mixed Integer NonLinear Programming) problems |
| zigPackages."0.14" | General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software |
| zigPackages."0.15" | General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software |
| zigPackages."0.13" | General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software |
| dtools | Ancillary tools for the D programming language |
| cwebbin | Literate Programming in C/C++ |
| faust | Functional programming language for realtime audio signal processing |
| asio_1_10 | Cross-platform C++ library for network and low-level I/O programming |
| ldns | Library with the aim of simplifying DNS programming in C |
| aspectj | Seamless aspect-oriented extension to the Java programming language |
| cedille | Interactive theorem-prover and dependently typed programming language, based on extrinsic (aka Curry-style) type theory |
| chicken | Portable compiler for the Scheme programming language |
| kubectl-kcl | Work with Kubernetes manifests using the KCL programming language |
| libcello | Higher level programming in C |
| erlang_27 | Programming language used for massively scalable soft real-time systems |
| erlang_28 | Programming language used for massively scalable soft real-time systems |
| erlang_26 | Programming language used for massively scalable soft real-time systems |
| skribilo | Ultimate Document Programming Framework |
| literate | Literate programming tool for any language |
| taskflow | General-purpose Parallel and Heterogeneous Task Programming System |
| lp_solve | Mixed Integer Linear Programming (MILP) solver |
| minilibx | Simple X-Window (X11R6) programming API in C |
| heptagon | Compiler for the Heptagon/BZR synchronous programming language |
| faust2sc | The faust2sc.py script, part of faust functional programming language for realtime audio signal processing |
| erlang_29 | Programming language used for massively scalable soft real-time systems |
| asio_1_36_0 | Cross-platform C++ library for network and low-level I/O programming |
| asio_1_32_0 | Cross-platform C++ library for network and low-level I/O programming |
| bossa-arduino | Flash programming utility for Atmel's SAM family of flash-based ARM microcontrollers |
| elixir_1_18 | Functional, meta-programming aware language built on top of the Erlang VM |
| elixir_1_15 | Functional, meta-programming aware language built on top of the Erlang VM |
| elixir_1_16 | Functional, meta-programming aware language built on top of the Erlang VM |
| elixir_1_19 | Functional, meta-programming aware language built on top of the Erlang VM |
| elixir_1_17 | Functional, meta-programming aware language built on top of the Erlang VM |
| beam27Packages.elixir | Functional, meta-programming aware language built on top of the Erlang VM |
| beam28Packages.elixir | Functional, meta-programming aware language built on top of the Erlang VM |
| beam26Packages.elixir | Functional, meta-programming aware language built on top of the Erlang VM |
| bicpl | Brain Imaging Centre programming library |
| faust2lv2 | The faust2lv2 script, part of faust functional programming language for realtime audio signal processing |
| agdaPackages.agda-prelude | Programming library for Agda |
| beam28Packages.erlang | Programming language used for massively scalable soft real-time systems |
| beam26Packages.erlang | Programming language used for massively scalable soft real-time systems |
| beam27Packages.erlang | Programming language used for massively scalable soft real-time systems |
| chickenPackages_5.chicken | Portable compiler for the Scheme programming language |
| agdaPackages.generics | Library for datatype-generic programming in Agda |
| beamMinimal28Packages.elixir | Functional, meta-programming aware language built on top of the Erlang VM |
| beamMinimal27Packages.elixir | Functional, meta-programming aware language built on top of the Erlang VM |
| beamMinimal26Packages.elixir | Functional, meta-programming aware language built on top of the Erlang VM |
| beamMinimal26Packages.erlang | Programming language used for massively scalable soft real-time systems |
| beamMinimal28Packages.erlang | Programming language used for massively scalable soft real-time systems |
| beamMinimal27Packages.erlang | Programming language used for massively scalable soft real-time systems |
| faust2alqt | The faust2alqt script, part of faust functional programming language for realtime audio signal processing |
| faust2alsa | The faust2alsa script, part of faust functional programming language for realtime audio signal processing |
| faust2jaqt | The faust2jaqt script, part of faust functional programming language for realtime audio signal processing |
| faust2jack | The faust2jack script, part of faust functional programming language for realtime audio signal processing |
| shibboleth-sp | Enables SSO and Federation web applications written with any programming language or framework |
| chickenPackages_5.chickenEggs.pyffi | An interface to the Python programming language. |
| beam28Packages.elixir_1_18 | Functional, meta-programming aware language built on top of the Erlang VM |
| beam26Packages.elixir_1_18 | Functional, meta-programming aware language built on top of the Erlang VM |
| beam27Packages.elixir_1_18 | Functional, meta-programming aware language built on top of the Erlang VM |
| beam27Packages.elixir_1_19 | Functional, meta-programming aware language built on top of the Erlang VM |
| beam27Packages.elixir_1_17 | Functional, meta-programming aware language built on top of the Erlang VM |
| beam28Packages.elixir_1_19 | Functional, meta-programming aware language built on top of the Erlang VM |
| beam26Packages.elixir_1_17 | Functional, meta-programming aware language built on top of the Erlang VM |
| beam28Packages.elixir_1_20 | Functional, meta-programming aware language built on top of the Erlang VM |
| beam26Packages.elixir_1_15 | Functional, meta-programming aware language built on top of the Erlang VM |
| beam26Packages.elixir_1_16 | Functional, meta-programming aware language built on top of the Erlang VM |
| beam26Packages.elixir_1_20 | Functional, meta-programming aware language built on top of the Erlang VM |
| beam27Packages.elixir_1_20 | Functional, meta-programming aware language built on top of the Erlang VM |
| beam26Packages.elixir_1_19 | Functional, meta-programming aware language built on top of the Erlang VM |
| beamMinimal26Packages.elixir_1_18 | Functional, meta-programming aware language built on top of the Erlang VM |
| beamMinimal28Packages.elixir_1_18 | Functional, meta-programming aware language built on top of the Erlang VM |
| beamMinimal27Packages.elixir_1_18 | Functional, meta-programming aware language built on top of the Erlang VM |
| beamMinimal28Packages.elixir_1_20 | Functional, meta-programming aware language built on top of the Erlang VM |
| beamMinimal26Packages.elixir_1_16 | Functional, meta-programming aware language built on top of the Erlang VM |
| beamMinimal26Packages.elixir_1_17 | Functional, meta-programming aware language built on top of the Erlang VM |
| beamMinimal28Packages.elixir_1_19 | Functional, meta-programming aware language built on top of the Erlang VM |
| beamMinimal26Packages.elixir_1_19 | Functional, meta-programming aware language built on top of the Erlang VM |
| beamMinimal26Packages.elixir_1_15 | Functional, meta-programming aware language built on top of the Erlang VM |
| beamMinimal27Packages.elixir_1_20 | Functional, meta-programming aware language built on top of the Erlang VM |
| beamMinimal26Packages.elixir_1_20 | Functional, meta-programming aware language built on top of the Erlang VM |
| beamMinimal27Packages.elixir_1_19 | Functional, meta-programming aware language built on top of the Erlang VM |
| beamMinimal27Packages.elixir_1_17 | Functional, meta-programming aware language built on top of the Erlang VM |
| faust2csound | The faust2csound script, part of faust functional programming language for realtime audio signal processing |
| faust2ladspa | The faust2ladspa script, part of faust functional programming language for realtime audio signal processing |
| libfishsound | Simple programming interface for decoding and encoding audio data using Xiph.org codecs (FLAC, Speex and Vorbis) |
| chickenPackages_5.chickenEggs.colorize | Colorize programming code as HTML |
| rund | Compiler-wrapper that runs and caches D programs |
| time | Tool that runs programs and summarizes the system resources they use |
| faust2firefox | The faust2firefox script, part of faust functional programming language for realtime audio signal processing |
| faust2sndfile | The faust2sndfile script, part of faust functional programming language for realtime audio signal processing |
| ynetd | Small server for binding programs to TCP ports |
| npiet | Interpreter for piet programs. Also includes npietedit and npiet-foogol |
| libxc | Library of exchange-correlation functionals for density-functional theory |
| pdfid | Scan a file to look for certain PDF keywords |
| sambaFull | Standard Windows interoperability suite of programs for Linux and Unix |
| samba4 | Standard Windows interoperability suite of programs for Linux and Unix |
| pico-sdk | SDK provides the headers, libraries and build system necessary to write programs for the RP2040-based devices |
| openfpgaloader | Universal utility for programming FPGAs |
| luaPackages.luafilesystem | File System Library for the Lua Programming Language |
| cbmc | Bounded Model Checker for C and C++ programs |
| rlwrap | Readline wrapper for console programs |
| faust2jackrust | The faust2jackrust script, part of faust functional programming language for realtime audio signal processing |
| lua51Packages.luafilesystem | File System Library for the Lua Programming Language |
| lua52Packages.luafilesystem | File System Library for the Lua Programming Language |
| lua54Packages.luafilesystem | File System Library for the Lua Programming Language |
| lua53Packages.luafilesystem | File System Library for the Lua Programming Language |
| lua55Packages.luafilesystem | File System Library for the Lua Programming Language |
| pioasm | Assemble PIO programs for Raspberry Pi Pico |
| abduco | Allows programs to be run independently from its controlling terminal |
| clingo | ASP system to ground and solve logic programs |
| libxc_7 | Library of exchange-correlation functionals for density-functional theory |
| rubiks | Several programs for working with Rubik's cubes |
| xmpp-bridge | Connect command-line programs to XMPP |
| yelp-tools | Small programs that help you create, edit, manage, and publish your Mallard or DocBook documentation |
| dejagnu | Framework for testing other programs |
| gogui | Graphical user interface to programs that play the board game Go and support the Go Text Protocol such as GNU Go |
| souffle | Translator of declarative Datalog programs into the C++ language |
| tinyxml | Simple, small, C++ XML parser that can be easily integrating into other programs |
| gpsbabel | Convert, upload and download data from GPS and Map programs |
| gpsbabel-gui | Convert, upload and download data from GPS and Map programs |
| libsixel | SIXEL library for console graphics, and converter programs |
| pciutils | Collection of programs for inspecting and manipulating configuration of PCI devices |
| spawn_fcgi | Provides an interface to external programs that support the FastCGI interface |
| mmh | Set of electronic mail handling programs |
| msitools | Set of programs to inspect and build Windows Installer (.MSI) files |
| libiberty | Collection of subroutines used by various GNU programs |
| arguments | Library for argument handling for MINC programs |
| colormake | Simple wrapper around make to colorize the output |
| samba | Standard Windows interoperability suite of programs for Linux and Unix |
| findbugs | Static analysis tool to find bugs in Java programs automatically |
| nauty | Programs for computing automorphism groups of graphs and digraphs |
| python313Packages.libxc | Library of exchange-correlation functionals for density-functional theory |
| python314Packages.libxc | Library of exchange-correlation functionals for density-functional theory |
| sensible-utils | Collection of utilities used by programs to sensibly select and spawn an appropriate browser, editor, or pager |
| python312Packages.clingo | ASP system to ground and solve logic programs |
| inetutils | Collection of common network programs |
| libnatspec | Library intended to smooth national specificities in using of programs |
| python313Packages.clingo | ASP system to ground and solve logic programs |
| python314Packages.clingo | ASP system to ground and solve logic programs |
| samba4Full | Standard Windows interoperability suite of programs for Linux and Unix |
| chickenPackages_5.chickenEggs.ezd | easy drawing for programs on X displays |
| ecdsautils | Tiny collection of programs used for ECDSA (keygen, sign, verify) |
| coqPackages.ITree | Library for Representing Recursive and Impure Programs in Coq |
| chickenPackages_5.chickenEggs.srfi-34 | SRFI-34: Exception Handling for Programs |
| renameutils | Set of programs to make renaming of files faster |
| redshift_jdbc | JDBC 4.2 driver for Amazon Redshift allowing Java programs to connect to a Redshift database |
| 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 |
| proxychains-ng | Preloader which hooks calls to sockets in dynamically linked programs and redirects it through one or more socks/http proxies |
| libfilezilla | Modern C++ library, offering some basic functionality to build high-performing, platform-independent programs |
| chickenPackages_5.chickenEggs.commands | Helpers for programs that dispatch commands |
| chickenPackages_5.chickenEggs.sysexits | Exit status codes for system programs |
| mjpegtools | Suite of programs for processing MPEG or MJPEG video |
| mjpegtoolsFull | Suite of programs for processing MPEG or MJPEG video |
| postgresql_jdbc | JDBC driver for PostgreSQL allowing Java programs to connect to a PostgreSQL database |
| mesa-demos | Collection of demos and test programs for OpenGL and Mesa |
| driversi686Linux.mesa-demos | Collection of demos and test programs for OpenGL and Mesa |
| pike | Pike programming language |
| gawk | GNU implementation of the Awk programming language |
| glib | C library of programming buildings blocks |
| openocd | Free and Open On-Chip Debugging, In-System Programming and Boundary-Scan Testing |
| openocd-rp2040 | Free and Open On-Chip Debugging, In-System Programming and Boundary-Scan Testing |
| gawkInteractive | GNU implementation of the Awk programming language |
| nim1 | Statically typed, imperative programming language (x86_64-unknown-linux-gnu wrapper) |
| nim2 | Statically typed, imperative programming language (x86_64-unknown-linux-gnu wrapper) |
| nim-2_2 | Statically typed, imperative programming language (x86_64-unknown-linux-gnu wrapper) |
| nim | Statically typed, imperative programming language (x86_64-unknown-linux-gnu wrapper) |
| nim-1_0 | Statically typed, imperative programming language (x86_64-unknown-linux-gnu wrapper) |
| nim-2_0 | Statically typed, imperative programming language (x86_64-unknown-linux-gnu wrapper) |
| nelua | Minimal, efficient, statically-typed and meta-programmable systems programming language heavily inspired by Lua, which compiles to C and native code |
| racket-minimal | Programmable programming language (minimal distribution) |
| udunits | C-based package for the programatic handling of units of physical quantities |
| lmmath | Latin Modern Math (LM Math) font completes the modernization of the Computer Modern family of typefaces designed and programmed by Donald E. Knuth |
| haskellPackages.reheat | to make notes and reduce impact on idle time on writing other programms |
| perlPackages.NetDNSResolverProgrammable | Programmable DNS resolver class for offline emulation of DNS |
| perl5Packages.NetDNSResolverProgrammable | Programmable DNS resolver class for offline emulation of DNS |
| perl540Packages.NetDNSResolverProgrammable | Programmable DNS resolver class for offline emulation of DNS |
| perl538Packages.NetDNSResolverProgrammable | Programmable DNS resolver class for offline emulation of DNS |
| texlivePackages.concprog | Concert programmes |
| haskellPackages.hs-pgms | Programmer's Mine Sweeper in Haskell |
| get_iplayer | Downloads TV and radio programmes from BBC iPlayer and BBC Sounds |
| sudo-font | Font for programmers and command line users |
| haskellPackages.visual-prof | Create a visual profile of a program's source code |
| bluefish | Powerful editor targeted towards programmers and webdevelopers |
| nerd-fonts.daddy-time-mono | Nerd Fonts: A monospaced font for programmers and other terminal groupies |
| perlPackages.SymbolGet | Read Perl's symbol table programmatically |
| haskellPackages.jmacro | QuasiQuotation library for programmatic generation of Javascript code |
| haskellPackages.slab | A programmable markup language to generate HTML |
| perl5Packages.SymbolGet | Read Perl's symbol table programmatically |
| haskellPackages.system-posix-redirect | A toy module to temporarily redirect a program's stdout |
| haskellPackages.swarm | 2D resource gathering game with programmable robots |
| texlivePackages.lualibs | Additional Lua functions for LuaTeX macro programmers |
| fujprog | JTAG programmer for the ULX3S and ULX2S open hardware FPGA development boards |
| fantasque-sans-mono | Font family with a great monospaced variant for programmers |
| haskellPackages.tempus-fugit | Programmers' time tracker |
| open-music-kontrollers.vm | Programmable virtual machine LV2 plugin |
| haskellPackages.github-rest | Query the GitHub REST API programmatically |
| perl538Packages.SymbolGet | Read Perl's symbol table programmatically |
| perl540Packages.SymbolGet | Read Perl's symbol table programmatically |
| mspdebug | Free programmer, debugger, and gdb proxy for MSP430 MCUs |
| haskellPackages.implicit | A math-inspired programmatic 2D & 3D CAD system |
| wb32-dfu-updater | USB programmer for downloading and uploading firmware to/from USB devices |
| open-music-kontrollers.moony | Realtime Lua as programmable glue in LV2 |
| texlivePackages.expltools | Development tools for expl3 programmers |
| haskellPackages.colorless | Colorless | The Programmatic IDL |
| haskellPackages.HGamer3D | Toolset for the Haskell Game Programmer |
| texlivePackages.fntproof | A programmable font test pattern generator |
| texlivePackages.register | Typeset programmable elements in digital hardware (registers) |
| haskellPackages.reactive-balsa | Programmatically edit MIDI events via ALSA and reactive-banana |
| haskellPackages.HGamer3D-Data | Toolset for the Haskell Game Programmer - Data Definitions |
| haskellPackages.HGamer3D-Audio | Toolset for the Haskell Game Programmer - Audio Functionality |
| haskellPackages.HGamer3D-Common | Toolset for the Haskell Game Programmer - Game Engine and Utilities |
| haskellPackages.speculation | A framework for safe, programmable, speculative parallelism |
| haskellPackages.HGamer3D-CEGUI-Binding | A Toolset for the Haskell Game Programmer - CEGUI Bindings |
| haskellPackages.HGamer3D-Graphics3D | Toolset for the Haskell Game Programmer - 3D Graphics Functionality |
| haskellPackages.MagicHaskeller | Automatic inductive functional programmer by systematic search |
| haskellPackages.HGamer3D-Bullet-Binding | Windows Game Engine for the Haskell Programmer - Bullet Bindings |
| texlivePackages.luaprogtable | Programmable table interface for LuaLaTeX |
| haskellPackages.constraints-deriving | Manipulating constraints and deriving class instances programmatically |
| haskellPackages.hackertyper | "Hack" like a programmer in movies and games! |
| cone | Cone Programming Language |
| haskellPackages.hmep | HMEP Multi Expression Programming – a genetic programming variant |
| ruby_3_1 | Object-oriented language for quick and easy programming |
| ruby_3_2 | Object-oriented language for quick and easy programming |
| llvmPackages_17.libclc | Implementation of the library requirements of the OpenCL C programming language |
| llvmPackages_16.libclc | Implementation of the library requirements of the OpenCL C programming language |
| haskellPackages.Yampa_0_15 | Elegant Functional Reactive Programming Language for Hybrid Systems |
| j | J programming language, an ASCII-based APL successor |
| ksh | KornShell Command And Programming Language |
| osqp | Quadratic programming solver using operator splitting |
| tk | Widget toolkit that provides a library of basic elements for building a GUI in many different programming languages |
| txr | Original, New Programming Language for Convenient Data Munging |
| plm | Free cross-platform programming exerciser |
| glpk | GNU Linear Programming Kit |
| ecos | Lightweight conic solver for second-order cone programming |
| tk-8_6 | Widget toolkit that provides a library of basic elements for building a GUI in many different programming languages |
| kona | Interpreter of K, APL-like programming language |
| perl5 | Standard implementation of the Perl 5 programming language |
| tk-8_5 | Widget toolkit that provides a library of basic elements for building a GUI in many different programming languages |
| tk-9_0 | Widget toolkit that provides a library of basic elements for building a GUI in many different programming languages |
| janet | Janet programming language |
| gnu-cim | GNU compiler for the programming language Simula |
| lilex | Open source programming font |
| curv | 2D and 3D geometric modelling programming language for creating art with maths |
| entt | Header-only, tiny and easy to use library for game programming and much more written in modern C++ |
| fira-code | Monospace font with programming ligatures |
| jelly | Recreational programming language inspired by J |
| klong | Simple Array programming language |
| orca-c | Esoteric programming language designed to quickly create procedural sequencers |
| phel | Functional programming language that compiles to PHP. A Lisp dialect inspired by Clojure and Janet |
| haskellPackages.ghc-lib-parser-ex_9_12_0_0 | Programming with GHC parse trees |
| haskellPackages.ghc-lib-parser-ex_9_10_0_0 | Programming with GHC parse trees |
| dictu | High-level dynamically typed, multi-paradigm, interpreted programming language |
| vyxal | Code-golfing language that has aspects of traditional programming languages |
| rbenv | Version manager tool for the Ruby programming language on Unix-like systems |
| perl538 | Standard implementation of the Perl 5 programming language |
| mars-mips | IDE for programming in MIPS assembly language intended for educational-level use |
| ruby | Object-oriented language for quick and easy programming |
| raylib | Simple and easy-to-use library to enjoy videogames programming |
| libclc | Implementation of the library requirements of the OpenCL C programming language |
| kotlin | General purpose programming language |
| python2 | High-level dynamically-typed programming language |
| bruijn | Purely functional programming language based on lambda calculus and de Bruijn indices |
| shocco | Quick-and-dirty, literate-programming-style documentation generator for / in POSIX shell |
| jimtcl | Open source small-footprint implementation of the Tcl programming language |
| picolisp | Pragmatic programming language |
| ruby_3_3 | Object-oriented language for quick and easy programming |
| cpp-netlib | Collection of open-source libraries for high level network programming |
| muonlang | Modern low-level programming language |
| brickd | Daemon (or service on Windows) that acts as a bridge between the Bricks/Bricklets and the API bindings for the different programming languages |
| lobster | Lobster programming language |
| python2Full | High-level dynamically-typed programming language |
| vimPlugins.hare-vim | Hare programming in Vim |
| cozette | Bitmap programming font optimized for coziness |
| commit-mono | Anonymous and neutral programming typeface focused on creating a better reading experience |
| victor-mono | Free programming font with cursive italics and ligatures |
| python27 | High-level dynamically-typed programming language |
| profont | Monospaced font created to be a most readable font for programming |
| testlib | C++ library to develop competitive programming problems |
| skalibs | Set of general-purpose C programming libraries |
| perlPackages.meta | Meta-programming API |
| udev-gothic | Programming font that combines BIZ UD Gothic and JetBrains Mono |
| tclPackages.tk | Widget toolkit that provides a library of basic elements for building a GUI in many different programming languages |
| perlPackages.perl | Standard implementation of the Perl 5 programming language |
| perl5Packages.meta | Meta-programming API |
| python27Full | High-level dynamically-typed programming language |
| agda | A dependently typed functional programming language and proof assistant |
| _0xproto | Free and Open-source font for programming |
| udev-gothic-nf | Programming font that combines BIZ UD Gothic, JetBrains Mono and nerd-fonts |
| perl5Packages.perl | Standard implementation of the Perl 5 programming language |
| eltclsh | Interactive shell for the TCL programming language based on editline |
| perl | Standard implementation of the Perl 5 programming language |
| haskellPackages.DP | Pragmatic framework for dynamic programming |
| ruby_3_4 | Object-oriented language for quick and easy programming |
| ruby_3_5 | Object-oriented language for quick and easy programming |
| haskellPackages.H | The Haskell/R mixed programming environment |
| texlivePackages.web | The original literate programming system |
| haskellPackages.hhp | Happy Haskell Programming |
| idris2 | Purely functional programming language with first class types |
| nerd-fonts.fira-code | Nerd Fonts: Programming ligatures, extension of Fira Mono font, enlarged operators |
| haskellPackages.ewe | An interpreter for EWE programming language |
| haskellPackages.bot | bots for functional reactive programming |
| haskellPackages.lit | A simple tool for literate programming |
| haskellPackages.msh | Object-Oriented Programming in Haskell |
| miranda | Compiler for Miranda -- a pure, non-strict, polymorphic, higher order functional programming language |
| mononoki | Font for programming and code review |
| perlPackages.AnyEvent | DBI of event loop programming |
| perlPackages.IOAsync | Asynchronous event-driven programming |
| ruby_4_0 | Object-oriented language for quick and easy programming |
| nerd-fonts.envy-code-r | Nerd Fonts: Fully-scalable monospaced font designed for programming and command prompts |
| haskellPackages.MIP | Library for using Mixed Integer Programming (MIP) |
| haskellPackages.DysFRP | dysFunctional Reactive Programming |
| haskellPackages.GTALib | A library for GTA programming |
| haskellPackages.peg | a lazy non-deterministic concatenative programming language |
| haskellPackages.CPL | An interpreter of Hagino's Categorical Programming Language (CPL) |
| haskellPackages.laop | Matrix programming library |
| haskellPackages.ion | EDSL for concurrent, realtime, embedded programming on top of Ivory |
| haskellPackages.axel | The Axel programming language |
| haskellPackages.kure | Combinators for Strategic Programming |
| libcsptr | Smart pointer constructs for the (GNU) C programming language |
| perl5Packages.IOAsync | Asynchronous event-driven programming |
| perl5Packages.AnyEvent | DBI of event loop programming |
| haskellPackages.RepLib | Generic programming library with representation types |
| haskellPackages.hoop | Object-Oriented Programming in Haskell |
| haskellPackages.gpah | Generic Programming Use in Hackage |
| haskellPackages.ctpl | A programming language for text modification |
| scala_2_12 | General purpose programming language |
| scala_2_13 | General purpose programming language |
| haskellPackages.cflp | Constraint Functional-Logic Programming in Haskell |
| haskellPackages.flay | Generic programming for higher-kinded types |
| haskellPackages.yoko | Generic Programming with Disbanded Data Types |
| haskellPackages.slim | Functional reactive user interface programming |
| notonoto | Programming font that combines Noto Sans Mono and Noto Sans JP |
| perlPackages.BioExtAlign | Write Perl Subroutines in Other Programming Languages |
| faustlsp | Language Server Protocol (LSP) implementation for the Faust programming language |
| haskellPackages.GPipe | Typesafe functional GPU graphics programming |
| haskellPackages.YFrob | Yampa-based library for programming robots |
| haskellPackages.kbq-gu | Rpoku spoken word programming language |
| haskellPackages.auto | Denotative, locally stateful programming DSL & platform |
| haskellPackages.g2q | G2Q allows constraint programming, via writing Haskell predicates |
| haskellPackages.ntha | A tiny statically typed functional programming language |
| idrisPackages.idris | Functional Programming Language with Dependent Types |
| haskellPackages.psc-ide | Language support for the PureScript programming language |
| notonoto-35 | Programming font that combines Noto Sans Mono and Noto Sans JP |
| sarasa-gothic | CJK programming font based on Iosevka and Source Han Sans |
| haskellPackages.HyloDP | A package for solving dynamic programming problems in Haskell |
| haskellPackages.HasChor | Functional choreographic programming in Haskell |
| haskellPackages.L-seed | Plant growing programming game |
| haskellPackages.cuda | FFI binding to the CUDA interface for programming NVIDIA GPUs |
| idrisPackages.idris-no-deps | Functional Programming Language with Dependent Types |
| llvmPackages.libclc | Implementation of the library requirements of the OpenCL C programming language |
| perlPackages.Inline | Write Perl Subroutines in Other Programming Languages |
| notonoto-hs | Programming font that combines Noto Sans Mono and Noto Sans JP |
| QuadProgpp | C++ library for Quadratic Programming |
| haskellPackages.Dao | Dao is meta programming language with its own built-in interpreted language, designed with artificial intelligence applications in mind |
| haskellPackages.dao | Dao is meta programming language with its own built-in interpreted language, designed with artificial intelligence applications in mind |
| haskellPackages.TicTacToe | A sub-project (exercise) for a functional programming course |
| haskellPackages.glpk-hs | Comprehensive GLPK linear programming bindings |
| haskellPackages.WebCont | Continuation based web programming for Happstack |
| llvmPackages_22.libclc | Implementation of the library requirements of the OpenCL C programming language |
| llvmPackages_21.libclc | Implementation of the library requirements of the OpenCL C programming language |
| perl5Packages.BioExtAlign | Write Perl Subroutines in Other Programming Languages |
| notonoto-hs-35 | Programming font that combines Noto Sans Mono and Noto Sans JP |
| perl540Packages.meta | Meta-programming API |
| perl538Packages.meta | Meta-programming API |
| haskellPackages.Agda | A dependently typed functional programming language and proof assistant |
| texlivePackages.plweb | Literate Programming for Prolog with LaTeX |
| haskellPackages.hydra | Graph programming language |
| haskellPackages.alloy | Generic programming library |
| haskellPackages.WashNGo | WASH is a family of EDSLs for programming Web applications in Haskell |
| haskellPackages.snail | A programming language with no semantics |
| llvmPackages_19.libclc | Implementation of the library requirements of the OpenCL C programming language |
| llvmPackages_18.libclc | Implementation of the library requirements of the OpenCL C programming language |
| llvmPackages_20.libclc | Implementation of the library requirements of the OpenCL C programming language |
| nerd-fonts.commit-mono | Nerd Fonts: An anonymous and neutral programming typeface |
| haskellPackages.ivory | Safe embedded C programming |
| haskellPackages.wires | Functional reactive programming library |
| haskellPackages.spade | A simple programming and debugging environment |
| haskellPackages.moffy | Monadic Functional Reactive Programming |
| perl5Packages.Inline | Write Perl Subroutines in Other Programming Languages |
| haskellPackages.Jikka | A transpiler from Python to C++ for competitive programming |
| haskellPackages.angle | A small, general-purpose programming language |
| haskellPackages.forml | A statically typed, functional programming language |
| haskellPackages.HSGEP | Gene Expression Programming evolutionary algorithm in Haskell |
| haskellPackages.Frank | An experimental programming language with typed algebraic effects |
| haskellPackages.lingo | File extension based programming language detection |
| haskellPackages.app-lens | applicative (functional) bidirectional programming beyond composition chains |
| haskellPackages.mappy | A functional programming language focused around maps |
| haskellPackages.disco | Functional programming language for teaching discrete math |
| haskellPackages.limp-cbc | bindings for integer linear programming solver Coin/CBC |
| haskellPackages.omega | A purely functional programming language and a proof system |
| haskellPackages.rhine | Functional Reactive Programming with type-level clocks |
| haskellPackages.yices | Haskell programming interface to Yices SMT solver |
| haskellPackages.atomo | A highly dynamic, extremely simple, very fun programming language |
| haskellPackages.apecs | Fast Entity-Component-System library for game programming |
| haskellPackages.Yampa | Elegant Functional Reactive Programming Language for Hybrid Systems |
| idrisPackages.yampa | Idris implementation of Yampa FRP library as described in Reactive Programming through Dependent Types |
| haskellPackages.LPFP-core | Code for the book Learn Physics with Functional Programming |
| haskellPackages.MiniAgda | A toy dependently typed programming language with type-based termination |
| haskellPackages.GPipe-Core | Typesafe functional GPU graphics programming |
| haskellPackages.idris | Functional Programming Language with Dependent Types |
| haskellPackages.highs-lp | Linear Programming using HiGHS and comfort-array |
| haskellPackages.exp-pairs | Linear programming over exponent pairs |
| haskellPackages.Craft3e | Code for Haskell: the Craft of Functional Programming, 3rd ed |
| texlivePackages.protex | Literate programming package |
| haskellPackages.meta-misc | Utility library providing miscellaneous meta-programming utilities |
| haskellPackages.shady-gen | Functional GPU programming - DSEL & compiler |
| haskellPackages.monad-par | A library for parallel programming based on a monad |
| monocraft | Programming font based on the typeface used in Minecraft |
| cascadia-code | Monospaced font that includes programming ligatures and is designed to enhance the modern look and feel of the Windows Terminal |
| haskellPackages.LPFP_1_2_1 | Code for the book Learn Physics with Functional Programming |
| haskellPackages.noodle | the noodle programming language |
| haskellPackages.DysFRP-Cairo | dysFunctional Reactive Programming on Cairo |
| haskellPackages.Quelea | Programming with Eventual Consistency over Cassandra |
| texlivePackages.eolang | Formulas and graphs for the EO programming language |
| haskellPackages.logict | A backtracking logic-programming monad |
| haskellPackages.hakaru | A probabilistic programming embedded DSL |
| haskellPackages.harpie | Haskell array programming |
| haskellPackages.anansi | Simple literate programming preprocessor |
| haskellPackages.cmonad | A library for C-like programming |
| haskellPackages.sindre | A programming language for simple GUIs |
| haskellPackages.turtle | Shell programming, Haskell-style |
| haskellPackages.rsagl-frp | The RogueStar Animation and Graphics Library: Functional Reactive Programming |
| nerd-fonts._0xproto | Nerd Fonts: A programming font focused on source code legibility |
| perl538Packages.IOAsync | Asynchronous event-driven programming |
| perl540Packages.IOAsync | Asynchronous event-driven programming |
| perl538Packages.AnyEvent | DBI of event loop programming |
| perl540Packages.AnyEvent | DBI of event loop programming |
| agdaPackages.agda | A dependently typed functional programming language and proof assistant |
| texlivePackages.lpform | Typesetting linear programming formulations and sets of equations |
| haskellPackages.Yampa-core | Library for programming hybrid systems |
| haskellPackages.formal | A statically typed, functional programming language |
| haskellPackages.artery | A simple, arrow-based reactive programming |
| haskellPackages.java-poker | The etude of the Haskell programming |
| haskellPackages.sodium | Sodium Reactive Programming (FRP) System |
| haskellPackages.shelly | shell-like (systems) programming in Haskell |
| haskellPackages.oplang | Stack-based esoteric programming language |
| haskellPackages.type-level | Type-level programming library |
| haskellPackages.reflex | Higher-order Functional Reactive Programming |
| haskellPackages.AutoForms | GUI library based upon generic programming (SYB3) |
| haskellPackages.kuifje | A Quantitative Information Flow aware programming language |
| haskellPackages.Object | Object oriented programming for haskell using multiparameter typeclasses |
| haskellPackages.Animas | Updated version of Yampa: a library for programming hybrid systems |
| haskellPackages.readme-lhs | Literate programming support |
| haskellPackages.cimple | Simple C-like programming language |
| haskellPackages.egison | Programming language with non-linear pattern-matching against non-free data |
| haskellPackages.SoccerFun | Football simulation framework for teaching functional programming |
| haskellPackages.monad-task | A monad transformer that turns event processing into co-routine programming |
| perl540Packages.BioExtAlign | Write Perl Subroutines in Other Programming Languages |
| perl538Packages.BioExtAlign | Write Perl Subroutines in Other Programming Languages |
| haskellPackages.AspectAG | First-class Attribute Grammars implemented using type-level programming |
| haskellPackages.type-level-tf | Type-level programming library (type families) |
| mercury | Pure logic programming language |
| haskellPackages.monad-bayes | A library for probabilistic programming |
| perl538Packages.Inline | Write Perl Subroutines in Other Programming Languages |
| perl540Packages.Inline | Write Perl Subroutines in Other Programming Languages |
| haskellPackages.coinor-clp | Linear Programming using COIN-OR/CLP and comfort-array |
| haskellPackages.genprog | Genetic programming library |
| haskellPackages.cpmonad | Competitive programming problemsetting toolchain |
| haskellPackages.lazyboy | An EDSL for programming the Game Boy |
| haskellPackages.lazyppl | Lazy Probabilistic Programming Library |
| haskellPackages.netwire | Functional reactive programming library |
| haskellPackages.terrahs | A Haskell GIS Programming Environment |
| skawarePackages.skalibs | Set of general-purpose C programming libraries |
| haskellPackages.family-tree | A family tree library for the Haskell programming language |
| haskellPackages.imprevu | Reactive programming language based on a DSL |
| haskellPackages.unbound | Generic support for programming with names and binders |
| haskellPackages.reactor | Reactor - task parallel reactive programming |
| haskellPackages.regular | Generic programming library for regular datatypes |
| haskellPackages.unique-lang | Esoteric programming language where each number can only appear once |
| perlPackages.Paranoid | General function library for safer, more secure programming |
| haskellPackages.ADPfusion | Efficient, high-level dynamic programming |
| haskellPackages.Befunge93 | An interpreter for the Befunge-93 Programming Language |
| skalibs_2_10 | Set of general-purpose C programming libraries |
| haskellPackages.haskeme | Compiler from I- to S-Expressions for the Scheme Programming Language |
| haskellPackages.dewdrop | Find gadgets for return-oriented programming on x86 |
| haskellPackages.jmacro-rpc | JSON-RPC clients and servers using JMacro, and evented client-server Reactive Programming |
| haskellPackages.caledon | a logic programming language based on the calculus of constructions |
| haskellPackages.subhask | Type safe interface for programming in subcategories of Hask |
| haskellPackages.LPFP | Code for the book Learn Physics with Functional Programming |
| haskellPackages.improve | An imperative, verifiable programming language for high assurance applications |
| haskellPackages.paprika | The Haskell library and examples for the kids programming robot paprika |
| haskellPackages.webshow | Show programming language printed values in a web UI |
| haskellPackages.aop-prelude | prelude for Algebra of Programming |
| haskellPackages.ghc-lib-parser-ex | Programming with GHC parse trees |
| haskellPackages.regular-web | Generic programming for the web |
| idris2Packages.idris2 | Purely functional programming language with first class types |
| haskellPackages.structs | Strict GC'd imperative object-oriented programming with cheap pointers |
| perl5Packages.Paranoid | General function library for safer, more secure programming |
| haskellPackages.ADPfusionSet | Dynamic programming for Set data structures |
| texlivePackages.luatikz | A 2D graphics library to draw TikZ graphics using the Lua programming language |
| haskellPackages.event-driven | library for event driven programming |
| haskellPackages.gore-and-ash-actor | Gore&Ash engine extension that implements actor style of programming |
| haskellPackages.frp-arduino | Arduino programming without the hassle of C |
| haskellPackages.nri-prelude | A Prelude inspired by the Elm programming language |
| haskellPackages.rhine_1_6 | Functional Reactive Programming with type-level clocks |
| haskellPackages.zendesk-api | Zendesk API for Haskell programming language |
| haskellPackages.haskell-mpi | Distributed parallel programming in Haskell using MPI |
| haskellPackages.haskell-cnc | Library for parallel programming in the Intel Concurrent Collections paradigm |
| haskellPackages.dynamic-pp | A pretty-print library that employs a dynamic programming algorithm for optimal rendering |
| haskellPackages.logict-state | Library for logic programming based on haskell package logict |
| haskellPackages.FiniteMap | A finite map implementation, derived from the paper: Efficient sets: a balancing act, S. Adams, Journal of functional programming 3(4) Oct 1993, pp553-562 |
| haskellPackages.hmatrix-glpk | Linear Programming based on GLPK |
| notonoto-console | Programming font that combines Noto Sans Mono and Noto Sans JP |
| haskellPackages.PUH-Project | This is a package which includes Assignments, Email, User and Reviews modules for Programming in Haskell course |
| haskellPackages.Ordinary | A Programming Language in Construction |
| haskellPackages.comfort-glpk | Linear Programming using GLPK and comfort-array |
| haskellPackages.parallel | Parallel programming library |
| notonoto-hs-console | Programming font that combines Noto Sans Mono and Noto Sans JP |
| haskellPackages.Obsidian | Embedded language for GPU Programming |
| texlivePackages.l3kernel | LaTeX3 programming conventions |
| texlivePackages.semantic | Help for writing programming language semantics |
| haskellPackages.acme-hq9plus | An embedded DSL for the HQ9+ programming language |
| haskellPackages.quipper-core | An embedded, scalable functional programming language for quantum computing |
| haskellPackages.zeolite-lang | Zeolite is a statically-typed, general-purpose programming language |
| haskellPackages.LogicGrowsOnTrees | a parallel implementation of logic programming using distributed tree exploration |
| haskellPackages.Naperian | Naperian Functors for APL-like programming |
| haskellPackages.heukarya | A genetic programming based on tree structure |
| haskellPackages.WidgetRattus | An asynchronous modal FRP language for GUI programming |
| haskellPackages.heapsort | Heapsort of MArrays as a demo of imperative programming |
| haskellPackages.multirec | Generic programming for families of recursive datatypes |
| haskellPackages.shentong | A Haskell implementation of the Shen programming language |
| haskellPackages.streamly | Streaming, dataflow programming and declarative concurrency |
| haskellPackages.reactive | Push-pull functional reactive programming |
| haskellPackages.SCRIPTWriter | ESCRIPT: a human friendly language for programming Bitcoin scripts |
| haskellPackages.data-variant | A variant data type, useful for modeling dynamically-typed programming languages |
| haskellPackages.mathista | A small programming language for numerical computing |
| haskellPackages.edenskel | Semi-explicit parallel programming skeleton library |
| haskellPackages.timeless | An Arrow based Functional Reactive Programming library |
| haskellPackages.shellish | shell-/perl- like (systems) programming in Haskell |
| haskellPackages.probable | Easy and reasonably efficient probabilistic programming and random generation |
| haskellPackages.semiring | Semirings, ring-like structures used for dynamic programming applications |
| haskellPackages.simple-actors | A library for more structured concurrent programming, based on the Actor Model |
| haskellPackages.generics-eot | A library for generic programming that aims to be easy to understand |
| haskellPackages.generics-sop | Generic Programming using True Sums of Products |
| perl538Packages.Paranoid | General function library for safer, more secure programming |
| perl540Packages.Paranoid | General function library for safer, more secure programming |
| tigerjython | Simple development environment for programming in Python |
| haskellPackages.canteven-http | Utilities for HTTP programming |
| haskellPackages.language-hcl | HCL parsers and pretty-printers for the Haskell programming language |
| haskellPackages.full-sessions | a monad for protocol-typed network programming |
| haskellPackages.ADPfusionForest | Dynamic programming on tree and forest structures |
| haskellPackages.descript-lang | Library, interpreter, and CLI for Descript programming language |
| haskellPackages.kind-generics | Generic programming in GHC style for arbitrary kinds and GADTs |
| haskellPackages.language-conf | Conf parsers and pretty-printers for the Haskell programming language |
| haskellPackages.monadiccp | Constraint Programming |
| haskellPackages.dynamic-object | Object-oriented programming with duck typing and singleton classes |
| haskellPackages.prototype | prototype-based programming on Haskell |
| haskellPackages.sketch-frp-copilot | Sketch programming with Copilot |
| haskellPackages.zephyr-copilot | Embedded programming in haskell using the Copilot stream DSL and Zephyr |
| nerd-fonts.caskaydia-cove | Nerd Fonts: A fun, new monospaced font that includes programming ligatures and is designed to enhance the modern look and feel of the Windows Terminal |
| haskellPackages.copilot-frp-sketch | FRP sketch programming with Copilot |
| haskellPackages.cloudchor | Lightweight and efficient choreographic programming for cloud services |
| haskellPackages.shady-graphics | Functional GPU programming - DSEL & compiler |
| haskellPackages.reactive-bacon | FRP (functional reactive programming) framework |
| miniaudicle | Light-weight integrated development environment for the ChucK digital audio programming language |
| haskellPackages.generics-mrsop | Generic Programming with Mutually Recursive Sums of Products |
| haskellPackages.Ztrategic | Zipper-based library for strategic programming and attribute grammars |
| haskellPackages.yices-painless | An embedded language for programming the Yices SMT solver |
| haskellPackages.large-generics | Generic programming API for large-records and large-anon |
| haskellPackages.QuickCheck_2_15_0_1 | Automatic testing of Haskell programs |
| haskellPackages.dhscanner-ast | abstract syntax tree for multiple programming languages |
| haskellPackages.funcons-lambda-cbv-mp | call-by-value lambda-calculus with meta-programming |
| haskellPackages.DysFRP-Craftwerk | dysFunctional Reactive Programming on Craftwerk |
| haskellPackages.acme-stringly-typed | Stringly Typed Programming |
| haskellPackages.linear-generics | Generic programming library for generalised deriving |
| haskellPackages.arduino-copilot | Arduino programming in haskell using the Copilot stream DSL |
| haskellPackages.servant-foreign | Helpers for generating clients for servant APIs in any programming language |
| haskellPackages.reactive-thread | Reactive programming via imperative threads |
| haskellPackages.reactive-banana | Library for functional reactive programming (FRP) |
| haskellPackages.copilot_4_3 | A stream DSL for writing embedded C programs |
| haskellPackages.language-oberon | Parser, pretty-printer, and more for the Oberon programming language |
| haskellPackages.tomato-rubato-openal | Easy to use library for audio programming |
| haskellPackages.logict-sequence | A backtracking logic-programming monad with asymptotic improvements to msplit |
| haskellPackages.mem-info_0_4_1_0 | Print the core memory usage of programs |
| haskellPackages.language-Modula2 | Parser, pretty-printer, and more for the Modula-2 programming language |
| haskellPackages.symantic-parser | Parser combinators statically optimized and staged via typed meta-programming |
| skawarePackages.skalibs_2_10 | Set of general-purpose C programming libraries |
| color-transformation-language | Programming language for digital color management |
| texlivePackages.functional | An intuitive functional programming interface for LaTeX2 |
| haskellPackages.inliterate | Interactive literate programming |
| haskellPackages.forbidden-fruit | A library accelerates imperative style programming |
| haskellPackages.whitespace | Whitespace, an esoteric programming language |
| haskellPackages.purescript | PureScript Programming Language Compiler |
| haskellPackages.grapefruit-ui | Declarative user interface programming |
| haskellPackages.reactive-banana-gi-gtk | Simple reactive programming with GTK GObject Introspection |
| akkuPackages.rebottled-schelog | Dorai Sitaram's Schelog: logic programming in Scheme |
| haskellPackages.generic-deriving | Generic programming library for generalised deriving |
| haskellPackages.instant-generics | Generic programming library with a sum of products view |
| haskellPackages.grapefruit-frp | Functional Reactive Programming core |
| haskellPackages.monadiccp-gecode | Constraint Programming |
| texlivePackages.clojure-pamphlet | A simple literate programming tool based on clojure's pamphlet system |
| haskellPackages.ghc-lib-parser-ex_9_14_2_0 | Programming with GHC parse trees |
| haskellPackages.unbound-generics | Support for programming with names and binders using GHC Generics |
| haskellPackages.quipper-language | Quipper, an embedded functional programming language for quantum computation |
| haskellPackages.parconc-examples | Examples to accompany the book "Parallel and Concurrent Programming in Haskell" |
| haskellPackages.purescript-ast | PureScript Programming Language Abstract Syntax Tree |
| haskellPackages.purescript-cst | PureScript Programming Language Concrete Syntax Tree |
| haskellPackages.coroutine-object | Object-oriented programming realization using coroutine |
| haskellPackages.grapefruit-ui-gtk | GTK+-based backend for declarative user interface programming |
| akkuPackages.scheme-langserver | This package is a language server protocol implementation helping scheme programming. |
| haskellPackages.profunctor-monad | Monadic bidirectional programming |
| haskellPackages.unbound-kind-generics | Support for programming with names and binders using kind-generics |
| haskellPackages.reflex_0_9_4_0 | Higher-order Functional Reactive Programming |
| texlivePackages.beamertools | A collection of programming tools for beamer |
| haskellPackages.probability | Probabilistic Functional Programming |
| haskellPackages.hyperscript | A parser for the _hyperscript programming language |
| haskellPackages.functional-arrow | Combinators that allow for a more functional/monadic style of Arrow programming |
| haskellPackages.effective-aspects | A monadic embedding of aspect oriented programming |
| texlivePackages.latexindent | Indent a LaTeX document, highlighting the programming structure |
| haskellPackages._3d-graphics-examples | Examples of 3D graphics programming with OpenGL |
| haskellPackages.edenmodules | Semi-explicit parallel programming library |
| haskellPackages.quipper-rendering | An embedded, scalable functional programming language for quantum computing |
| haskellPackages.sparsecheck | A Logic Programming Library for Test-Data Generation |
| haskellPackages.Shpadoinkle | A programming model for declarative, high performance user interface |
| haskellPackages.Lambdajudge | A library to easily host Haskell based programming competitions |
| haskellPackages.deepcontrol | A library that provides deep-level programming style and(or) notation on Applicative and Monad |
| haskellPackages.snaplet-typed-sessions | Typed session snaplets and continuation-based programming for the Snap web framework |
| haskellPackages.gi-gtk-declarative | Declarative GTK+ programming in Haskell |
| haskellPackages.kind-generics-deriving | Generic programming in GHC style for arbitrary kinds and GADTs |
| haskellPackages.effective-aspects-mzv | A monadic embedding of aspect oriented programming, using "Monads, Zippers and Views" instead of mtl |
| haskellPackages.type-combinators | A collection of data types for type-level programming |
| haskellPackages.grapefruit-records | A record system for Functional Reactive Programming |
| haskellPackages.hmatrix-quadprogpp | Bindings to the QuadProg++ quadratic programming library |
| haskellPackages.flexible-numeric-parsers | Flexible numeric parsers for real-world programming languages |
| functionalplus | Functional Programming Library for C++ |
| haskellPackages.Strafunski-StrategyLib | Library for strategic programming |
| haskellPackages.simplistic-generics | Generic programming without too many type classes |
| haskellPackages.distributed-closure | Serializable closures for distributed programming |
| haskellPackages.parallel_3_3_0_0 | Parallel programming library |
| haskellPackages.gi-gtk-declarative-app-simple | Declarative GTK+ programming in Haskell in the style of Pux |
| pv | Tool for monitoring the progress of data through a pipeline |
| texlivePackages.stringstrings | String manipulation for cosmetic and programming application |
| haskellPackages.arghwxhaskell | An interpreter for the Argh! programming language in wxHaskell |
| cope | Colourful wrapper for terminal programs |
| peg | Tools for generating recursive-descent parsers: programs that perform pattern matching on text |
| qpdf | C++ library and set of programs that inspect and manipulate the structure of PDF files |
| haskellPackages.exploring-interpreters | A generic exploring interpreter for exploratory programming |
| gappa | Verifying and formally proving properties on numerical programs dealing with floating-point or fixed-point arithmetic |
| quick-lint-js | Find bugs in Javascript programs |
| csmith | Random generator of C programs |
| pdf-parser | Parse a PDF document |
| s6-dns | Suite of DNS client programs and libraries for Unix systems |
| num-utils | Programs for dealing with numbers from the command line |
| rictydiminished-with-firacode | Best Japanese programming font meets the awesome ligatures of Firacode |
| sfeed | RSS and Atom parser (and some format programs) |
| arduinoOTA | Tool for uploading programs to Arduino boards over a network |
| perlPackages.AppCLI | Dispatcher module for command line interface programs |
| perl5Packages.AppCLI | Dispatcher module for command line interface programs |
| t1utils | Collection of simple Type 1 font manipulation programs |
| haskellPackages.cgi | A library for writing CGI programs |
| haskellPackages.HSH | Library to mix shell scripting with Haskell programs |
| idrisPackages.test | Testing Utilities for Idris programs |
| haskellPackages.opn | Open files or URLs using associated programs |
| haskellPackages.afv | Infinite state model checking of iterative C programs |
| haskellPackages.limp | representation of Integer Linear Programs |
| akkuPackages.r6lint | Linter for R6RS libraries and programs |
| skawarePackages.s6-dns | Suite of DNS client programs and libraries for Unix systems |
| haskellPackages.zeno | An automated proof system for Haskell programs |
| haskellPackages.om-elm | Haskell utilities for building embedded Elm programs |
| haskellPackages.scgi | A Haskell library for writing SCGI programs |
| haskellPackages.uni-htk | Graphical User Interface for Haskell Programs |
| texlivePackages.tex-ewd | Macros to typeset calculational proofs and programs in Dijkstra's style |
| haskellPackages.hsp-cgi | Facilitates running Haskell Server Pages web pages as CGI programs |
| perlPackages.Expect | Automate interactions with command line programs that expose a text terminal interface |
| haskellPackages.THSH | A "noDSL" approach to mixing shell scripting with Haskell programs using Template Haskell |
| haskellPackages.mem-info | Print the core memory usage of programs |
| haskellPackages.Hs2lib | A Library and Preprocessor that makes it easier to create shared libs from Haskell programs |
| haskellPackages.runhs | Stack wrapper for single-file Haskell programs |
| perl540Packages.AppCLI | Dispatcher module for command line interface programs |
| perl538Packages.AppCLI | Dispatcher module for command line interface programs |
| haskellPackages.PropaFP | Auto-active verification of floating-point programs |
| haskellPackages.crux-llvm | A verification tool for C programs |
| perl5Packages.Expect | Automate interactions with command line programs that expose a text terminal interface |
| texlivePackages.tikz-sfc | Symbols collection for typesetting Sequential Function Chart (SFC) diagrams (PLC programs) |
| haskellPackages.alsa-gui | Some simple interactive programs for sending MIDI control messages via ALSA |
| haskellPackages.titan | Testing Infrastructure for Temporal AbstractioNs - GUI to debug temporal programs |
| haskellPackages.PropRatt | Property-based testing framework for testing asynchronous FRP programs |
| haskellPackages.ghc-gc-tune | Graph performance of Haskell programs with different GC flags |
| haskellPackages.tls-debug | Set of programs for TLS testing and debugging |
| perlPackages.TestExpect | Automated driving and testing of terminal-based programs |
| haskellPackages.Lastik | A library for compiling programs in a variety of languages |
| haskellPackages.dejafu | A library for unit-testing concurrent programs |
| haskellPackages.curry-base | Functions for manipulating Curry programs |
| haskellPackages.oughta | A library to test programs that output text |
| perl5Packages.TestExpect | Automated driving and testing of terminal-based programs |
| haskellPackages.ivory-eval | Simple concrete evaluator for Ivory programs |
| haskellPackages.HJScript | HJScript is a Haskell EDSL for writing JavaScript programs |
| texlivePackages.c-pascal | Typeset Python, C and Pascal programs |
| haskellPackages.postie | SMTP server library to receive emails from within Haskell programs |
| cyberpunk-neon | Neon themes for many programs |
| haskellPackages.QuickCheck | Automatic testing of Haskell programs |
| lockfileProgs | Programs for locking and unlocking files and mailboxes |
| perlPackages.TestPerlCritic | Use Perl::Critic in test programs |
| haskellPackages.Pup-Events | A networked event handling framework for hooking into other programs |
| haskellPackages.sbvPlugin | Formally prove properties of Haskell programs using SBV/SMT |
| texlivePackages.algobox | Typeset Algobox programs |
| haskellPackages.clash-shake | Shake rules for building Clash programs |
| texlivePackages.scratch | Draw programs like "scratch" |
| texlivePackages.texware | Utility programs for use with TeX |
| haskellPackages.threadPool | Runs other programs in the manner of a thread pool |
| haskellPackages.powerpc | Tools for PowerPC programs |
| perl5Packages.TestPerlCritic | Use Perl::Critic in test programs |
| perlPackages.CaptureTiny | Capture STDOUT and STDERR from Perl, XS or external programs |
| perl538Packages.Expect | Automate interactions with command line programs that expose a text terminal interface |
| perl540Packages.Expect | Automate interactions with command line programs that expose a text terminal interface |
| haskellPackages.hylolib | Tools for hybrid logics related programs |
| haskellPackages.fastcgi | A Haskell library for writing FastCGI programs |
| haskellPackages.hfusion | A library for fusing a subset of Haskell programs |
| haskellPackages.fitspec | refining property sets for testing Haskell programs |
| haskellPackages.copilot | A stream DSL for writing embedded C programs |
| perl5Packages.CaptureTiny | Capture STDOUT and STDERR from Perl, XS or external programs |
| texlivePackages.t1utils | Simple Type 1 font manipulation programs |
| haskellPackages.archive | A library and programs for creating hardlinked incremental archives or backups |
| haskellPackages.ui-command | A framework for friendly commandline programs |
| hexbinhex | Six utility programs to convert between hex, binary, ascii-binary
and the oddball NIST format for 90B testing.
|
| haskellPackages.Pup-Events-Demo | A networked event handling framework for hooking into other programs |
| haskellPackages.elm-reactor | Interactive development tool for Elm programs |
| perl538Packages.TestExpect | Automated driving and testing of terminal-based programs |
| perl540Packages.TestExpect | Automated driving and testing of terminal-based programs |
| texlivePackages.gustprog | utility programs for Polish users of TeX |
| haskellPackages.hoodle-types | Data types for programs for hoodle file format |
| haskellPackages.mmsyn7s | Shows a sorted list of the Ukrainian sounds representations that can be used by mmsyn7 series of programs |
| perlPackages.AppFatPackerSimple | A simpler way to fatpack perl programs |
| haskellPackages.haskell-menu | A simple menu system for Haskell programs |
| texlivePackages.scratch3 | Draw programs like "scratch" |
| texlivePackages.scratchx | Include Scratch programs in LaTeX documents |
| haskellPackages.edit-lenses-demo | Programs demoing the use of symmetric, stateful edit lenses |
| perlPackages.ServerStarter | Superdaemon for hot-deploying server programs |
| haskellPackages.Pup-Events-PQueue | A networked event handling framework for hooking into other programs |
| haskellPackages.broccoli | Small library for interactive functional programs |
| haskellPackages.pathwalk | Path walking utilities for Haskell programs |
| haskellPackages.peakachu | Experiemental library for composable interactive programs |
| perl5Packages.AppFatPackerSimple | A simpler way to fatpack perl programs |
| perl540Packages.TestPerlCritic | Use Perl::Critic in test programs |
| perl538Packages.TestPerlCritic | Use Perl::Critic in test programs |
| bashup-events32 | Event listener/callback API for creating extensible bash programs |
| bashup-events44 | Event listener/callback API for creating extensible bash programs |
| haskellPackages.lushtags | Create ctags compatible tags files for Haskell programs |
| haskellPackages.catalyst | A Category typeclass hierarchy powerful enough to encode full programs |
| haskellPackages.proctest | An IO library for testing interactive command line programs |
| perl5Packages.ServerStarter | Superdaemon for hot-deploying server programs |
| haskellPackages.hasktags | Produces ctags "tags" and etags "TAGS" files for Haskell programs |
| haskellPackages.shell-utility | Utility functions for writing command-line programs |
| haskellPackages.xournal-types | Data types for programs for xournal file format |
| perl538Packages.CaptureTiny | Capture STDOUT and STDERR from Perl, XS or external programs |
| perl540Packages.CaptureTiny | Capture STDOUT and STDERR from Perl, XS or external programs |
| haskellPackages.dph-examples | Data Parallel Haskell example programs |
| haskellPackages.vty-examples | Examples programs using the vty library |
| haskellPackages.Pup-Events-Server | A networked event handling framework for hooking into other programs |
| haskellPackages.Pup-Events-Client | A networked event handling framework for hooking into other programs |
| haskellPackages.uu-cco-examples | Utilities for compiler construction: example programs |
| perlPackages.commonsense | Implements some sane defaults for Perl programs |
| haskellPackages.qtah-examples | Example programs for Qtah Qt bindings |
| haskellPackages.hsqml-demo-samples | HsQML sample programs |
| haskellPackages.QuickCheck_2_17_1_0 | Automatic testing of Haskell programs |
| perl5Packages.commonsense | Implements some sane defaults for Perl programs |
| texlivePackages.context-filter | Run external programs on the contents of a start-stop environment |
| texlivePackages.texlive-scripts | TeX Live infrastructure programs |
| haskellPackages.hskeleton | Skeleton for new Haskell programs |
| haskellPackages.graphql-client | A client for Haskell programs to query a GraphQL API |
| haskellPackages.hyloutils | Very small programs for hybrid logics |
| haskellPackages.dovetail-aeson | Use Aeson from your Dovetail programs |
| haskellPackages.crucible-debug | An interactive debugger for Crucible programs |
| libfaketime | Report faked system time to programs without having to change the system-wide time |
| perl540Packages.AppFatPackerSimple | A simpler way to fatpack perl programs |
| perl538Packages.AppFatPackerSimple | A simpler way to fatpack perl programs |
| haskellPackages.shake-literate | Rules for building literate programs in shake |
| haskellPackages.transient | composing programs with multithreading, events and distributed computing |
| haskellPackages.language-ocaml | Language tools for manipulating OCaml programs in Haskell |
| haskellPackages.nlp-scores-scripts | NLP scoring command-line programs |
| haskellPackages.yesod-examples | Example programs using the Yesod Web Framework. (deprecated) |
| perl540Packages.ServerStarter | Superdaemon for hot-deploying server programs |
| perl538Packages.ServerStarter | Superdaemon for hot-deploying server programs |
| haskellPackages.copilot_4_6 | A stream DSL for writing embedded C programs |
| perlPackages.HTMLFormatExternal | HTML to text formatting using external programs |
| haskellPackages.canteven-config | A pattern for configuring programs |
| perl5Packages.HTMLFormatExternal | HTML to text formatting using external programs |
| perlPackages.TestWWWMechanizePSGI | Test PSGI programs using WWW::Mechanize |
| perl538Packages.commonsense | Implements some sane defaults for Perl programs |
| perl540Packages.commonsense | Implements some sane defaults for Perl programs |
| haskellPackages.regex-examples | Tutorial, tests and example programs for regex |
| perl5Packages.TestWWWMechanizePSGI | Test PSGI programs using WWW::Mechanize |
| haskellPackages.language-c99-simple | C-like AST to simplify writing C99 programs |
| haskellPackages.instrument | Easy stats/metrics instrumentation for Haskell programs |
| haskellPackages.servant-examples | Example programs for servant |
| haskellPackages.quickbench | quick & easy benchmarking of command-line programs |
| haskellPackages.copilot-verifier | System for verifying the correctness of generated Copilot programs |
| haskellPackages.android-activity | Turn regular Haskell programs into Android Activities |
| texlivePackages.collection-basic | Essential programs and files |
| perl538Packages.HTMLFormatExternal | HTML to text formatting using external programs |
| perl540Packages.HTMLFormatExternal | HTML to text formatting using external programs |
| haskellPackages.imperative-edsl | Deep embedding of imperative programs with code generation |
| perl540Packages.TestWWWMechanizePSGI | Test PSGI programs using WWW::Mechanize |
| perl538Packages.TestWWWMechanizePSGI | Test PSGI programs using WWW::Mechanize |
| haskellPackages.imperative-edsl-vhdl | Deep embedding of VHDL programs with code generation |
| haskellPackages.threadscope | A graphical tool for profiling parallel Haskell programs |
| haskellPackages.freer-simple-profiling | Automatic profling of freer-simple programs |
| haskellPackages.hack-frontend-monadcgi | Allows programs written against MonadCGI to run with any hack handler. (deprecated) |
| texlivePackages.collection-wintools | Windows-only support programs |
| texlivePackages.collection-binextra | TeX auxiliary programs |
| haskellPackages.applicative-splice | Write applicative programs in direct style (generalizes idiom brackets) |
| haskellPackages.quickcheck-state-machine | Test monadic programs using state machine based models |
| haskellPackages.jsonextfilter | Filter select values in JSON objects to unix programs |
| haskellPackages.lazysmallcheck | A library for demand-driven testing of Haskell programs |
| haskellPackages.shelltestrunner | Easy, repeatable testing of CLI programs/commands |
| haskellPackages.quickcheck-state-machine-distributed | Test monadic programs using state machine based models |
| haskellPackages.shelltestrunner_1_11 | Easy, repeatable testing of CLI programs/commands |