| 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 |
| halo | Self-hosted dynamic blogging program |
| anki-bin | Spaced repetition flashcard program |
| tiv | Small C++ program to display images in a (modern) terminal using RGB ANSI codes and unicode block graphics characters |
| pinta | Drawing/editing program modeled after Paint.NET |
| hterm | Terminal program for serial communication |
| mfaktc | Trial Factoring program using CUDA for GIMPS |
| mlton | Open-source, whole-program, optimizing Standard ML compiler |
| tet | Test Environment Toolkit is used in test applications like The Open Group's UNIX Certification program and the Free Standards Group's LSB Certification program |
| cp2k | Quantum chemistry and solid state physics program |
| tlf | Advanced ham radio logging and contest program |
| mup | Music typesetting program (ASCII to PostScript and MIDI) |
| dsp | Audio processing program with an interactive mode |
| mltonHEAD | Open-source, whole-program, optimizing Standard ML compiler |
| bato | Small program to send battery notifications |
| zzz | Simple program to suspend or hibernate your computer |
| pal | Command-line calendar program that can keep track of events |
| dex | Program to generate and execute DesktopEntry files of the Application type |
| aldo | Morse code training program |
| ms-sys | Program for writing Microsoft-compatible boot records |
| ktfmt | Program that reformats Kotlin source code to comply with the common community standard for Kotlin code conventions |
| reptyr | Reparent a running program to a new terminal |
| vlock | Virtual console locking program |
| rdup | Only backup program that doesn't make backups |
| megacli | CLI program for LSI MegaRAID cards, which also works with some Dell PERC RAID cards |
| dtee | Run a program with standard output and standard error copied to files |
| grig | Simple Ham Radio control (CAT) program based on Hamlib |
| gdm | Program that manages graphical display servers and handles graphical user logins |
| ggobi | Visualization program for exploring high-dimensional data |
| wofi | Launcher/menu program for wlroots based wayland compositors such as sway |
| ispc | Intel 'Single Program, Multiple Data' Compiler, a vectorised language |
| flmsg | Digital modem message program |
| fllog | Digital modem log program |
| veusz | Scientific plotting and graphing program with a GUI |
| flrig | Digital modem rig control program |
| kazam | Screencasting program created with design in mind |
| qmk | Program to help users work with QMK Firmware |
| seren | Simple ncurses VoIP program based on the Opus codec |
| tt-smi | Tenstorrent console based hardware information program |
| fbset | Framebuffer device maintenance program |
| detect-it-easy | Program for determining types of files for Windows, Linux and MacOS |
| gimp | GNU Image Manipulation Program |
| xnbd | Yet another NBD (Network Block Device) server program |
| fstar | ML-like functional programming language aimed at program verification |
| hello-go | Simple program printing hello world in Go |
| gimp3 | GNU Image Manipulation Program |
| bsd-finger | User information lookup program |
| mtpaint | Simple GTK painting program |
| nettee | Network "tee" program |
| libpfm | Helper library to program the performance monitoring events |
| go-i18n | Translate your Go program into multiple languages |
| cqrlog | Linux logging program for amateur radio operators |
| afetch | Fetch program written in C |
| m33-linux | Linux program that can communicate with the Micro 3D printer |
| wllvm | Wrapper script to build whole-program LLVM bitcode files |
| vesta-viewer | 3D visualization program for structural models, volumetric data such as electron/nuclear densities, and crystal morphologies |
| flwrap | Digital modem file transfer program |
| trelby | Free, multiplatform, feature-rich screenwriting program |
| marvin | Chemical modelling, analysis and structure drawing program |
| restic | Backup program that is fast, efficient and secure |
| alist | File list/WebDAV program that supports multiple storages |
| mmake | Small program which wraps make to provide additional functionality |
| unrpa | Program to extract files from the RPA archive format |
| pouf | CLI program for produce fake datas |
| xkbset | Program to help manage many of XKB features of X window |
| todo | Simple todo cli program written in rust |
| gimpPlugins.gimp | GNU Image Manipulation Program |
| gui-for-clash | Clash GUI program developed by vue3 + wails |
| ps_mem | Utility to accurately report the in core memory usage for a program |
| pace | Command-line program for mindful time tracking |
| rzip | Compression program |
| bemenu | Dynamic menu library and client program inspired by dmenu |
| sss-cli | Command line program for secret-sharing strings |
| sc-im | Ncurses spreadsheet program for terminal |
| unar | Archive unpacker program |
| shavee | Program to automatically decrypt and mount ZFS datasets using Yubikey HMAC as 2FA or any File on USB/SFTP/HTTPS |
| kickoff | Minimalistic program launcher |
| icmake | Program maintenance (make) utility using a C-like grammar |
| gllvm | Whole Program LLVM: wllvm ported to go |
| xlog | Amateur radio logging program |
| libsForQt5.kamoso | Simple and friendly program to use your camera |
| 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 |
| bombono | DVD authoring program for personal computers |
| motoc | MOnado Tracking Origin Calibration program |
| aphorme | Program launcher for window managers, written in Rust |
| pies | Program invocation and execution supervisor |
| solfege | Ear training program |
| klavaro | Free touch typing tutor program |
| wol | Implements Wake On LAN functionality in a small program |
| mate.eom | Image viewing and cataloging program for the MATE desktop |
| find-cursor | Simple XLib program to highlight the cursor position |
| swaymux | Program to quickly navigate sway |
| tunnelx | Program for drawing cave surveys in 2D |
| goread | Beautiful program to read your RSS/Atom feeds right in the terminal |
| zeyple | Utility program to automatically encrypt outgoing emails with GPG |
| artem | Small CLI program to convert images to ASCII art |
| 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 |
| wayidle | Execute a program when a Wayland compositor reports being N seconds idle |
| devmem2 | Simple program to read/write from/to any location in memory |
| sysmenu | Simple program launcher using GTK4 |
| qjoypad | Program that lets you use gaming devices anywhere |
| 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 |
| abiword | Word processing program, similar to Microsoft Word |
| samfirm-js | Program for downloading Samsung firmware |
| maxcso | Fast ISO to CSO compression program for use with PSP and PS2 emulators, which uses multiple algorithms for best compression ratio |
| flamp | Digital modem program |
| xsel | Command-line program for getting and setting the contents of the X selection |
| fastcap | Multipole-accelerated capacitance extraction program |
| ergoscf | Quantum chemistry program for large-scale self-consistent field calculations |
| rtklib-ex | Open Source Program Package for GNSS Positioning |
| 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 |
| simple-dftd3 | Reimplementation of the DFT-D3 program |
| gimp2 | GNU Image Manipulation Program |
| vzic | Program to convert the IANA timezone database files into VTIMEZONE files compatible with the iCalendar specification |
| undervolt | Program for undervolting Intel CPUs on Linux |
| kdePackages.kmix | Volume control program |
| ecpdap | Tool to program ECP5 FPGAs |
| pspp | Free replacement for SPSS, a program for statistical analysis of sampled data |
| termbg | Program for terminal background color detection |
| 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 |
| fasthenry | Multipole-accelerated inductance analysis program |
| libsForQt5.kalzium | Program that shows you the Periodic Table of Elements |
| glpaper | Wallpaper program for wlroots based Wayland compositors such as sway that allows you to render glsl shaders as your wallpaper |
| 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 |
| softether | Open-Source Free Cross-platform Multi-protocol VPN Program |
| libsForQt5.kturtle | Educational programming environment for learning how to program |
| deqp-runner | VK-GL-CTS/dEQP wrapper program to parallelize it across CPUs and report results against a baseline |
| hayabusa | Swift rust fetch program |
| 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 |
| astrolog | Freeware astrology program |
| grafx2 | Ultimate 256-color painting program |
| swapview | Simple program to view processes' swap usage on Linux |
| 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 |
| gui-for-singbox | SingBox GUI program developed by vue3 + wails |
| thinkfan | Simple, lightweight fan control program |
| workrave | Program to help prevent Repetitive Strain Injury |
| xcircuit | Generic drawing program tailored to circuit diagrams |
| 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 |
| ocamlPackages.cil | Front-end for the C programming language that facilitates program analysis and transformation |
| tcptrack | libpcap based program for live TCP connection monitoring |
| texworks | Simple TeX front-end program inspired by TeXShop |
| identity | Program for comparing multiple versions of an image or video |
| microcom | Minimalistic terminal program for communicating
with devices over a serial connection |
| oscclip | Program that allows to copy/paste from a terminal using osc-52 control sequences |
| 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 |
| bpftools | Debugging/program analysis tools for the eBPF subsystem |
| mpvpaper | Video wallpaper program for wlroots based wayland compositors |
| ferium | Fast and multi-source CLI program for managing Minecraft mods and modpacks from Modrinth, CurseForge, and GitHub Releases |
| 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 |
| pixinsight | Scientific image processing program for astrophotography |
| wf-recorder | Utility program for screen recording of wlroots-based compositors |
| 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! |
| trrntzip | Goal of the program is to use standard values when creating zips to create identical files over multiple systems |
| 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 |
| freeoffice | Office suite with a word processor, spreadsheet and presentation program |
| shaderbg | Shader-based live wallpaper program for compositors that support wlr-layer-shell (Sway and others) |
| filegive | Easy p2p file sending program |
| libsForQt5.umbrello | Unified Modelling Language (UML) diagram program |
| vcprompt | Program that prints barebones information about the current working directory for various version control systems |
| getmail6 | Program for retrieving mail |
| picocom | Minimal dumb-terminal emulation program |
| libunwind | Portable and efficient API to determine the call-chain of a program |
| pnglatex | Small program that converts LaTeX snippets to png |
| rivalcfg | Utility program that allows you to configure SteelSeries Rival gaming mice |
| fortune | Program that displays a pseudorandom message from a database of quotations |
| ispell | Interactive spell-checking program for Unix |
| mlton20241230 | Open-source, whole-program, optimizing Standard ML compiler |
| mlton20130715 | Open-source, whole-program, optimizing Standard ML compiler |
| pgf_graphics | Progressive Graphics Format command line program |
| tvbrowser | Electronic TV Program Guide |
| flac123 | Command-line program for playing FLAC audio files |
| bitscope.console | Demonstrative communications program designed to make it easy to talk to any model BitScope |
| dblatex | Program to convert DocBook to DVI, PostScript or PDF via LaTeX or ConTeXt |
| softmaker-office | Office suite with a word processor, spreadsheet and presentation program |
| gimp-with-plugins | GNU Image Manipulation Program |
| satellite | Program for showing navigation satellite data |
| ent | Pseudorandom Number Sequence Test Program |
| minipro | Open source program for controlling the MiniPRO TL866xx series of chip programmers |
| puddletag | Audio tag editor similar to the Windows program, Mp3tag |
| 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 |
| softmaker-office-nx | Office suite with a word processor, spreadsheet and presentation program |
| gimp3-with-plugins | GNU Image Manipulation Program |
| file | Program that shows the type of files |
| mlton20180207 | Open-source, whole-program, optimizing Standard ML compiler |
| mlton20210117 | Open-source, whole-program, optimizing Standard ML compiler |
| 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 |
| ocamlPackages_latest.cil | Front-end for the C programming language that facilitates program analysis and transformation |
| cloc | Program that counts lines of source code |
| k4dirstat | Small utility program that sums up disk usage for directory trees |
| ocrfeeder | Complete Optical Character Recognition and Document Analysis and Recognition program |
| 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 |
| xautolock | Launch a given program when your X session has been idle for a given time |
| 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 |
| star-history | Command line program to generate a graph showing number of GitHub stars of a user, org or repo over time |
| 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 |
| anyrun-provider | Simple program to load Anyrun plugins and interact with them |
| crypto-tracker | Program to retrieve the latest price for several cryptocurrencies using the CoinMarketCap API |
| maxfetch | Nice fetching program written in sh |
| runningx | Program for testing if X is running |
| imagelol | Simple program to store a file into a PNG image |
| 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 |
| systemd-manager-tui | Program for managing systemd services through a TUI |
| 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 |
| gnome-monitor-config | Program to help manage GNOME monitor configuration |
| mlton20180207Binary | Open-source, whole-program, optimizing Standard ML compiler |
| solvespace | Parametric 3d CAD program |
| 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 |
| openmeters | Fast and simple audio metering/visualization program for Linux |
| sqlauncher | Simple QT6 Program Launcher |
| xdiskusage | Program to show you what is using up all your disk space |
| goldendict | Feature-rich dictionary lookup program |
| 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 |
| ddccontrol | Program used to control monitor parameters by software |
| grabserial | Python based serial dump and timing 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 |
| cryptomator-cli | Command line program to access encrypted Cryptomator vaults |
| asus-wmi-screenpad-ctl | Brightness control program for the asus-wmi-screenpad kernel module |
| goldendict-ng | Advanced multi-dictionary lookup program |
| adif-multitool | Command-line program for working with ham logfiles |
| xkblayout-state | Small command-line program to get/set the current XKB keyboard layout |
| iptables-legacy | Program to configure the Linux IP packet filtering ruleset |
| python313Packages.pysim | Python tool to program SIMs / USIMs / ISIMs |
| python314Packages.pysim | Python tool to program SIMs / USIMs / ISIMs |
| dnsdbq | C99 program that accesses passive DNS database systems |
| bzip2 | High-quality data compression program |
| libsForQt5.kmousetool | Program that clicks the mouse for you |
| pamtester | Utility program to test the PAM facility |
| prooftree | Program for proof-tree visualization |
| mp3cat | Command line program which concatenates MP3 files |
| djenrandom | C program to generate random data using several random models,
with parameterized non uniformities and flexible output formats
|
| rustdesk-server | RustDesk Server Program |
| iptables-nftables-compat | Program to configure the Linux IP packet filtering ruleset |
| 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 |
| vdrPlugins.epgsearch | Searchtimer and replacement of the VDR program menu |
| 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 |
| fsnotifier | IntelliJ Platform companion program for watching and reporting file and directory structure modification |
| 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.simple-dftd3 | Reimplementation of the DFT-D3 program |
| python314Packages.simple-dftd3 | Reimplementation of the DFT-D3 program |
| python313Packages.scapy | Python-based network packet manipulation program and library |
| python314Packages.scapy | Python-based network packet manipulation program and library |
| python313Packages.eyed3 | Python module and command line program for processing ID3 tags |
| quivira | Free Unicode font in the OpenType format which is supported by every usual office program or printer |
| ocamlPackages.reanalyze | Program analysis for ReScript and OCaml projects |
| 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 |
| gtranslator | GNOME translation making program |
| deepin.dde-appearance | Program used to set the theme and appearance of deepin desktop |
| iptables | Program to configure the Linux IP packet filtering ruleset |
| kdePackages.cmark | CommonMark parsing and rendering library and program in C |
| factoriolab | Angular-based calculator for factory games like Factorio and Dyson Sphere Program |
| eiskaltdcpp | Cross-platform program that uses the Direct Connect and ADC protocols |
| cheesecutter | Tracker program for composing music for the SID chip |
| haskellPackages.tn | A simple daily journal program |
| perl5Packages.TestTCP | Testing TCP program |
| libsForQt5.kolourpaint | Paint program |
| openresolv | Program to manage /etc/resolv.conf |
| haskellPackages.hit | Git like program in haskell |
| awesomebump | Program to generate normal, height, specular or ambient occlusion textures from a single image |
| 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 |
| xinput-calibrator | Generic touchscreen calibration program for X.Org |
| 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 |
| wl-gammarelay-rs | Simple program that provides DBus interface to control display temperature and brightness under wayland without flickering |
| languagetool | Proofreading program for English, French German, Polish, and more |
| 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.simple-dftd3 | Reimplementation of the DFT-D3 program |
| 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 |
| ocamlPackages_latest.reanalyze | Program analysis for ReScript and OCaml projects |
| 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 |
| discourse-mail-receiver | Helper program which receives incoming mail for Discourse |
| synaesthesia | Program for representing sounds visually |
| python314Packages.protonup-ng | CLI program and API to automate the installation and update of GloriousEggroll's Proton-GE |
| lxappearance | Lightweight program for configuring the theme and fonts of gtk applications |
| synfigstudio | 2D animation program |
| python312Packages.pysim | Python tool to program SIMs / USIMs / ISIMs |
| perlPackages.ProcDaemon | Run Perl program(s) as a daemon process |
| jack_capture | Program for recording soundfiles with jack |
| haskellPackages.hutton | A program for the button on Reddit |
| perlPackages.AppMusicChordPro | Lyrics and chords formatting program |
| disk_indicator | Program that will turn a LED into a hard disk indicator |
| evilpixie | Pixel-oriented paint program, modelled on Deluxe Paint |
| haskellPackages.intero | Complete interactive development program for Haskell |
| haskellPackages.stack-fix | Console program used to fix Stack build errors automatically |
| perl5Packages.ProcDaemon | Run Perl program(s) as a daemon process |
| lxappearance-gtk2 | Lightweight program for configuring the theme and fonts of gtk applications |
| 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 |
| wipefreespace | Program which will securely wipe the free space |
| haskellPackages.cabal-bounds | A command line program for managing the dependency versions in a cabal file |
| brightnessctl | This program allows you read and control device brightness |
| metamorphose2 | Graphical mass renaming program for files and folders |
| 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 |
| imewlconverter | FOSS program for converting IME dictionaries |
| cinnamon-screensaver | Cinnamon screen locker and screensaver program |
| haskellPackages.bamstats | A program to extract various information from BAM alignmnet files |
| haskellPackages.graphmod | Present the module dependencies of a program as a "dot" graph |
| perl5Packages.TestRunValgrind | Tests that an external program is valgrind-clean |
| accuraterip-checksum | Program for computing the AccurateRip checksum of singletrack WAV files |
| haskellPackages.ghc-debug-common | Connect to a socket created by ghc-debug-stub and analyse the heap of the debuggee program |
| haskellPackages.mathblog | A program for creating and managing a static weblog with LaTeX math and diagrams |
| haskellPackages.hsfacter | A small and ugly library that emulates the output of the puppet facter program |
| 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 |
| isoimagewriter | Program to write hybrid ISO files onto USB disks |
| industrializer | This program generates synthesized percussion sounds using physical modelling |
| locate-dominating-file | Program that looks up in a directory hierarchy for a given filename |
| haskellPackages.update-nix-fetchgit | A program to update fetchgit values in Nix expressions |
| python312Packages.autocommand | Autocommand turns a python function into a CLI program |
| switch-to-configuration-ng | NixOS switch-to-configuration program |
| python312Packages.scenedetect | Python and OpenCV-based scene cut/transition detection program & library |
| soundtracker | Music tracking tool similar in design to the DOS program FastTracker and the Amiga legend ProTracker |
| haskellPackages.hasql-streams-example | An example program that shows how to use Hasql streams with Rel8 |
| influxdb2-token-manipulator | Utility program to manipulate influxdb api tokens for declarative setups |
| haskellPackages.executable-hash | Provides the SHA1 hash of the program executable |
| haskellPackages.Agda-executable | Command-line program for type-checking and compiling Agda programs |
| perlPackages.StringToIdentifierEN | Convert Strings to English Program Identifiers |
| perceptualdiff | Program that compares two images using a perceptually based image metric |
| texlivePackages.hvpygmentex | Syntax-Highlighting of program code |
| perl5Packages.StringToIdentifierEN | Convert Strings to English Program Identifiers |
| kdePackages.isoimagewriter | Program to write hybrid ISO files onto USB disks |
| haskellPackages.postgresql-config | Types for easy adding postgresql configuration to your program |
| haskellPackages.rabocsv2qif | A library and program to create QIF files from Rabobank CSV exports |
| audiowaveform | C++ program to generate waveform data and render waveform images from audio files |
| haskellPackages.HaskellAnalysisProgram | Haskell source code analysis program |
| perl538Packages.StringToIdentifierEN | Convert Strings to English Program Identifiers |
| perl540Packages.StringToIdentifierEN | Convert Strings to English Program Identifiers |
| python313Packages.aio-geojson-usgs-earthquakes | Module for accessing the U.S. Geological Survey Earthquake Hazards Program feeds |
| python314Packages.aio-geojson-usgs-earthquakes | Module for accessing the U.S. Geological Survey Earthquake Hazards Program feeds |
| texlivePackages.memorygraphs | TikZ styles to typeset graphs of program memory |
| haskellPackages.multiplicity | Wrapper program for duplicity, adding config files |
| openorienteering-mapper | Orienteering mapmaking program |
| haskellPackages.textmatetags | A simple Haskell program to provide tags for Haskell code completion in TextMate |
| haskellPackages.lambdacube-compiler | LambdaCube 3D is a DSL to program GPUs |
| chickenPackages_5.chickenEggs.svnwiki2html | A program to convert svnwiki syntax to HTML |
| haskellPackages.reflex-dom-fragment-shader-canvas | A reflex-dom widget to draw on a canvas with a fragment shader program |
| jpegexiforient | Utility program to get and set the Exif Orientation Tag |
| python312Packages.aio-geojson-usgs-earthquakes | Module for accessing the U.S. Geological Survey Earthquake Hazards Program feeds |
| haskellPackages.functor-combinators | Tools for functor combinator-based program design |
| haskellPackages.visual-graphrewrite | Visualize the graph-rewrite steps of a Haskell program |
| haskellPackages.stackcollapse-ghc | Program to fold GHC prof files into flamegraph input |
| xinput_calibrator | Generic touchscreen calibration program for X.Org |
| haskellPackages.Holumbus-Distribution | intra- and inter-program communication |
| haskellPackages.puppetresources | A program that displays the puppet resources associated to a node given .pp files. |
| gnomeExtensions.control-monitor-brightness-and-volume-with-ddcutil | Brightness and volume control for monitors. Requires setting up the external ddcutil program for your user. |
| haskellPackages.dresdner-verkehrsbetriebe | Library and program for querying DVB (Dresdner Verkehrsbetriebe AG) |
| opae | Open Programmable Acceleration Engine SDK |
| steam-play-none | Steam Play Compatibility Tool to run games as-is
(This is intended for use in the `programs.steam.extraCompatPackages` option only.)
|
| proton-ge-bin | Compatibility tool for Steam Play based on Wine and additional components.
(This is intended for use in the `programs.steam.extraCompatPackages` option only.)
|
| io | Io programming language |
| roc | Fast, friendly, functional programming language |
| cplex | Optimization solver for mathematical programming |
| sam-ba | Programming tools for Atmel SAM3/7/9 ARM-based microcontrollers |
| factor-lang | Concatenative, stack-based programming language |
| factor-lang-0_99 | Concatenative, stack-based programming language |
| factor-lang-0_101 | Concatenative, stack-based programming language |
| factor-lang-0_100 | Concatenative, stack-based programming language |
| mozart2-binary | Multiplatform implementation of the Oz programming language |
| factorPackages.factor-lang | Concatenative, stack-based programming language |
| factorPackages.factor-no-gui | Concatenative, stack-based programming language |
| factorPackages-0_99.factor-no-gui | Concatenative, stack-based programming language |
| factorPackages-0_99.factor-lang | Concatenative, stack-based programming language |
| factorPackages-0_100.factor-no-gui | Concatenative, stack-based programming language |
| factorPackages-0_101.factor-lang | Concatenative, stack-based programming language |
| factorPackages-0_100.factor-lang | Concatenative, stack-based programming language |
| factorPackages-0_101.factor-no-gui | Concatenative, stack-based programming language |
| factorPackages.factor-minimal | Concatenative, stack-based programming language |
| factorPackages.factor-minimal-gui | Concatenative, stack-based programming language |
| factorPackages-0_99.factor-minimal | Concatenative, stack-based programming language |
| factorPackages-0_99.factor-minimal-gui | Concatenative, stack-based programming language |
| factorPackages-0_100.factor-minimal | Concatenative, stack-based programming language |
| factorPackages-0_101.factor-minimal | Concatenative, stack-based programming language |
| factorPackages-0_100.factor-minimal-gui | Concatenative, stack-based programming language |
| factorPackages-0_101.factor-minimal-gui | Concatenative, stack-based programming language |
| factorPackages.factor-unwrapped | Concatenative, stack-based programming language |
| factorPackages-0_99.factor-unwrapped | Concatenative, stack-based programming language |
| factorPackages-0_100.factor-unwrapped | Concatenative, stack-based programming language |
| factorPackages-0_101.factor-unwrapped | Concatenative, stack-based programming language |
| verifast | Verification for C and Java programs via separation logic |
| haskellPackages.keid-render-basic | Basic rendering programs for Keid engine |
| gtkclipblock | LD_PRELOAD hack to prevent GTK programs from interacting with the primary clipboard |
| pinokio | Browser to install, run, and programmatically control ANY application automatically |
| red | New programming language strongly inspired by Rebol, but with a
broader field of usage thanks to its native-code compiler, from system
programming to high-level scripting, while providing modern support for
concurrency and multi-core CPUs
|
| ngn-k | Simple fast vector programming language |
| cudaPackages.cuda_nvml_dev | C-based programmatic interface for monitoring and managing various states within Data Center GPUs |
| clean | General purpose, state-of-the-art, pure and lazy functional programming language |
| gurobi | Optimization solver for mathematical programming |
| turingplus | Extended version of the Turing programming language with concurrency and systems programming features |
| sourcery | AI-powered code review and pair programming tool for Python |
| cudaPackages.cuda_nvtx | C-based Application Programming Interface (API) for annotating events, code ranges, and resources in your applications |
| cudaPackages.libnvshmem | Parallel programming interface for NVIDIA GPUs based on OpenSHMEM |
| vscode-extensions.sourcery.sourcery | VSCode extension for Sourcery, an AI-powered code review and pair programming tool for Python |
| playonlinux | GUI for managing Windows programs under linux |
| fmodex | Programming library and toolkit for the creation and playback of interactive audio |
| bliss | Open source tool for computing automorphism groups and canonical forms of graphs. It has both a command line user interface as well as C++ and C programming language APIs |
| kotlin-native | Modern programming language that makes developers happier |
| muvm | Run programs from your system in a microVM |
| jpm | Janet Project Manager for the Janet programming language |
| icr | Interactive console for the Crystal programming language |
| juniper | Functional reactive programming language for programming Arduino |
| dart | Scalable programming language, with robust libraries and runtimes, for building web, server, and mobile apps |
| dafny | Programming language with built-in specification constructs |
| ponyc | Pony is an Object-oriented, actor-model, capabilities-secure, high performance programming language |
| geogram | Programming Library with Geometric Algorithms |
| smlfut | Allow SML programs to call Futhark programs |
| yamlscript | Programming in YAML |
| purescript | Strongly-typed functional programming language that compiles to JavaScript |
| smlpkg | Generic package manager for Standard ML libraries and programs |
| pulumi-bin | Pulumi is a cloud development platform that makes creating cloud programs easy and productive |
| rockstarlang | Esoteric programming language whose syntax is inspired by the lyrics to 80s hard rock and heavy metal songs |
| discord-gamesdk | Library to allow other programs to interact with the Discord desktop application |
| julec | Jule Programming Language Compiler |
| picat | Logic-based programming language |
| juledoc | Official documentation generator for the Jule programming language |
| julefmt | Official formatter tool for the Jule programming language |
| dub | Package and build manager for D programs and libraries |
| hare | Systems programming language designed to be simple, stable, and robust |
| box64 | Lets you run x86_64 Linux programs on non-x86_64 Linux systems |
| hareThirdParty.hare-ev | Event loop for Hare programs |
| anyk | Tool for filling forms for the Hungarian government |
| flix | Flix Programming Language |
| openjump | Open source Geographic Information System (GIS) written in the Java programming language |
| ballerina | Open-source programming language for the cloud |
| cosmocc | Compilers for Cosmopolitan C/C++ programs |
| bacnet-stack | BACnet open source protocol stack for embedded systems, Linux, and Windows |
| ocamlPackages.rdbg | Programmable debugger that targets reactive programs for which a rdbg-plugin exists. Currently two plugins exist : one for Lustre, and one for Lutin (nb: both are synchronous programming languages) |
| ocamlPackages_latest.rdbg | Programmable debugger that targets reactive programs for which a rdbg-plugin exists. Currently two plugins exist : one for Lustre, and one for Lutin (nb: both are synchronous programming languages) |
| py-spy | Sampling profiler for Python programs |
| desk-exec | Execute programs defined in XDG desktop entries directly from the command line |
| bpflinter | Linting functionality for BPF C programs |
| gren | Programming language for simple and correct applications |
| node-red | Low-code programming for event-driven applications |
| uisp | Tool for AVR microcontrollers which can interface to many hardware in-system programmers |
| gnomeExtensions.reading-strip | It's an extension for Gnome-Shell. It works as a reading guide for computer and this is really useful for people affected by dyslexia. It works great in helping children focusing to read very well, it marks the sentence that they are reading and hides the previous and the next one. It's already used in education projects at schools, it puts the attention on screen but it's also really useful for programmers and graphic designers who want to check their works. |
| ats | Functional programming language with dependent types |
| hop | Multi-tier programming language for the Web 2.0 and the so-called diffuse Web |
| colobot | Real-time strategy game with programmable bots |
| netlogo | Multi-agent programmable modeling environment |
| clipcat | Clipboard Manager written in Rust Programming Language |
| dediprog-sf100 | Linux software for DediProg SF100/SF600 programmers |
| kexi | Open source visual database applications creator, a long-awaited competitor for programs like MS Access or Filemaker |
| obliv-c | GCC wrapper that makes it easy to embed secure computation protocols inside regular C programs |
| orjail | Force programs to exclusively use tor network |
| avrdudess | GUI for AVRDUDE (AVR microcontroller programmer) |
| haskellPackages.streamed | Programmatically edit MIDI event streams via ALSA |
| libsForQt5.ktimer | Little tool to execute programs after some time |
| liberation-circuit | Real-time strategy game with programmable units |
| gnomeExtensions.shyriiwook | Switch keyboard layouts programmatically |
| fut | Fusion programming language |
| p4c | Reference compiler for the P4 programming language |
| eweb | Asciidoc-based literate programming tool, written in Python |
| nqc | Programming language for several LEGO MINDSTORMS products including the RCX, CyberMaster, and Scout |
| tt-metal | TT-NN operator library, and TT-Metalium low level kernel programming model |
| lesbar | Programming language agnostic view layer for creating desktop widgets and status bars |
| gtk-server | Gtk-server for interpreted GUI programming |
| allegro4 | Game programming library |
| allegro | Game programming library |
| cpeditor | IDE specially designed for competitive programming |
| intercal | Original esoteric programming language |
| scipopt-zimpl | Zuse Institut Mathematical Programming Language |
| xc3sprog | Command-line tools for programming FPGAs, microcontrollers and PROMs via JTAG |
| funnelweb | Simple, reliable literate-programming macro preprocessor |
| wvstreams | Network programming library in C++ |
| footswitch | Command line utlities for programming PCsensor and Scythe foot switches |
| libavc1394 | Programming interface for the 1394 Trade Association AV/C (Audio/Video Control) Digital Interface Command Set |
| libguytools | Small programming toolbox |
| dee | Library that uses DBus to provide objects allowing you to create Model-View-Controller type programs across DBus |
| vlan | User mode programs to enable VLANs on Ethernet devices |
| python314Packages.schedula | Smart function scheduler for dynamic flow-based programming |
| python313Packages.schedula | Smart function scheduler for dynamic flow-based programming |
| kcov | Code coverage tester for compiled programs, Python scripts and shell scripts |
| acpid | Daemon for delivering ACPI events to userspace programs |
| python312Packages.schedula | Smart function scheduler for dynamic flow-based programming |
| globalarrays | Global Arrays Programming Models |
| hdrop | Emulate 'tdrop' in Hyprland (run, show and hide specific programs per keybind) |
| mdadm | Programs for managing RAID arrays under Linux |
| mdadm4 | Programs for managing RAID arrays under Linux |
| mymake | Tool for compiling and running programs with minimal configuration |
| ratmen | Minimalistic X11 menu creator |
| fbida | Image viewing and manipulation programs including fbi, fbgs, ida, exiftran and thumbnail.cgi |
| libbpf | Library for loading eBPF programs and reading and manipulating eBPF objects from user-space |
| supercollider | Programming language for real time audio synthesis |
| milu | Higher Order Mutation Testing Tool for C and C++ programs |
| supercollider-with-plugins | Programming language for real time audio synthesis |
| supercollider-with-sc3-plugins | Programming language for real time audio synthesis |
| flockit | LD_PRELOAD shim to add file locking to programs that don't do it (I'm looking at you, rsync!) |
| ipvsadm | Linux Virtual Server support programs |
| lxqt.lxqt-runner | Tool used to launch programs quickly by typing their names |
| advi | Unix-platform DVI previewer and a programmable presenter for slides written in LaTeX |
| nailgun | Client, protocol, and server for running Java programs from the command line without incurring the JVM startup overhead |
| tpm-quote-tools | Collection of programs that provide support for TPM based attestation using the TPM quote mechanism |
| supercollider_scel | Programming language for real time audio synthesis |
| symphony | Open-source solver, callable library, and development framework for mixed-integer linear programs (MILPs) |
| imhex | Hex Editor for Reverse Engineers, Programmers and people who value their retinas when working at 3 AM |
| gxmessage | GTK enabled dropin replacement for xmessage |
| gnome-system-monitor | System Monitor shows you what programs are running and how much processor time, memory, and disk space are being used |
| hyprfreeze | Utility to suspend a game process (and other programs) in Hyprland |
| rocmPackages.composable_kernel | Performance portable programming model for machine learning tensor operators |
| dvd-slideshow | Suite of command line programs that creates a slideshow-style video from groups of pictures |
| vibrantlinux | Tool to automate managing your screen's saturation depending on what programs are running |
| raysession | Session manager for Linux musical programs |
| elfkickers | Collection of programs that access and manipulate ELF files |
| evolution-data-server | Unified backend for programs that work with contacts, tasks, and calendar information |
| undaemonize | Tiny helper utility to force programs which insist on daemonizing themselves to run in the foreground |
| evolution-data-server-gtk4 | Unified backend for programs that work with contacts, tasks, and calendar information |
| stdoutisatty | Make programs think their stdout is a tty / terminal |
| libnetfilter_cthelper | Userspace library that provides the programming interface to the user-space connection tracking helper infrastructure |
| libnetfilter_cttimeout | Userspace library that provides the programming interface to the connection tracking timeout infrastructure |
| rocmPackages.composable_kernel_base | Performance portable programming model for machine learning tensor operators |
| syscall_limiter | Start Linux programs with only selected syscalls enabled |
| gnomeExtensions.inhibition-indicator | Indicates whether the system is prevented from sleeping by programs. |
| steamtinkerlaunch | Linux wrapper tool for use with the Steam client for custom launch options and 3rd party programs |
| cbc | Mixed integer programming solver |
| kcl | Command line interface for KCL programming language |
| eff | Functional programming language based on algebraic effects and their handlers |
| clp | Open-source linear programming solver written in C++ |
| nrpl | REPL for the Nim programming language |
| haxe | Programming language targeting JavaScript, Flash, NekoVM, PHP, C++ |
| neko | High-level dynamically typed programming language |
| qdmr | GUI application and command line tool for programming DMR radios |
| urweb | Advanced purely-functional web programming language |
| noweb | Simple, extensible literate-programming tool |
| gnuapl | Free interpreter for the APL programming language |
| reason | User-friendly programming language built on OCaml |
| haxe_4_3 | Programming language targeting JavaScript, Flash, NekoVM, PHP, C++ |
| haxe_4_1 | Programming language targeting JavaScript, Flash, NekoVM, PHP, C++ |
| swift | Swift Programming Language |
| haxe_4_0 | Programming language targeting JavaScript, Flash, NekoVM, PHP, C++ |
| allegro5 | Game programming library |
| swiftpm | Package Manager for the Swift Programming Language |
| avrdude | Command-line tool for programming Atmel AVR microcontrollers |
| ocamlPackages.brr | Toolkit for programming browsers in OCaml |
| ocamlPackages.eliom | OCaml Framework for programming Web sites and client/server Web applications |
| ocaml | OCaml is an industrial-strength programming language supporting functional, imperative and object-oriented styles |
| ocamlPackages.ocaml | OCaml is an industrial-strength programming language supporting functional, imperative and object-oriented styles |
| ocamlPackages.note | OCaml module for functional reactive programming |
| puredata | Real-time graphical programming environment for audio, video, and graphical processing |
| ocamlPackages.mezzo | Programming language in the ML tradition, which places strong emphasis on the control of aliasing and access to mutable memory |
| ocamlPackages.parmap | Library for multicore parallel programming |
| ocamlPackages.reason | User-friendly programming language built on OCaml |
| swiftPackages.swift | Swift Programming Language |
| asymptote | Tool for programming graphics intended to replace Metapost |
| ocamlPackages_latest.brr | Toolkit for programming browsers in OCaml |
| ocamlPackages_latest.eliom | OCaml Framework for programming Web sites and client/server Web applications |
| swiftPackages.swiftpm | Package Manager for the Swift Programming Language |
| ocamlPackages_latest.note | OCaml module for functional reactive programming |
| ocamlPackages_latest.mezzo | Programming language in the ML tradition, which places strong emphasis on the control of aliasing and access to mutable memory |
| ocamlPackages_latest.parmap | Library for multicore parallel programming |
| ocamlPackages.camlp4 | Software system for writing extensible parsers for programming languages |
| ocamlPackages_latest.reason | User-friendly programming language built on OCaml |
| swiftPackages.swift-unwrapped | Swift Programming Language |
| ocamlPackages.reason-native.reason | User-friendly programming language built on OCaml |
| swiftPackages.swiftNoSwiftDriver | Swift Programming Language |
| chickenPackages_4.chicken | Portable compiler for the Scheme programming language |
| ocamlPackages_latest.camlp4 | Software system for writing extensible parsers for programming languages |
| ocamlPackages_latest.reason-native.reason | User-friendly programming language built on OCaml |
| ocamlPackages_latest.ocaml | OCaml is an industrial-strength programming language supporting functional, imperative and object-oriented styles |
| ber_metaocaml | Multi-Stage Programming extension for OCaml |
| ch341eeprom | Libusb based programming tool for 24Cxx serial EEPROMs using the WinChipHead CH341A IC |
| gp2c | Compiler to translate GP scripts to PARI programs |
| ocamlPackages.domainslib | Nested-parallel programming |
| cflow | Tool to analyze the control flow of C programs |
| ocamlPackages.reactivedata | OCaml module for functional reactive programming (FRP) based on React |
| ocamlPackages_latest.domainslib | Nested-parallel programming |
| ocamlPackages_latest.reactivedata | OCaml module for functional reactive programming (FRP) based on React |
| libsForQt5.quazip | Provides access to ZIP archives from Qt programs |
| ocamlPackages.lwt-exit | Opinionated clean-exit and signal-handling library for Lwt programs |
| progress | Tool that shows the progress of coreutils programs |
| kdePackages.quazip | Provides access to ZIP archives from Qt programs |
| qt6Packages.quazip | Provides access to ZIP archives from Qt programs |
| ocamlPackages.tyxml | Library that makes it almost impossible for your OCaml programs to generate wrong XML output, using static typing |
| icoutils | Set of programs to deal with Microsoft Windows(R) icon and cursor files |
| ocamlPackages_latest.lwt-exit | Opinionated clean-exit and signal-handling library for Lwt programs |
| ocamlPackages.merlin | Editor-independent tool to ease the development of programs in OCaml |
| ocamlPackages.sawja | Library written in OCaml, relying on Javalib to provide a high level representation of Java bytecode programs |
| plasma5Packages.quazip | Provides access to ZIP archives from Qt programs |
| ocamlPackages_latest.tyxml | Library that makes it almost impossible for your OCaml programs to generate wrong XML output, using static typing |
| ocamlPackages_latest.merlin | Editor-independent tool to ease the development of programs in OCaml |
| ocamlPackages_latest.sawja | Library written in OCaml, relying on Javalib to provide a high level representation of Java bytecode programs |
| directx-shader-compiler | Compiler to compile HLSL programs into DXIL and SPIR-V |
| ocamlPackages.qcheck-multicoretests-util | Utility functions for property-based testing of multicore programs |
| ocamlPackages_latest.qcheck-multicoretests-util | Utility functions for property-based testing of multicore programs |
| 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 |
| devede | DVD Creator for Linux |
| luajitPackages.moonscript | A programmer friendly language that compiles to Lua |
| base16-builder | Base16 Builder is a nimble command-line tool that generates themes for your favourite programs. |
| napalm | Network Automation and Programmability Abstraction Layer with Multivendor support |
| gtree | Generate directory trees and directories using Markdown or programmatically |
| rmapi | Go app that allows access to the ReMarkable Cloud API programmatically |
| copygen | Command-line and programmatic Go code generator that generates custom type-based code |
| luajitPackages.luafilesystem | File System Library for the Lua Programming Language |
| 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 |
| python313Packages.berkeleydb | Python bindings for Oracle Berkeley DB |
| python314Packages.berkeleydb | Python bindings for Oracle Berkeley DB |
| python313Packages.mscerts | Makes the Microsoft Trusted Root Program's Certificate Trust Lists available in Python |
| python314Packages.mscerts | Makes the Microsoft Trusted Root Program's Certificate Trust Lists available in Python |
| python312Packages.berkeleydb | Python bindings for Oracle Berkeley DB |
| go | Go Programming language |
| apache-airflow | Platform to programmatically author, schedule and monitor workflows |
| oak | Expressive, simple, dynamic programming language |
| python312Packages.mscerts | Makes the Microsoft Trusted Root Program's Certificate Trust Lists available in Python |
| executor | Programmer friendly subprocess wrapper |
| 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 |
| go_1_25 | Go Programming language |
| c-for-go | Automatic C-Go Bindings Generator for the Go Programming Language |
| 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 |
| wuffs | memory-safe programming language and standard library for wrangling untrusted data |
| python312Packages.pyutil | Collection of mature utilities for Python programmers |
| python313Packages.genanki | Generate Anki decks programmatically |
| python314Packages.genanki | Generate Anki decks programmatically |
| python312Packages.junos-eznc | Junos 'EZ' automation for non-programmers |
| go_latest | Go Programming language |
| 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 |
| mockgen | Mocking framework for the Go programming language |
| 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 |
| gocode-gomod | Autocompletion daemon for the Go programming language |
| 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 |
| 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 |
| reviewdog | Automated code review tool integrated with any code analysis tools regardless of programming language |
| 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 |
| python312Packages.busylight-core | Library for interacting programmatically with USB-connected LED lights |
| python312Packages.executor | Programmer friendly subprocess wrapper |
| play | TUI playground for programs like grep, sed and awk |
| ahoy | Create self-documenting cli programs from YAML files |
| python313Packages.zope-testbrowser | Programmable browser for functional black-box tests |
| python314Packages.zope-testbrowser | Programmable browser for functional black-box tests |
| pulumi | Cloud development platform that makes creating cloud programs easy and productive |
| python312Packages.zope-testbrowser | Programmable browser for functional black-box tests |
| errcheck | Checks for unchecked errors in go programs |
| 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 |
| tf2pulumi | Convert Terraform projects to Pulumi TypeScript programs |
| pulumiPackages.pulumi-go | Language host for Pulumi programs written in Go |
| python312Packages.lazr-restfulclient | Programmable client library that takes advantage of the commonalities among |
| 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) |
| docker-credential-helpers | Suite of programs to use native stores to keep Docker credentials safe |
| 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 |
| frawk | Small programming language for writing short programs processing textual data |
| racket | Programmable programming language |
| bend | Massively parallel, high-level programming language |
| leo-lang | Functional, statically-typed programming language built for writing private applications |
| amber-lang | Programming language compiled to bash |
| wl-clip-persist | Keep Wayland clipboard even after programs close |
| rotonda | Composable, programmable BGP Engine |
| chiptrack | Programmable cross-platform sequencer for the Game Boy Advance sound chip |
| glas | Language server for the Gleam programming language |
| koto | Simple, expressive, embeddable programming language |
| tmc-cli | CLI for using the TestMyCode programming assignment evaluator |
| rune | Interpreter for the Rune Language, an embeddable dynamic programming language for Rust |
| uiua | Stack-oriented array programming language with a focus on simplicity, beauty, and tacit code |
| par-lang | Experimental concurrent programming language |
| proton-caller | Run Windows programs with Proton |
| kind2 | Functional programming language and proof assistant |
| easypdkprog | Read, write and execute programs on PADAUK microcontroller |
| statix | Lints and suggestions for the nix programming language |
| shisho | Lightweight static analyzer for several programming languages |
| uiua-unstable | Stack-oriented array programming language with a focus on simplicity, beauty, and tacit code |
| vimPlugins.statix | Lints and suggestions for the nix programming language |
| turtle-build | Ninja-compatible build system for high-level programming languages written in Rust |
| faustfmt | Formatter for the Faust programming language, using Topiary |
| mergiraf | Syntax-aware git merge driver for a growing collection of programming languages and file formats |
| pc | Programmer's calculator |
| rustlings | Explore the Rust programming language and learn more about it while doing exercises |
| passerine | Small extensible programming language designed for concise expression with little code |
| egypt | Tool for making call graphs of C programmes |
| sourcepawn-studio | LSP implementation for the SourcePawn programming language written in Rust |
| comma | Runs programs without installing them |
| cairo-lang | Turing-complete language for creating provable programs for general computation |
| flip-link | Adds zero-cost stack overflow protection to your embedded programs |
| bpftop | Dynamic real-time view of running eBPF programs |
| trojan-rs | Trojan server and proxy programs written in Rust |
| rune-languageserver | Language server for the Rune Language, an embeddable dynamic programming language for Rust |
| pcalc | Programmer's calculator |
| libpq | C application programmer's interface to PostgreSQL |
| jedit | Programmer's text editor written in Java |
| external-editor-revived | Native messaging host for the Thunderbird addon allowing to edit mails in external programs |
| 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 |
| luaPackages.moonscript | A programmer friendly language that compiles to Lua |
| 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 |
| icon-lang | Very high level general-purpose programming language |
| zig_0_12 | General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software |
| 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 |
| tab | Programming language/shell calculator |
| beamMinimal26Packages.elixir_1_14 | Functional, meta-programming aware language built on top of the Erlang VM |
| c0 | Small safe subset of the C programming language, augmented with contracts |
| ols | Language server for the Odin programming language |
| 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 |
| 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 |
| elixir | Functional, meta-programming aware language built on top of the Erlang VM |
| erlang | Programming language used for massively scalable soft real-time systems |
| stlink-gui | In-circuit debug and programming for ST-Link devices |
| kokkos | C++ Performance Portability Programming EcoSystem |
| ceptre | Linear logic programming language for modeling generative interactive systems |
| 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 |
| coqPackages.ElmExtraction | A framework for extracting Coq programs to Elm |
| faust2sc | The faust2sc.py script, part of faust functional programming language for realtime audio signal processing |
| coqPackages.RustExtraction | A framework for extracting Coq programs to Rust |
| 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! |
| haskellPackages.hmep | HMEP Multi Expression Programming – a genetic programming variant |
| cone | Cone Programming Language |
| 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 |
| j | J programming language, an ASCII-based APL successor |
| ksh | KornShell Command And Programming Language |
| haskellPackages.Yampa_0_15 | Elegant Functional Reactive Programming Language for Hybrid Systems |
| 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 |
| 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 |
| 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 |
| 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.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.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.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.QuickCheck_2_15_0_1 | Automatic testing of Haskell programs |
| haskellPackages.effective-aspects-mzv | A monadic embedding of aspect oriented programming, using "Monads, Zippers and Views" instead of mtl |
| haskellPackages.type-combinators | A collection of data types for type-level programming |
| haskellPackages.grapefruit-records | A record system for Functional Reactive Programming |
| haskellPackages.hmatrix-quadprogpp | Bindings to the QuadProg++ quadratic programming library |
| haskellPackages.copilot_4_3 | A stream DSL for writing embedded C programs |
| haskellPackages.mem-info_0_4_1_0 | Print the core memory usage of programs |
| 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 |