| haskellPackages.PropLogic | Propositional Logic |
| 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 |
| haskellPackages.test-framework-program | Test framework support for running simple test programs |
| 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 | |
| wllvm | Wrapper script to build whole-program LLVM bitcode files |
| haskellPackages.webcloud | Turn an optparse-applicative program into a CGI program! |
| ent | Pseudorandom Number Sequence Test Program |
| file | Program that shows the type of files |
| fpp | CLI program that accepts piped input and presents files for selection |
| nttcp | New test TCP program |
| cloc | Program that counts lines of source code |
| cpio | Program to create or extract from cpio archives |
| ckan | Mod manager for Kerbal Space Program |
| burp | BackUp and Restore Program |
| edir | Program to rename and remove files and directories using your editor |
| grin | Grep program configured the way I like it |
| when | Extremely simple personal calendar program |
| lcalc | Program for calculating with L-functions |
| ddate | Discordian version of the date program |
| uucp | Unix-unix cp over serial line, also includes cu program |
| 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 |
| 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 |
| 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 |
| colort | Program for 'tinting' color values |
| gzip | GNU zip compression program |
| tkdiff | Graphical front end to the diff program |
| cowsay | Program which generates ASCII pictures of a cow with a message |
| glsurf | Program to draw implicit surfaces and curves |
| dnsdbq | C99 program that accesses passive DNS database systems |
| bzip2 | High-quality data compression program |
| mp3cat | Command line program which concatenates MP3 files |
| mairix | Program for indexing and searching email messages stored in maildir, MH or mbox |
| vdmfec | Program that adds error correction blocks |
| creduce | C program reducer |
| haskellPackages.data-structure-inferrer | Program that infers the fastest data structure available for your program |
| gnupatch | GNU Patch, a program to apply differences to files |
| scribus | Desktop Publishing (DTP) and Layout program |
| quivira | Free Unicode font in the OpenType format which is supported by every usual office program or printer |
| autogen | Automated text and program generation tool |
| perlPackages.TestTCP | Testing TCP program |
| kdePackages.cmark | CommonMark parsing and rendering library and program in C |
| haskellPackages.tn | A simple daily journal program |
| perl5Packages.TestTCP | Testing TCP program |
| haskellPackages.hit | Git like program in haskell |
| haskellPackages.DrIFT | Program to derive type class instances |
| haskellPackages.gas | Limit how many steps a program may take |
| paperjam | Program for transforming PDF files |
| haskellPackages.KSP | A library with the kerbal space program universe and demo code |
| haskellPackages.lhae | Simple spreadsheet program |
| 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 |
| 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 |
| plus-jakarta-sans | Typeface designed for Jakarta 'City of collaboration' program in 2020 |
| haskellPackages.ast-path | vocabulary representation for predicting program properties |
| loadwatch | Run a program using only idle cycles |
| 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 |
| 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 |
| 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 |
| perlPackages.ProcDaemon | Run Perl program(s) as a daemon process |
| haskellPackages.hutton | A program for the button on Reddit |
| perlPackages.AppMusicChordPro | Lyrics and chords formatting program |
| evilpixie | Pixel-oriented paint program, modelled on Deluxe Paint |
| haskellPackages.intero | Complete interactive development program for Haskell |
| haskellPackages.stack-fix | Console program used to fix Stack build errors automatically |
| perl5Packages.ProcDaemon | Run Perl program(s) as a daemon process |
| haskellPackages.hascal | tiny calculator library and command-line program |
| haskellPackages.edentv | A Tool to Visualize Parallel Functional Program Executions |
| haskellPackages.dep-t-value | Pair resources files with types within your program |
| haskellPackages.json-state | Keep program state in JSON files |
| haskellPackages.derive | A program and library to derive instances for data types |
| haskellPackages.tikzsd | A program for generating LaTeX code of string diagrams |
| akkuPackages.robin-logger | A simple logging library for outputting messages while a program is running |
| bzip2_1_1 | High-quality data compression program |
| haskellPackages.colock | thread-friendly file locks that don't block the entire program |
| haskellPackages.hgdbmi | GDB Machine Interface: program-driven control of GDB |
| perl5Packages.AppMusicChordPro | Lyrics and chords formatting program |
| haskellPackages.frpnow-gtk | Program GUIs with GTK and frpnow! |
| 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! |
| 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 |
| haskellPackages.choose-exe | Command-line program to choose random element from a stream |
| 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 |
| haskellPackages.butcher | Chops a command or program invocation into digestable pieces |
| haskellPackages.cabal-cargs | A command line program for extracting compiler arguments from a cabal file |
| update-nix-fetchgit | A program to update fetchgit values in Nix expressions |
| haskellPackages.lazy-hash-cache | Storing computed values for re-use when the same program runs again |
| haskellPackages.fix-imports | Program to manage the imports of a haskell module |
| haskellPackages.frpnow-gloss | Program awesome stuff with Gloss and frpnow! |
| perl538Packages.ProcDaemon | Run Perl program(s) as a daemon process |
| perl540Packages.ProcDaemon | Run Perl program(s) as a daemon process |
| cursewords | Graphical command line program for solving crossword puzzles in the terminal |
| soundtouch | Program and library for changing the tempo, pitch and playback rate of audio |
| wmderlandc | Tiny program to interact with wmderland |
| haskellPackages.TestExplode | Generates testcases from program-snippets |
| perl540Packages.AppMusicChordPro | Lyrics and chords formatting program |
| perl538Packages.AppMusicChordPro | Lyrics and chords formatting program |
| gcfflasher | CFFlasher is the tool to program the firmware of dresden elektronik's Zigbee products |
| haskellPackages.hsqml-demo-notes | Sticky notes example program implemented in HsQML |
| haskellPackages.gettext-th | gettext-th can internationalise a haskell program without runtime dependencies |
| haskellPackages.monad-throw-exit | Functions to exit the program anywhere in MonadThrow monads |
| haskellPackages.cabal-bounds | A command line program for managing the dependency versions in a cabal file |
| stm32flash | Open source flash program for the STM32 ARM processors using the ST bootloader |
| haskellPackages.haskell-docs | A program to find and display the docs and type of a name |
| haskellPackages.hailgun-send | A program to send emails throught the Mailgun api |
| texlivePackages.mathspic | A Perl filter program for use with PiCTeX |
| haskellPackages.effect-monad | Embeds effect systems and program logics into Haskell using graded monads and parameterised monads |
| haskellPackages.wstunnel | Tunneling program over websocket protocol |
| haskellPackages.settings | Runtime-editable program settings |
| haskellPackages.randfile | Program for picking a random file |
| perlPackages.TestRunValgrind | Tests that an external program is valgrind-clean |
| haskellPackages.hxournal | A pen notetaking program written in haskell |
| haskellPackages.config-select | A small program for swapping out dot files |
| haskellPackages.bamstats | A program to extract various information from BAM alignmnet files |
| haskellPackages.graphmod | Present the module dependencies of a program as a "dot" graph |
| perl5Packages.TestRunValgrind | Tests that an external program is valgrind-clean |
| haskellPackages.ghc-debug-common | Connect to a socket created by ghc-debug-stub and analyse the heap of the debuggee program |
| haskellPackages.mathblog | A program for creating and managing a static weblog with LaTeX math and diagrams |
| haskellPackages.hsfacter | A small and ugly library that emulates the output of the puppet facter program |
| easycrypt-runtest | Testing program for EasyCrypt formalizations |
| haskellPackages.stack-network | A program for extending Stack to add distributed capabilities |
| haskellPackages.pixel-printer | A program for turning pixel art into 3D prints |
| haskellPackages.canteven-log | A canteven way of setting up logging for your program |
| jugglinglab | Program to visualize different juggling pattens |
| haskellPackages.on-demand-ssh-tunnel | Program that sends traffic through SSH tunnels on-demand |
| haskellPackages.conlogger | A logger for a concurrent program |
| haskellPackages.monad-skeleton | Monads of program skeleta |
| pgformatter | PostgreSQL SQL syntax beautifier that can work as a console program or as a CGI |
| haskellPackages.Barracuda | An ad-hoc P2P chat program |
| haskellPackages.happraise | A small program for counting the comments in haskell source |
| haskellPackages.cabal-progdeps | Show dependencies of program being built in current directory |
| perl540Packages.TestRunValgrind | Tests that an external program is valgrind-clean |
| perl538Packages.TestRunValgrind | Tests that an external program is valgrind-clean |
| haskellPackages.DrIFT-cabalized | Program to derive type class instances |
| haskellPackages.egison-tutorial | A tutorial program for the Egison programming language |
| haskellPackages.mcmc-synthesis | MCMC applied to probabilistic program synthesis |
| locate-dominating-file | Program that looks up in a directory hierarchy for a given filename |
| haskellPackages.update-nix-fetchgit | A program to update fetchgit values in Nix expressions |
| 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 |
| 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 |
| texlivePackages.hvpygmentex | Syntax-Highlighting of program code |
| perl5Packages.StringToIdentifierEN | Convert Strings to English Program Identifiers |
| 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 |
| texlivePackages.memorygraphs | TikZ styles to typeset graphs of program memory |
| haskellPackages.multiplicity | Wrapper program for duplicity, adding config files |
| 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 |
| 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 |
| haskellPackages.functor-combinators | Tools for functor combinator-based program design |
| haskellPackages.visual-graphrewrite | Visualize the graph-rewrite steps of a Haskell program |
| haskellPackages.stackcollapse-ghc | Program to fold GHC prof files into flamegraph input |
| haskellPackages.Holumbus-Distribution | intra- and inter-program communication |
| haskellPackages.puppetresources | A program that displays the puppet resources associated to a node given .pp files. |
| haskellPackages.dresdner-verkehrsbetriebe | Library and program for querying DVB (Dresdner Verkehrsbetriebe AG) |
| nim1 | Statically typed, imperative programming language (x86_64-unknown-linux-gnu wrapper) |
| nim2 | Statically typed, imperative programming language (x86_64-unknown-linux-gnu wrapper) |
| nim-2_2 | Statically typed, imperative programming language (x86_64-unknown-linux-gnu wrapper) |
| nim | Statically typed, imperative programming language (x86_64-unknown-linux-gnu wrapper) |
| nim-1_0 | Statically typed, imperative programming language (x86_64-unknown-linux-gnu wrapper) |
| nim-2_0 | Statically typed, imperative programming language (x86_64-unknown-linux-gnu wrapper) |
| nelua | Minimal, efficient, statically-typed and meta-programmable systems programming language heavily inspired by Lua, which compiles to C and native code |
| racket-minimal | Programmable programming language (minimal distribution) |
| udunits | C-based package for the programatic handling of units of physical quantities |
| lmmath | Latin Modern Math (LM Math) font completes the modernization of the Computer Modern family of typefaces designed and programmed by Donald E. Knuth |
| haskellPackages.reheat | to make notes and reduce impact on idle time on writing other programms |
| perlPackages.NetDNSResolverProgrammable | Programmable DNS resolver class for offline emulation of DNS |
| perl5Packages.NetDNSResolverProgrammable | Programmable DNS resolver class for offline emulation of DNS |
| perl540Packages.NetDNSResolverProgrammable | Programmable DNS resolver class for offline emulation of DNS |
| perl538Packages.NetDNSResolverProgrammable | Programmable DNS resolver class for offline emulation of DNS |
| texlivePackages.concprog | Concert programmes |
| haskellPackages.hs-pgms | Programmer's Mine Sweeper in Haskell |
| get_iplayer | Downloads TV and radio programmes from BBC iPlayer and BBC Sounds |
| sudo-font | Font for programmers and command line users |
| haskellPackages.visual-prof | Create a visual profile of a program's source code |
| bluefish | Powerful editor targeted towards programmers and webdevelopers |
| nerd-fonts.daddy-time-mono | Nerd Fonts: A monospaced font for programmers and other terminal groupies |
| perlPackages.SymbolGet | Read Perl's symbol table programmatically |
| haskellPackages.jmacro | QuasiQuotation library for programmatic generation of Javascript code |
| haskellPackages.slab | A programmable markup language to generate HTML |
| perl5Packages.SymbolGet | Read Perl's symbol table programmatically |
| haskellPackages.system-posix-redirect | A toy module to temporarily redirect a program's stdout |
| haskellPackages.swarm | 2D resource gathering game with programmable robots |
| texlivePackages.lualibs | Additional Lua functions for LuaTeX macro programmers |
| fujprog | JTAG programmer for the ULX3S and ULX2S open hardware FPGA development boards |
| fantasque-sans-mono | Font family with a great monospaced variant for programmers |
| haskellPackages.tempus-fugit | Programmers' time tracker |
| open-music-kontrollers.vm | Programmable virtual machine LV2 plugin |
| haskellPackages.github-rest | Query the GitHub REST API programmatically |
| perl538Packages.SymbolGet | Read Perl's symbol table programmatically |
| perl540Packages.SymbolGet | Read Perl's symbol table programmatically |
| mspdebug | Free programmer, debugger, and gdb proxy for MSP430 MCUs |
| haskellPackages.implicit | A math-inspired programmatic 2D & 3D CAD system |
| wb32-dfu-updater | USB programmer for downloading and uploading firmware to/from USB devices |
| open-music-kontrollers.moony | Realtime Lua as programmable glue in LV2 |
| texlivePackages.expltools | Development tools for expl3 programmers |
| haskellPackages.colorless | Colorless | The Programmatic IDL |
| haskellPackages.HGamer3D | Toolset for the Haskell Game Programmer |
| texlivePackages.fntproof | A programmable font test pattern generator |
| texlivePackages.register | Typeset programmable elements in digital hardware (registers) |
| haskellPackages.reactive-balsa | Programmatically edit MIDI events via ALSA and reactive-banana |
| haskellPackages.HGamer3D-Data | Toolset for the Haskell Game Programmer - Data Definitions |
| haskellPackages.HGamer3D-Audio | Toolset for the Haskell Game Programmer - Audio Functionality |
| haskellPackages.HGamer3D-Common | Toolset for the Haskell Game Programmer - Game Engine and Utilities |
| haskellPackages.speculation | A framework for safe, programmable, speculative parallelism |
| haskellPackages.HGamer3D-CEGUI-Binding | A Toolset for the Haskell Game Programmer - CEGUI Bindings |
| haskellPackages.HGamer3D-Graphics3D | Toolset for the Haskell Game Programmer - 3D Graphics Functionality |
| haskellPackages.MagicHaskeller | Automatic inductive functional programmer by systematic search |
| haskellPackages.HGamer3D-Bullet-Binding | Windows Game Engine for the Haskell Programmer - Bullet Bindings |
| texlivePackages.luaprogtable | Programmable table interface for LuaLaTeX |
| haskellPackages.constraints-deriving | Manipulating constraints and deriving class instances programmatically |
| haskellPackages.hackertyper | "Hack" like a programmer in movies and games! |
| cone | Cone Programming Language |
| ruby_3_1 | Object-oriented language for quick and easy programming |
| ruby_3_2 | Object-oriented language for quick and easy programming |
| llvmPackages_17.libclc | Implementation of the library requirements of the OpenCL C programming language |
| llvmPackages_16.libclc | Implementation of the library requirements of the OpenCL C programming language |
| haskellPackages.Yampa_0_15 | Elegant Functional Reactive Programming Language for Hybrid Systems |
| haskellPackages.hmep | HMEP Multi Expression Programming – a genetic programming variant |
| 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 |
| j | J programming language, an ASCII-based APL successor |
| ksh | KornShell Command And Programming Language |
| osqp | Quadratic programming solver using operator splitting |
| tk | Widget toolkit that provides a library of basic elements for building a GUI in many different programming languages |
| txr | Original, New Programming Language for Convenient Data Munging |
| plm | Free cross-platform programming exerciser |
| glpk | GNU Linear Programming Kit |
| ecos | Lightweight conic solver for second-order cone programming |
| tk-8_6 | Widget toolkit that provides a library of basic elements for building a GUI in many different programming languages |
| kona | Interpreter of K, APL-like programming language |
| perl5 | Standard implementation of the Perl 5 programming language |
| tk-8_5 | Widget toolkit that provides a library of basic elements for building a GUI in many different programming languages |
| tk-9_0 | Widget toolkit that provides a library of basic elements for building a GUI in many different programming languages |
| janet | Janet programming language |
| gnu-cim | GNU compiler for the programming language Simula |
| lilex | Open source programming font |
| curv | 2D and 3D geometric modelling programming language for creating art with maths |
| entt | Header-only, tiny and easy to use library for game programming and much more written in modern C++ |
| fira-code | Monospace font with programming ligatures |
| jelly | Recreational programming language inspired by J |
| klong | Simple Array programming language |
| orca-c | Esoteric programming language designed to quickly create procedural sequencers |
| phel | Functional programming language that compiles to PHP. A Lisp dialect inspired by Clojure and Janet |
| 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 |
| haskellPackages.QuickCheck_2_15_0_1 | Automatic testing of Haskell programs |
| lobster | Lobster programming language |
| python2Full | High-level dynamically-typed programming language |
| vimPlugins.hare-vim | Hare programming in Vim |
| cozette | Bitmap programming font optimized for coziness |
| commit-mono | Anonymous and neutral programming typeface focused on creating a better reading experience |
| victor-mono | Free programming font with cursive italics and ligatures |
| python27 | High-level dynamically-typed programming language |
| profont | Monospaced font created to be a most readable font for programming |
| 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 |
| 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.effective-aspects-mzv | A monadic embedding of aspect oriented programming, using "Monads, Zippers and Views" instead of mtl |
| haskellPackages.type-combinators | A collection of data types for type-level programming |
| haskellPackages.grapefruit-records | A record system for Functional Reactive Programming |
| haskellPackages.hmatrix-quadprogpp | Bindings to the QuadProg++ quadratic programming library |
| haskellPackages.flexible-numeric-parsers | Flexible numeric parsers for real-world programming languages |
| functionalplus | Functional Programming Library for C++ |
| haskellPackages.Strafunski-StrategyLib | Library for strategic programming |
| haskellPackages.simplistic-generics | Generic programming without too many type classes |
| haskellPackages.distributed-closure | Serializable closures for distributed programming |
| haskellPackages.parallel_3_3_0_0 | Parallel programming library |
| haskellPackages.gi-gtk-declarative-app-simple | Declarative GTK+ programming in Haskell in the style of Pux |
| pv | Tool for monitoring the progress of data through a pipeline |
| texlivePackages.stringstrings | String manipulation for cosmetic and programming application |
| haskellPackages.arghwxhaskell | An interpreter for the Argh! programming language in wxHaskell |
| cope | Colourful wrapper for terminal programs |
| peg | Tools for generating recursive-descent parsers: programs that perform pattern matching on text |
| qpdf | C++ library and set of programs that inspect and manipulate the structure of PDF files |
| haskellPackages.exploring-interpreters | A generic exploring interpreter for exploratory programming |
| gappa | Verifying and formally proving properties on numerical programs dealing with floating-point or fixed-point arithmetic |
| quick-lint-js | Find bugs in Javascript programs |
| csmith | Random generator of C programs |
| pdf-parser | Parse a PDF document |
| s6-dns | Suite of DNS client programs and libraries for Unix systems |
| num-utils | Programs for dealing with numbers from the command line |
| rictydiminished-with-firacode | Best Japanese programming font meets the awesome ligatures of Firacode |
| sfeed | RSS and Atom parser (and some format programs) |
| arduinoOTA | Tool for uploading programs to Arduino boards over a network |
| perlPackages.AppCLI | Dispatcher module for command line interface programs |
| perl5Packages.AppCLI | Dispatcher module for command line interface programs |
| t1utils | Collection of simple Type 1 font manipulation programs |
| haskellPackages.cgi | A library for writing CGI programs |
| haskellPackages.HSH | Library to mix shell scripting with Haskell programs |
| idrisPackages.test | Testing Utilities for Idris programs |
| haskellPackages.opn | Open files or URLs using associated programs |
| haskellPackages.afv | Infinite state model checking of iterative C programs |
| haskellPackages.limp | representation of Integer Linear Programs |
| akkuPackages.r6lint | Linter for R6RS libraries and programs |
| skawarePackages.s6-dns | Suite of DNS client programs and libraries for Unix systems |
| haskellPackages.zeno | An automated proof system for Haskell programs |
| haskellPackages.om-elm | Haskell utilities for building embedded Elm programs |
| haskellPackages.scgi | A Haskell library for writing SCGI programs |
| haskellPackages.uni-htk | Graphical User Interface for Haskell Programs |
| texlivePackages.tex-ewd | Macros to typeset calculational proofs and programs in Dijkstra's style |
| haskellPackages.hsp-cgi | Facilitates running Haskell Server Pages web pages as CGI programs |
| perlPackages.Expect | Automate interactions with command line programs that expose a text terminal interface |
| haskellPackages.THSH | A "noDSL" approach to mixing shell scripting with Haskell programs using Template Haskell |
| haskellPackages.mem-info | Print the core memory usage of programs |
| haskellPackages.Hs2lib | A Library and Preprocessor that makes it easier to create shared libs from Haskell programs |
| haskellPackages.runhs | Stack wrapper for single-file Haskell programs |
| perl540Packages.AppCLI | Dispatcher module for command line interface programs |
| perl538Packages.AppCLI | Dispatcher module for command line interface programs |
| haskellPackages.PropaFP | Auto-active verification of floating-point programs |
| haskellPackages.crux-llvm | A verification tool for C programs |
| perl5Packages.Expect | Automate interactions with command line programs that expose a text terminal interface |
| texlivePackages.tikz-sfc | Symbols collection for typesetting Sequential Function Chart (SFC) diagrams (PLC programs) |
| haskellPackages.alsa-gui | Some simple interactive programs for sending MIDI control messages via ALSA |
| haskellPackages.titan | Testing Infrastructure for Temporal AbstractioNs - GUI to debug temporal programs |
| haskellPackages.PropRatt | Property-based testing framework for testing asynchronous FRP programs |
| haskellPackages.ghc-gc-tune | Graph performance of Haskell programs with different GC flags |
| haskellPackages.tls-debug | Set of programs for TLS testing and debugging |
| perlPackages.TestExpect | Automated driving and testing of terminal-based programs |
| haskellPackages.Lastik | A library for compiling programs in a variety of languages |
| haskellPackages.dejafu | A library for unit-testing concurrent programs |
| haskellPackages.curry-base | Functions for manipulating Curry programs |
| haskellPackages.oughta | A library to test programs that output text |
| perl5Packages.TestExpect | Automated driving and testing of terminal-based programs |
| haskellPackages.ivory-eval | Simple concrete evaluator for Ivory programs |
| haskellPackages.HJScript | HJScript is a Haskell EDSL for writing JavaScript programs |
| texlivePackages.c-pascal | Typeset Python, C and Pascal programs |
| haskellPackages.postie | SMTP server library to receive emails from within Haskell programs |
| cyberpunk-neon | Neon themes for many programs |
| haskellPackages.QuickCheck | Automatic testing of Haskell programs |
| lockfileProgs | Programs for locking and unlocking files and mailboxes |
| perlPackages.TestPerlCritic | Use Perl::Critic in test programs |
| haskellPackages.Pup-Events | A networked event handling framework for hooking into other programs |
| haskellPackages.sbvPlugin | Formally prove properties of Haskell programs using SBV/SMT |
| texlivePackages.algobox | Typeset Algobox programs |
| haskellPackages.clash-shake | Shake rules for building Clash programs |
| texlivePackages.scratch | Draw programs like "scratch" |
| texlivePackages.texware | Utility programs for use with TeX |
| haskellPackages.threadPool | Runs other programs in the manner of a thread pool |
| haskellPackages.powerpc | Tools for PowerPC programs |
| perl5Packages.TestPerlCritic | Use Perl::Critic in test programs |
| perlPackages.CaptureTiny | Capture STDOUT and STDERR from Perl, XS or external programs |
| perl538Packages.Expect | Automate interactions with command line programs that expose a text terminal interface |
| perl540Packages.Expect | Automate interactions with command line programs that expose a text terminal interface |
| haskellPackages.hylolib | Tools for hybrid logics related programs |
| haskellPackages.fastcgi | A Haskell library for writing FastCGI programs |
| haskellPackages.hfusion | A library for fusing a subset of Haskell programs |
| haskellPackages.fitspec | refining property sets for testing Haskell programs |
| haskellPackages.copilot | A stream DSL for writing embedded C programs |
| perl5Packages.CaptureTiny | Capture STDOUT and STDERR from Perl, XS or external programs |
| texlivePackages.t1utils | Simple Type 1 font manipulation programs |
| haskellPackages.archive | A library and programs for creating hardlinked incremental archives or backups |
| haskellPackages.ui-command | A framework for friendly commandline programs |
| hexbinhex | Six utility programs to convert between hex, binary, ascii-binary
and the oddball NIST format for 90B testing.
|
| haskellPackages.Pup-Events-Demo | A networked event handling framework for hooking into other programs |
| haskellPackages.elm-reactor | Interactive development tool for Elm programs |
| perl538Packages.TestExpect | Automated driving and testing of terminal-based programs |
| perl540Packages.TestExpect | Automated driving and testing of terminal-based programs |
| texlivePackages.gustprog | utility programs for Polish users of TeX |
| haskellPackages.hoodle-types | Data types for programs for hoodle file format |
| haskellPackages.mmsyn7s | Shows a sorted list of the Ukrainian sounds representations that can be used by mmsyn7 series of programs |
| perlPackages.AppFatPackerSimple | A simpler way to fatpack perl programs |
| haskellPackages.haskell-menu | A simple menu system for Haskell programs |
| texlivePackages.scratch3 | Draw programs like "scratch" |
| texlivePackages.scratchx | Include Scratch programs in LaTeX documents |
| haskellPackages.edit-lenses-demo | Programs demoing the use of symmetric, stateful edit lenses |
| perlPackages.ServerStarter | Superdaemon for hot-deploying server programs |
| haskellPackages.Pup-Events-PQueue | A networked event handling framework for hooking into other programs |
| haskellPackages.broccoli | Small library for interactive functional programs |
| haskellPackages.pathwalk | Path walking utilities for Haskell programs |
| haskellPackages.peakachu | Experiemental library for composable interactive programs |
| perl5Packages.AppFatPackerSimple | A simpler way to fatpack perl programs |
| perl540Packages.TestPerlCritic | Use Perl::Critic in test programs |
| perl538Packages.TestPerlCritic | Use Perl::Critic in test programs |
| bashup-events32 | Event listener/callback API for creating extensible bash programs |
| bashup-events44 | Event listener/callback API for creating extensible bash programs |
| haskellPackages.lushtags | Create ctags compatible tags files for Haskell programs |
| haskellPackages.catalyst | A Category typeclass hierarchy powerful enough to encode full programs |
| haskellPackages.proctest | An IO library for testing interactive command line programs |
| perl5Packages.ServerStarter | Superdaemon for hot-deploying server programs |
| haskellPackages.hasktags | Produces ctags "tags" and etags "TAGS" files for Haskell programs |
| haskellPackages.shell-utility | Utility functions for writing command-line programs |
| haskellPackages.xournal-types | Data types for programs for xournal file format |
| perl538Packages.CaptureTiny | Capture STDOUT and STDERR from Perl, XS or external programs |
| perl540Packages.CaptureTiny | Capture STDOUT and STDERR from Perl, XS or external programs |
| haskellPackages.dph-examples | Data Parallel Haskell example programs |
| haskellPackages.vty-examples | Examples programs using the vty library |
| haskellPackages.Pup-Events-Server | A networked event handling framework for hooking into other programs |
| haskellPackages.Pup-Events-Client | A networked event handling framework for hooking into other programs |
| haskellPackages.uu-cco-examples | Utilities for compiler construction: example programs |
| perlPackages.commonsense | Implements some sane defaults for Perl programs |
| haskellPackages.qtah-examples | Example programs for Qtah Qt bindings |
| haskellPackages.hsqml-demo-samples | HsQML sample programs |
| haskellPackages.QuickCheck_2_17_1_0 | Automatic testing of Haskell programs |
| perl5Packages.commonsense | Implements some sane defaults for Perl programs |
| texlivePackages.context-filter | Run external programs on the contents of a start-stop environment |
| texlivePackages.texlive-scripts | TeX Live infrastructure programs |
| haskellPackages.hskeleton | Skeleton for new Haskell programs |
| haskellPackages.graphql-client | A client for Haskell programs to query a GraphQL API |
| haskellPackages.hyloutils | Very small programs for hybrid logics |
| haskellPackages.dovetail-aeson | Use Aeson from your Dovetail programs |
| haskellPackages.crucible-debug | An interactive debugger for Crucible programs |
| libfaketime | Report faked system time to programs without having to change the system-wide time |
| perl540Packages.AppFatPackerSimple | A simpler way to fatpack perl programs |
| perl538Packages.AppFatPackerSimple | A simpler way to fatpack perl programs |
| haskellPackages.shake-literate | Rules for building literate programs in shake |
| haskellPackages.transient | composing programs with multithreading, events and distributed computing |
| haskellPackages.language-ocaml | Language tools for manipulating OCaml programs in Haskell |
| haskellPackages.nlp-scores-scripts | NLP scoring command-line programs |
| haskellPackages.yesod-examples | Example programs using the Yesod Web Framework. (deprecated) |
| perl540Packages.ServerStarter | Superdaemon for hot-deploying server programs |
| perl538Packages.ServerStarter | Superdaemon for hot-deploying server programs |
| haskellPackages.copilot_4_6 | A stream DSL for writing embedded C programs |
| perlPackages.HTMLFormatExternal | HTML to text formatting using external programs |
| haskellPackages.canteven-config | A pattern for configuring programs |
| perl5Packages.HTMLFormatExternal | HTML to text formatting using external programs |
| perlPackages.TestWWWMechanizePSGI | Test PSGI programs using WWW::Mechanize |
| perl538Packages.commonsense | Implements some sane defaults for Perl programs |
| perl540Packages.commonsense | Implements some sane defaults for Perl programs |
| haskellPackages.regex-examples | Tutorial, tests and example programs for regex |
| perl5Packages.TestWWWMechanizePSGI | Test PSGI programs using WWW::Mechanize |
| haskellPackages.language-c99-simple | C-like AST to simplify writing C99 programs |
| haskellPackages.instrument | Easy stats/metrics instrumentation for Haskell programs |
| haskellPackages.servant-examples | Example programs for servant |
| haskellPackages.quickbench | quick & easy benchmarking of command-line programs |
| haskellPackages.copilot-verifier | System for verifying the correctness of generated Copilot programs |
| haskellPackages.android-activity | Turn regular Haskell programs into Android Activities |
| texlivePackages.collection-basic | Essential programs and files |
| perl538Packages.HTMLFormatExternal | HTML to text formatting using external programs |
| perl540Packages.HTMLFormatExternal | HTML to text formatting using external programs |
| haskellPackages.imperative-edsl | Deep embedding of imperative programs with code generation |
| perl540Packages.TestWWWMechanizePSGI | Test PSGI programs using WWW::Mechanize |
| perl538Packages.TestWWWMechanizePSGI | Test PSGI programs using WWW::Mechanize |
| haskellPackages.imperative-edsl-vhdl | Deep embedding of VHDL programs with code generation |
| haskellPackages.threadscope | A graphical tool for profiling parallel Haskell programs |
| haskellPackages.freer-simple-profiling | Automatic profling of freer-simple programs |
| haskellPackages.hack-frontend-monadcgi | Allows programs written against MonadCGI to run with any hack handler. (deprecated) |
| texlivePackages.collection-wintools | Windows-only support programs |
| texlivePackages.collection-binextra | TeX auxiliary programs |
| haskellPackages.applicative-splice | Write applicative programs in direct style (generalizes idiom brackets) |
| haskellPackages.quickcheck-state-machine | Test monadic programs using state machine based models |
| haskellPackages.jsonextfilter | Filter select values in JSON objects to unix programs |
| haskellPackages.lazysmallcheck | A library for demand-driven testing of Haskell programs |
| haskellPackages.shelltestrunner | Easy, repeatable testing of CLI programs/commands |
| haskellPackages.quickcheck-state-machine-distributed | Test monadic programs using state machine based models |
| haskellPackages.shelltestrunner_1_11 | Easy, repeatable testing of CLI programs/commands |