| packages/nixpkgs/haskellPackages.PropLogic | Propositional Logic |
| packages/nixpkgs/texlivePackages.program | Typesetting programs and algorithms |
| packages/nixpkgs/haskellPackages.program | Programs with Environments and Managed Resources |
| packages/nixpkgs/haskellPackages.sbv-program | Component-based program synthesis using SBV |
| packages/nixpkgs/emacsPackages.choice-program | |
| packages/nixpkgs/haskellPackages.core-program | Opinionated Haskell Interoperability |
| packages/nixpkgs/haskellPackages.tasty-program | Use tasty framework to test whether a program executes correctly |
| packages/nixpkgs/haskellPackages.console-program | Interpret the command line and a config file as commands and options |
| packages/nixpkgs/haskellPackages.test-framework-program | Test framework support for running simple test programs |
| packages/nixpkgs/akkuPackages.r6rs-programs | Port of (rnrs programs) to R7RS |
| packages/nixpkgs/haskellPackages.cabal-build-programs | Adds executable dependencies to the Cabal build |
| packages/nixpkgs/programmer-calculator | Terminal calculator for programmers |
| packages/nixpkgs/emacsPackages.programmer-dvorak | |
| packages/nixpkgs/rPackages.statprograms | |
| packages/nixpkgs/haskellPackages.kmn-programming | K_M,N quadratic programming |
| packages/nixpkgs/haskellPackages.math-programming | A library for formulating and solving math programs |
| packages/nixpkgs/haskellPackages.math-programming-glpk | A GLPK backend to the math-programming library |
| packages/nixpkgs/haskellPackages.linear-programming | Linear Programming basic definitions |
| packages/nixpkgs/haskellPackages.math-programming-tests | Utility functions for testing implementations of the math-programming library |
| packages/nixpkgs/texlivePackages.apprendre-a-programmer-en-tex | The book "Apprendre a programmer en TeX" |
| packages/nixpkgs/emacsPackages.competitive-programming-snippets | |
| packages/nixpkgs/wllvm | Wrapper script to build whole-program LLVM bitcode files |
| packages/nixpkgs/haskellPackages.webcloud | Turn an optparse-applicative program into a CGI program! |
| packages/nixpkgs/ent | Pseudorandom Number Sequence Test Program |
| packages/nixpkgs/file | Program that shows the type of files |
| packages/nixpkgs/fpp | CLI program that accepts piped input and presents files for selection |
| packages/nixpkgs/nttcp | New test TCP program |
| packages/nixpkgs/cloc | Program that counts lines of source code |
| packages/nixpkgs/cpio | Program to create or extract from cpio archives |
| packages/nixpkgs/ckan | Mod manager for Kerbal Space Program |
| packages/nixpkgs/burp | BackUp and Restore Program |
| packages/nixpkgs/edir | Program to rename and remove files and directories using your editor |
| packages/nixpkgs/grin | Grep program configured the way I like it |
| packages/nixpkgs/when | Extremely simple personal calendar program |
| packages/nixpkgs/lcalc | Program for calculating with L-functions |
| packages/nixpkgs/ddate | Discordian version of the date program |
| packages/nixpkgs/uucp | Unix-unix cp over serial line, also includes cu program |
| packages/nixpkgs/cmark | CommonMark parsing and rendering library and program in C |
| packages/nixpkgs/tidyp | Program that can validate your HTML, as well as modify it to be more clean and standard |
| packages/nixpkgs/patch | GNU Patch, a program to apply differences to files |
| packages/nixpkgs/beats | Swatch Internet Time implemented as a C program |
| packages/nixpkgs/sdate | Eternal september version of the date program |
| packages/nixpkgs/hello | Program that produces a familiar, friendly greeting |
| packages/nixpkgs/djent | Reimplementation of the Fourmilab/John Walker random number test program
ent with several improvements
|
| packages/nixpkgs/xjobs | Program which reads job descriptions line by line and executes them in parallel |
| packages/nixpkgs/colort | Program for 'tinting' color values |
| packages/nixpkgs/gzip | GNU zip compression program |
| packages/nixpkgs/tkdiff | Graphical front end to the diff program |
| packages/nixpkgs/cowsay | Program which generates ASCII pictures of a cow with a message |
| packages/nixpkgs/glsurf | Program to draw implicit surfaces and curves |
| packages/nixpkgs/dnsdbq | C99 program that accesses passive DNS database systems |
| packages/nixpkgs/bzip2 | High-quality data compression program |
| packages/nixpkgs/mp3cat | Command line program which concatenates MP3 files |
| packages/nixpkgs/mairix | Program for indexing and searching email messages stored in maildir, MH or mbox |
| packages/nixpkgs/vdmfec | Program that adds error correction blocks |
| packages/nixpkgs/creduce | C program reducer |
| packages/nixpkgs/haskellPackages.data-structure-inferrer | Program that infers the fastest data structure available for your program |
| packages/nixpkgs/gnupatch | GNU Patch, a program to apply differences to files |
| packages/nixpkgs/scribus | Desktop Publishing (DTP) and Layout program |
| packages/nixpkgs/quivira | Free Unicode font in the OpenType format which is supported by every usual office program or printer |
| packages/nixpkgs/autogen | Automated text and program generation tool |
| packages/nixpkgs/perlPackages.TestTCP | Testing TCP program |
| packages/nixpkgs/kdePackages.cmark | CommonMark parsing and rendering library and program in C |
| packages/nixpkgs/haskellPackages.tn | A simple daily journal program |
| packages/nixpkgs/perl5Packages.TestTCP | Testing TCP program |
| packages/nixpkgs/haskellPackages.hit | Git like program in haskell |
| packages/nixpkgs/haskellPackages.DrIFT | Program to derive type class instances |
| packages/nixpkgs/haskellPackages.gas | Limit how many steps a program may take |
| packages/nixpkgs/paperjam | Program for transforming PDF files |
| packages/nixpkgs/haskellPackages.KSP | A library with the kerbal space program universe and demo code |
| packages/nixpkgs/haskellPackages.lhae | Simple spreadsheet program |
| packages/nixpkgs/disfetch | Yet another *nix distro fetching program, but less complex |
| packages/nixpkgs/gif2apng | Simple program that converts animations from GIF to APNG format |
| packages/nixpkgs/one-click-backup | Simple Program to backup folders to an external location by copying them |
| packages/nixpkgs/apng2gif | Simple program that converts APNG files to animated GIF format |
| packages/nixpkgs/haskellPackages.FindBin | Locate directory of original program |
| packages/nixpkgs/haskellPackages.harg | Haskell program configuration using higher kinded data |
| packages/nixpkgs/console-setup | Console font and keymap setup program |
| packages/nixpkgs/haskellPackages.isiz | A program to show the size of image and whether suitable for wallpaper |
| packages/nixpkgs/perlPackages.TestUNIXSock | Testing UNIX domain socket program |
| packages/nixpkgs/plus-jakarta-sans | Typeface designed for Jakarta 'City of collaboration' program in 2020 |
| packages/nixpkgs/haskellPackages.ast-path | vocabulary representation for predicting program properties |
| packages/nixpkgs/loadwatch | Run a program using only idle cycles |
| packages/nixpkgs/haskellPackages.hruby | Embed a Ruby intepreter in your Haskell program ! |
| packages/nixpkgs/haskellPackages.chp-spec | A mirror implementation of chp that generates a specification of the program |
| packages/nixpkgs/haskellPackages.pfile | CLI program for profiles management |
| packages/nixpkgs/perl5Packages.TestUNIXSock | Testing UNIX domain socket program |
| packages/nixpkgs/datamash | Command-line program which performs basic numeric,textual and statistical operations on input textual data files |
| packages/nixpkgs/haskellPackages.htags | A Haskell98 parsing tags program similar to ctags |
| packages/nixpkgs/disk-filltest | Simple program to detect bad disks by filling them with random data |
| packages/nixpkgs/perl538Packages.TestTCP | Testing TCP program |
| packages/nixpkgs/perl540Packages.TestTCP | Testing TCP program |
| packages/nixpkgs/akkuPackages.rapid-args-fold | A program argument processor compatible with SRFI 37 |
| packages/nixpkgs/haskellPackages.csv-to-qif | A small program that will read csv files and create qif files |
| packages/nixpkgs/haskellPackages.devil | A small tool to make it easier to update program managed by Angel |
| packages/nixpkgs/perlPackages.ProcDaemon | Run Perl program(s) as a daemon process |
| packages/nixpkgs/haskellPackages.hutton | A program for the button on Reddit |
| packages/nixpkgs/perlPackages.AppMusicChordPro | Lyrics and chords formatting program |
| packages/nixpkgs/evilpixie | Pixel-oriented paint program, modelled on Deluxe Paint |
| packages/nixpkgs/haskellPackages.intero | Complete interactive development program for Haskell |
| packages/nixpkgs/haskellPackages.stack-fix | Console program used to fix Stack build errors automatically |
| packages/nixpkgs/perl5Packages.ProcDaemon | Run Perl program(s) as a daemon process |
| packages/nixpkgs/haskellPackages.hascal | tiny calculator library and command-line program |
| packages/nixpkgs/haskellPackages.edentv | A Tool to Visualize Parallel Functional Program Executions |
| packages/nixpkgs/haskellPackages.dep-t-value | Pair resources files with types within your program |
| packages/nixpkgs/haskellPackages.json-state | Keep program state in JSON files |
| packages/nixpkgs/haskellPackages.derive | A program and library to derive instances for data types |
| packages/nixpkgs/haskellPackages.tikzsd | A program for generating LaTeX code of string diagrams |
| packages/nixpkgs/akkuPackages.robin-logger | A simple logging library for outputting messages while a program is running |
| packages/nixpkgs/bzip2_1_1 | High-quality data compression program |
| packages/nixpkgs/haskellPackages.colock | thread-friendly file locks that don't block the entire program |
| packages/nixpkgs/haskellPackages.hgdbmi | GDB Machine Interface: program-driven control of GDB |
| packages/nixpkgs/perl5Packages.AppMusicChordPro | Lyrics and chords formatting program |
| packages/nixpkgs/haskellPackages.frpnow-gtk | Program GUIs with GTK and frpnow! |
| packages/nixpkgs/haskellPackages.PlslTools | So far just a lint like program for PL/SQL |
| packages/nixpkgs/haskellPackages.frpnow-vty | Program terminal applications with vty and frpnow! |
| packages/nixpkgs/haskellPackages.ghc-proofs | GHC plugin to prove program equations by simplification |
| packages/nixpkgs/haskellPackages.hpc-strobe | Hpc-generated strobes for a running Haskell program |
| packages/nixpkgs/haskellPackages.graph-trace | Trace the call graph of a program |
| packages/nixpkgs/haskellPackages.choose-exe | Command-line program to choose random element from a stream |
| packages/nixpkgs/perl540Packages.TestUNIXSock | Testing UNIX domain socket program |
| packages/nixpkgs/perl538Packages.TestUNIXSock | Testing UNIX domain socket program |
| packages/nixpkgs/texlivePackages.listing | Produce formatted program listings |
| packages/nixpkgs/haskellPackages.frpnow-gtk3 | Program GUIs with GTK3 and frpnow! |
| packages/nixpkgs/subsurface | Divelog program |
| packages/nixpkgs/haskellPackages.hastily | A program to download subtitle files |
| packages/nixpkgs/haskellPackages.cabal-test-bin | A program for finding temporary build file during cabal-test |
| packages/nixpkgs/haskellPackages.aspell-pipe | Pipe-based interface to the Aspell program |
| packages/nixpkgs/haskellPackages.dyepack | Programatically identify space leaks in your program |
| packages/nixpkgs/haskellPackages.butcher | Chops a command or program invocation into digestable pieces |
| packages/nixpkgs/haskellPackages.cabal-cargs | A command line program for extracting compiler arguments from a cabal file |
| packages/nixpkgs/update-nix-fetchgit | A program to update fetchgit values in Nix expressions |
| packages/nixpkgs/haskellPackages.lazy-hash-cache | Storing computed values for re-use when the same program runs again |
| packages/nixpkgs/haskellPackages.fix-imports | Program to manage the imports of a haskell module |
| packages/nixpkgs/haskellPackages.frpnow-gloss | Program awesome stuff with Gloss and frpnow! |
| packages/nixpkgs/perl538Packages.ProcDaemon | Run Perl program(s) as a daemon process |
| packages/nixpkgs/perl540Packages.ProcDaemon | Run Perl program(s) as a daemon process |
| packages/nixpkgs/cursewords | Graphical command line program for solving crossword puzzles in the terminal |
| packages/nixpkgs/soundtouch | Program and library for changing the tempo, pitch and playback rate of audio |
| packages/nixpkgs/wmderlandc | Tiny program to interact with wmderland |
| packages/nixpkgs/haskellPackages.TestExplode | Generates testcases from program-snippets |
| packages/nixpkgs/perl540Packages.AppMusicChordPro | Lyrics and chords formatting program |
| packages/nixpkgs/perl538Packages.AppMusicChordPro | Lyrics and chords formatting program |
| packages/nixpkgs/gcfflasher | CFFlasher is the tool to program the firmware of dresden elektronik's Zigbee products |
| packages/nixpkgs/haskellPackages.hsqml-demo-notes | Sticky notes example program implemented in HsQML |
| packages/nixpkgs/haskellPackages.gettext-th | gettext-th can internationalise a haskell program without runtime dependencies |
| packages/nixpkgs/haskellPackages.monad-throw-exit | Functions to exit the program anywhere in MonadThrow monads |
| packages/nixpkgs/haskellPackages.cabal-bounds | A command line program for managing the dependency versions in a cabal file |
| packages/nixpkgs/stm32flash | Open source flash program for the STM32 ARM processors using the ST bootloader |
| packages/nixpkgs/haskellPackages.haskell-docs | A program to find and display the docs and type of a name |
| packages/nixpkgs/haskellPackages.hailgun-send | A program to send emails throught the Mailgun api |
| packages/nixpkgs/texlivePackages.mathspic | A Perl filter program for use with PiCTeX |
| packages/nixpkgs/haskellPackages.effect-monad | Embeds effect systems and program logics into Haskell using graded monads and parameterised monads |
| packages/nixpkgs/haskellPackages.wstunnel | Tunneling program over websocket protocol |
| packages/nixpkgs/haskellPackages.settings | Runtime-editable program settings |
| packages/nixpkgs/haskellPackages.randfile | Program for picking a random file |
| packages/nixpkgs/perlPackages.TestRunValgrind | Tests that an external program is valgrind-clean |
| packages/nixpkgs/haskellPackages.hxournal | A pen notetaking program written in haskell |
| packages/nixpkgs/haskellPackages.config-select | A small program for swapping out dot files |
| packages/nixpkgs/haskellPackages.bamstats | A program to extract various information from BAM alignmnet files |
| packages/nixpkgs/haskellPackages.graphmod | Present the module dependencies of a program as a "dot" graph |
| packages/nixpkgs/perl5Packages.TestRunValgrind | Tests that an external program is valgrind-clean |
| packages/nixpkgs/haskellPackages.ghc-debug-common | Connect to a socket created by ghc-debug-stub and analyse the heap of the debuggee program |
| packages/nixpkgs/haskellPackages.mathblog | A program for creating and managing a static weblog with LaTeX math and diagrams |
| packages/nixpkgs/haskellPackages.hsfacter | A small and ugly library that emulates the output of the puppet facter program |
| packages/nixpkgs/easycrypt-runtest | Testing program for EasyCrypt formalizations |
| packages/nixpkgs/haskellPackages.stack-network | A program for extending Stack to add distributed capabilities |
| packages/nixpkgs/haskellPackages.pixel-printer | A program for turning pixel art into 3D prints |
| packages/nixpkgs/haskellPackages.canteven-log | A canteven way of setting up logging for your program |
| packages/nixpkgs/jugglinglab | Program to visualize different juggling pattens |
| packages/nixpkgs/haskellPackages.on-demand-ssh-tunnel | Program that sends traffic through SSH tunnels on-demand |
| packages/nixpkgs/haskellPackages.conlogger | A logger for a concurrent program |
| packages/nixpkgs/haskellPackages.monad-skeleton | Monads of program skeleta |
| packages/nixpkgs/pgformatter | PostgreSQL SQL syntax beautifier that can work as a console program or as a CGI |
| packages/nixpkgs/haskellPackages.Barracuda | An ad-hoc P2P chat program |
| packages/nixpkgs/haskellPackages.happraise | A small program for counting the comments in haskell source |
| packages/nixpkgs/haskellPackages.cabal-progdeps | Show dependencies of program being built in current directory |
| packages/nixpkgs/perl540Packages.TestRunValgrind | Tests that an external program is valgrind-clean |
| packages/nixpkgs/perl538Packages.TestRunValgrind | Tests that an external program is valgrind-clean |
| packages/nixpkgs/haskellPackages.DrIFT-cabalized | Program to derive type class instances |
| packages/nixpkgs/haskellPackages.egison-tutorial | A tutorial program for the Egison programming language |
| packages/nixpkgs/haskellPackages.mcmc-synthesis | MCMC applied to probabilistic program synthesis |
| packages/nixpkgs/locate-dominating-file | Program that looks up in a directory hierarchy for a given filename |
| packages/nixpkgs/haskellPackages.update-nix-fetchgit | A program to update fetchgit values in Nix expressions |
| packages/nixpkgs/soundtracker | Music tracking tool similar in design to the DOS program FastTracker and the Amiga legend ProTracker |
| packages/nixpkgs/haskellPackages.hasql-streams-example | An example program that shows how to use Hasql streams with Rel8 |
| packages/nixpkgs/haskellPackages.executable-hash | Provides the SHA1 hash of the program executable |
| packages/nixpkgs/haskellPackages.Agda-executable | Command-line program for type-checking and compiling Agda programs |
| packages/nixpkgs/perlPackages.StringToIdentifierEN | Convert Strings to English Program Identifiers |
| packages/nixpkgs/texlivePackages.hvpygmentex | Syntax-Highlighting of program code |
| packages/nixpkgs/perl5Packages.StringToIdentifierEN | Convert Strings to English Program Identifiers |
| packages/nixpkgs/haskellPackages.postgresql-config | Types for easy adding postgresql configuration to your program |
| packages/nixpkgs/haskellPackages.rabocsv2qif | A library and program to create QIF files from Rabobank CSV exports |
| packages/nixpkgs/audiowaveform | C++ program to generate waveform data and render waveform images from audio files |
| packages/nixpkgs/haskellPackages.HaskellAnalysisProgram | Haskell source code analysis program |
| packages/nixpkgs/perl538Packages.StringToIdentifierEN | Convert Strings to English Program Identifiers |
| packages/nixpkgs/perl540Packages.StringToIdentifierEN | Convert Strings to English Program Identifiers |
| packages/nixpkgs/texlivePackages.memorygraphs | TikZ styles to typeset graphs of program memory |
| packages/nixpkgs/haskellPackages.multiplicity | Wrapper program for duplicity, adding config files |
| packages/nixpkgs/haskellPackages.textmatetags | A simple Haskell program to provide tags for Haskell code completion in TextMate |
| packages/nixpkgs/haskellPackages.lambdacube-compiler | LambdaCube 3D is a DSL to program GPUs |
| packages/nixpkgs/haskellPackages.reflex-dom-fragment-shader-canvas | A reflex-dom widget to draw on a canvas with a fragment shader program |
| packages/nixpkgs/jpegexiforient | Utility program to get and set the Exif Orientation Tag |
| packages/nixpkgs/haskellPackages.functor-combinators | Tools for functor combinator-based program design |
| packages/nixpkgs/haskellPackages.visual-graphrewrite | Visualize the graph-rewrite steps of a Haskell program |
| packages/nixpkgs/haskellPackages.stackcollapse-ghc | Program to fold GHC prof files into flamegraph input |
| packages/nixpkgs/haskellPackages.Holumbus-Distribution | intra- and inter-program communication |
| packages/nixpkgs/haskellPackages.puppetresources | A program that displays the puppet resources associated to a node given .pp files. |
| packages/nixpkgs/haskellPackages.dresdner-verkehrsbetriebe | Library and program for querying DVB (Dresdner Verkehrsbetriebe AG) |
| packages/nixpkgs/nim1 | Statically typed, imperative programming language (x86_64-unknown-linux-gnu wrapper) |
| packages/nixpkgs/nim2 | Statically typed, imperative programming language (x86_64-unknown-linux-gnu wrapper) |
| packages/nixpkgs/nim-2_2 | Statically typed, imperative programming language (x86_64-unknown-linux-gnu wrapper) |
| packages/nixpkgs/nim | Statically typed, imperative programming language (x86_64-unknown-linux-gnu wrapper) |
| packages/nixpkgs/nim-1_0 | Statically typed, imperative programming language (x86_64-unknown-linux-gnu wrapper) |
| packages/nixpkgs/nim-2_0 | Statically typed, imperative programming language (x86_64-unknown-linux-gnu wrapper) |
| packages/nixpkgs/nelua | Minimal, efficient, statically-typed and meta-programmable systems programming language heavily inspired by Lua, which compiles to C and native code |
| packages/nixpkgs/racket-minimal | Programmable programming language (minimal distribution) |
| packages/nixpkgs/udunits | C-based package for the programatic handling of units of physical quantities |
| packages/nixpkgs/lmmath | Latin Modern Math (LM Math) font completes the modernization of the Computer Modern family of typefaces designed and programmed by Donald E |
| packages/nixpkgs/haskellPackages.reheat | to make notes and reduce impact on idle time on writing other programms |
| packages/nixpkgs/texlivePackages.concprog | Concert programmes |
| packages/nixpkgs/haskellPackages.hs-pgms | Programmer's Mine Sweeper in Haskell |
| packages/nixpkgs/get_iplayer | Downloads TV and radio programmes from BBC iPlayer and BBC Sounds |
| packages/nixpkgs/sudo-font | Font for programmers and command line users |
| packages/nixpkgs/haskellPackages.visual-prof | Create a visual profile of a program's source code |
| packages/nixpkgs/bluefish | Powerful editor targeted towards programmers and webdevelopers |
| packages/nixpkgs/nerd-fonts.daddy-time-mono | Nerd Fonts: A monospaced font for programmers and other terminal groupies |
| packages/nixpkgs/perlPackages.SymbolGet | Read Perl's symbol table programmatically |
| packages/nixpkgs/haskellPackages.jmacro | QuasiQuotation library for programmatic generation of Javascript code |
| packages/nixpkgs/haskellPackages.slab | A programmable markup language to generate HTML |
| packages/nixpkgs/perl5Packages.SymbolGet | Read Perl's symbol table programmatically |
| packages/nixpkgs/haskellPackages.system-posix-redirect | A toy module to temporarily redirect a program's stdout |
| packages/nixpkgs/haskellPackages.swarm | 2D resource gathering game with programmable robots |
| packages/nixpkgs/texlivePackages.lualibs | Additional Lua functions for LuaTeX macro programmers |
| packages/nixpkgs/fujprog | JTAG programmer for the ULX3S and ULX2S open hardware FPGA development boards |
| packages/nixpkgs/fantasque-sans-mono | Font family with a great monospaced variant for programmers |
| packages/nixpkgs/haskellPackages.tempus-fugit | Programmers' time tracker |
| packages/nixpkgs/open-music-kontrollers.vm | Programmable virtual machine LV2 plugin |
| packages/nixpkgs/haskellPackages.github-rest | Query the GitHub REST API programmatically |
| packages/nixpkgs/perl538Packages.SymbolGet | Read Perl's symbol table programmatically |
| packages/nixpkgs/perl540Packages.SymbolGet | Read Perl's symbol table programmatically |
| packages/nixpkgs/mspdebug | Free programmer, debugger, and gdb proxy for MSP430 MCUs |
| packages/nixpkgs/haskellPackages.implicit | A math-inspired programmatic 2D & 3D CAD system |
| packages/nixpkgs/wb32-dfu-updater | USB programmer for downloading and uploading firmware to/from USB devices |
| packages/nixpkgs/open-music-kontrollers.moony | Realtime Lua as programmable glue in LV2 |
| packages/nixpkgs/texlivePackages.expltools | Development tools for expl3 programmers |
| packages/nixpkgs/haskellPackages.colorless | Colorless | The Programmatic IDL |
| packages/nixpkgs/haskellPackages.HGamer3D | Toolset for the Haskell Game Programmer |
| packages/nixpkgs/texlivePackages.fntproof | A programmable font test pattern generator |
| packages/nixpkgs/texlivePackages.register | Typeset programmable elements in digital hardware (registers) |
| packages/nixpkgs/haskellPackages.reactive-balsa | Programmatically edit MIDI events via ALSA and reactive-banana |
| packages/nixpkgs/haskellPackages.HGamer3D-Data | Toolset for the Haskell Game Programmer - Data Definitions |
| packages/nixpkgs/haskellPackages.HGamer3D-Audio | Toolset for the Haskell Game Programmer - Audio Functionality |
| packages/nixpkgs/haskellPackages.HGamer3D-Common | Toolset for the Haskell Game Programmer - Game Engine and Utilities |
| packages/nixpkgs/haskellPackages.speculation | A framework for safe, programmable, speculative parallelism |
| packages/nixpkgs/haskellPackages.HGamer3D-CEGUI-Binding | A Toolset for the Haskell Game Programmer - CEGUI Bindings |
| packages/nixpkgs/haskellPackages.HGamer3D-Graphics3D | Toolset for the Haskell Game Programmer - 3D Graphics Functionality |
| packages/nixpkgs/haskellPackages.MagicHaskeller | Automatic inductive functional programmer by systematic search |
| packages/nixpkgs/haskellPackages.HGamer3D-Bullet-Binding | Windows Game Engine for the Haskell Programmer - Bullet Bindings |
| packages/nixpkgs/texlivePackages.luaprogtable | Programmable table interface for LuaLaTeX |
| packages/nixpkgs/haskellPackages.constraints-deriving | Manipulating constraints and deriving class instances programmatically |
| packages/nixpkgs/haskellPackages.hackertyper | "Hack" like a programmer in movies and games! |
| packages/nixpkgs/cone | Cone Programming Language |
| packages/nixpkgs/ruby_3_1 | Object-oriented language for quick and easy programming |
| packages/nixpkgs/ruby_3_2 | Object-oriented language for quick and easy programming |
| packages/nixpkgs/llvmPackages_17.libclc | Implementation of the library requirements of the OpenCL C programming language |
| packages/nixpkgs/llvmPackages_16.libclc | Implementation of the library requirements of the OpenCL C programming language |
| packages/nixpkgs/haskellPackages.Yampa_0_15 | Elegant Functional Reactive Programming Language for Hybrid Systems |
| packages/nixpkgs/haskellPackages.hmep | HMEP Multi Expression Programming – a genetic programming variant |
| packages/nixpkgs/haskellPackages.ghc-lib-parser-ex_9_12_0_0 | Programming with GHC parse trees |
| packages/nixpkgs/haskellPackages.ghc-lib-parser-ex_9_10_0_0 | Programming with GHC parse trees |
| packages/nixpkgs/j | J programming language, an ASCII-based APL successor |
| packages/nixpkgs/ksh | KornShell Command And Programming Language |
| packages/nixpkgs/osqp | Quadratic programming solver using operator splitting |
| packages/nixpkgs/tk | Widget toolkit that provides a library of basic elements for building a GUI in many different programming languages |
| packages/nixpkgs/txr | Original, New Programming Language for Convenient Data Munging |
| packages/nixpkgs/plm | Free cross-platform programming exerciser |
| packages/nixpkgs/glpk | GNU Linear Programming Kit |
| packages/nixpkgs/ecos | Lightweight conic solver for second-order cone programming |
| packages/nixpkgs/tk-8_6 | Widget toolkit that provides a library of basic elements for building a GUI in many different programming languages |
| packages/nixpkgs/kona | Interpreter of K, APL-like programming language |
| packages/nixpkgs/perl5 | Standard implementation of the Perl 5 programming language |
| packages/nixpkgs/tk-8_5 | Widget toolkit that provides a library of basic elements for building a GUI in many different programming languages |
| packages/nixpkgs/tk-9_0 | Widget toolkit that provides a library of basic elements for building a GUI in many different programming languages |
| packages/nixpkgs/janet | Janet programming language |
| packages/nixpkgs/gnu-cim | GNU compiler for the programming language Simula |
| packages/nixpkgs/lilex | Open source programming font |
| packages/nixpkgs/curv | 2D and 3D geometric modelling programming language for creating art with maths |
| packages/nixpkgs/entt | Header-only, tiny and easy to use library for game programming and much more written in modern C++ |
| packages/nixpkgs/fira-code | Monospace font with programming ligatures |
| packages/nixpkgs/jelly | Recreational programming language inspired by J |
| packages/nixpkgs/klong | Simple Array programming language |
| packages/nixpkgs/orca-c | Esoteric programming language designed to quickly create procedural sequencers |
| packages/nixpkgs/phel | Functional programming language that compiles to PHP |
| packages/nixpkgs/dictu | High-level dynamically typed, multi-paradigm, interpreted programming language |
| packages/nixpkgs/vyxal | Code-golfing language that has aspects of traditional programming languages |
| packages/nixpkgs/rbenv | Version manager tool for the Ruby programming language on Unix-like systems |
| packages/nixpkgs/perl538 | Standard implementation of the Perl 5 programming language |
| packages/nixpkgs/mars-mips | IDE for programming in MIPS assembly language intended for educational-level use |
| packages/nixpkgs/ruby | Object-oriented language for quick and easy programming |
| packages/nixpkgs/raylib | Simple and easy-to-use library to enjoy videogames programming |
| packages/nixpkgs/libclc | Implementation of the library requirements of the OpenCL C programming language |
| packages/nixpkgs/kotlin | General purpose programming language |
| packages/nixpkgs/python2 | High-level dynamically-typed programming language |
| packages/nixpkgs/bruijn | Purely functional programming language based on lambda calculus and de Bruijn indices |
| packages/nixpkgs/shocco | Quick-and-dirty, literate-programming-style documentation generator for / in POSIX shell |
| packages/nixpkgs/jimtcl | Open source small-footprint implementation of the Tcl programming language |
| packages/nixpkgs/picolisp | Pragmatic programming language |
| packages/nixpkgs/ruby_3_3 | Object-oriented language for quick and easy programming |
| packages/nixpkgs/cpp-netlib | Collection of open-source libraries for high level network programming |
| packages/nixpkgs/muonlang | Modern low-level programming language |
| packages/nixpkgs/brickd | Daemon (or service on Windows) that acts as a bridge between the Bricks/Bricklets and the API bindings for the different programming languages |
| packages/nixpkgs/haskellPackages.QuickCheck_2_15_0_1 | Automatic testing of Haskell programs |
| packages/nixpkgs/lobster | Lobster programming language |
| packages/nixpkgs/python2Full | High-level dynamically-typed programming language |
| packages/nixpkgs/vimPlugins.hare-vim | Hare programming in Vim |
| packages/nixpkgs/cozette | Bitmap programming font optimized for coziness |
| packages/nixpkgs/commit-mono | Anonymous and neutral programming typeface focused on creating a better reading experience |
| packages/nixpkgs/victor-mono | Free programming font with cursive italics and ligatures |
| packages/nixpkgs/python27 | High-level dynamically-typed programming language |
| packages/nixpkgs/profont | Monospaced font created to be a most readable font for programming |
| packages/nixpkgs/haskellPackages.copilot_4_3 | A stream DSL for writing embedded C programs |
| packages/nixpkgs/haskellPackages.mem-info_0_4_1_0 | Print the core memory usage of programs |
| packages/nixpkgs/testlib | C++ library to develop competitive programming problems |
| packages/nixpkgs/skalibs | Set of general-purpose C programming libraries |
| packages/nixpkgs/perlPackages.meta | Meta-programming API |
| packages/nixpkgs/udev-gothic | Programming font that combines BIZ UD Gothic and JetBrains Mono |
| packages/nixpkgs/tclPackages.tk | Widget toolkit that provides a library of basic elements for building a GUI in many different programming languages |
| packages/nixpkgs/perlPackages.perl | Standard implementation of the Perl 5 programming language |
| packages/nixpkgs/perl5Packages.meta | Meta-programming API |
| packages/nixpkgs/python27Full | High-level dynamically-typed programming language |
| packages/nixpkgs/agda | A dependently typed functional programming language and proof assistant |
| packages/nixpkgs/_0xproto | Free and Open-source font for programming |
| packages/nixpkgs/udev-gothic-nf | Programming font that combines BIZ UD Gothic, JetBrains Mono and nerd-fonts |
| packages/nixpkgs/perl5Packages.perl | Standard implementation of the Perl 5 programming language |
| packages/nixpkgs/eltclsh | Interactive shell for the TCL programming language based on editline |
| packages/nixpkgs/perl | Standard implementation of the Perl 5 programming language |
| packages/nixpkgs/haskellPackages.DP | Pragmatic framework for dynamic programming |
| packages/nixpkgs/ruby_3_4 | Object-oriented language for quick and easy programming |
| packages/nixpkgs/ruby_3_5 | Object-oriented language for quick and easy programming |
| packages/nixpkgs/haskellPackages.H | The Haskell/R mixed programming environment |
| packages/nixpkgs/texlivePackages.web | The original literate programming system |
| packages/nixpkgs/haskellPackages.hhp | Happy Haskell Programming |
| packages/nixpkgs/idris2 | Purely functional programming language with first class types |
| packages/nixpkgs/nerd-fonts.fira-code | Nerd Fonts: Programming ligatures, extension of Fira Mono font, enlarged operators |
| packages/nixpkgs/haskellPackages.ewe | An interpreter for EWE programming language |
| packages/nixpkgs/haskellPackages.bot | bots for functional reactive programming |
| packages/nixpkgs/haskellPackages.lit | A simple tool for literate programming |
| packages/nixpkgs/haskellPackages.msh | Object-Oriented Programming in Haskell |
| packages/nixpkgs/miranda | Compiler for Miranda -- a pure, non-strict, polymorphic, higher order functional programming language |
| packages/nixpkgs/mononoki | Font for programming and code review |
| packages/nixpkgs/perlPackages.AnyEvent | DBI of event loop programming |
| packages/nixpkgs/perlPackages.IOAsync | Asynchronous event-driven programming |
| packages/nixpkgs/ruby_4_0 | Object-oriented language for quick and easy programming |
| packages/nixpkgs/nerd-fonts.envy-code-r | Nerd Fonts: Fully-scalable monospaced font designed for programming and command prompts |
| packages/nixpkgs/haskellPackages.MIP | Library for using Mixed Integer Programming (MIP) |
| packages/nixpkgs/haskellPackages.DysFRP | dysFunctional Reactive Programming |
| packages/nixpkgs/haskellPackages.GTALib | A library for GTA programming |
| packages/nixpkgs/haskellPackages.peg | a lazy non-deterministic concatenative programming language |
| packages/nixpkgs/haskellPackages.CPL | An interpreter of Hagino's Categorical Programming Language (CPL) |
| packages/nixpkgs/haskellPackages.laop | Matrix programming library |
| packages/nixpkgs/haskellPackages.ion | EDSL for concurrent, realtime, embedded programming on top of Ivory |
| packages/nixpkgs/haskellPackages.axel | The Axel programming language |
| packages/nixpkgs/haskellPackages.kure | Combinators for Strategic Programming |
| packages/nixpkgs/libcsptr | Smart pointer constructs for the (GNU) C programming language |
| packages/nixpkgs/perl5Packages.IOAsync | Asynchronous event-driven programming |
| packages/nixpkgs/perl5Packages.AnyEvent | DBI of event loop programming |
| packages/nixpkgs/haskellPackages.RepLib | Generic programming library with representation types |
| packages/nixpkgs/haskellPackages.hoop | Object-Oriented Programming in Haskell |
| packages/nixpkgs/haskellPackages.gpah | Generic Programming Use in Hackage |
| packages/nixpkgs/haskellPackages.ctpl | A programming language for text modification |
| packages/nixpkgs/scala_2_12 | General purpose programming language |
| packages/nixpkgs/scala_2_13 | General purpose programming language |
| packages/nixpkgs/haskellPackages.cflp | Constraint Functional-Logic Programming in Haskell |
| packages/nixpkgs/haskellPackages.flay | Generic programming for higher-kinded types |
| packages/nixpkgs/haskellPackages.yoko | Generic Programming with Disbanded Data Types |
| packages/nixpkgs/haskellPackages.slim | Functional reactive user interface programming |
| packages/nixpkgs/notonoto | Programming font that combines Noto Sans Mono and Noto Sans JP |
| packages/nixpkgs/perlPackages.BioExtAlign | Write Perl Subroutines in Other Programming Languages |
| packages/nixpkgs/faustlsp | Language Server Protocol (LSP) implementation for the Faust programming language |
| packages/nixpkgs/haskellPackages.GPipe | Typesafe functional GPU graphics programming |
| packages/nixpkgs/haskellPackages.YFrob | Yampa-based library for programming robots |
| packages/nixpkgs/haskellPackages.kbq-gu | Rpoku spoken word programming language |
| packages/nixpkgs/haskellPackages.auto | Denotative, locally stateful programming DSL & platform |
| packages/nixpkgs/haskellPackages.g2q | G2Q allows constraint programming, via writing Haskell predicates |
| packages/nixpkgs/haskellPackages.ntha | A tiny statically typed functional programming language |
| packages/nixpkgs/idrisPackages.idris | Functional Programming Language with Dependent Types |
| packages/nixpkgs/haskellPackages.psc-ide | Language support for the PureScript programming language |
| packages/nixpkgs/notonoto-35 | Programming font that combines Noto Sans Mono and Noto Sans JP |
| packages/nixpkgs/sarasa-gothic | CJK programming font based on Iosevka and Source Han Sans |
| packages/nixpkgs/haskellPackages.HyloDP | A package for solving dynamic programming problems in Haskell |
| packages/nixpkgs/haskellPackages.HasChor | Functional choreographic programming in Haskell |
| packages/nixpkgs/haskellPackages.L-seed | Plant growing programming game |
| packages/nixpkgs/haskellPackages.cuda | FFI binding to the CUDA interface for programming NVIDIA GPUs |
| packages/nixpkgs/idrisPackages.idris-no-deps | Functional Programming Language with Dependent Types |
| packages/nixpkgs/llvmPackages.libclc | Implementation of the library requirements of the OpenCL C programming language |
| packages/nixpkgs/perlPackages.Inline | Write Perl Subroutines in Other Programming Languages |
| packages/nixpkgs/notonoto-hs | Programming font that combines Noto Sans Mono and Noto Sans JP |
| packages/nixpkgs/QuadProgpp | C++ library for Quadratic Programming |
| packages/nixpkgs/haskellPackages.Dao | Dao is meta programming language with its own built-in interpreted language, designed with artificial intelligence applications in mind |
| packages/nixpkgs/haskellPackages.dao | Dao is meta programming language with its own built-in interpreted language, designed with artificial intelligence applications in mind |
| packages/nixpkgs/haskellPackages.TicTacToe | A sub-project (exercise) for a functional programming course |
| packages/nixpkgs/haskellPackages.glpk-hs | Comprehensive GLPK linear programming bindings |
| packages/nixpkgs/haskellPackages.WebCont | Continuation based web programming for Happstack |
| packages/nixpkgs/llvmPackages_22.libclc | Implementation of the library requirements of the OpenCL C programming language |
| packages/nixpkgs/llvmPackages_21.libclc | Implementation of the library requirements of the OpenCL C programming language |
| packages/nixpkgs/perl5Packages.BioExtAlign | Write Perl Subroutines in Other Programming Languages |
| packages/nixpkgs/notonoto-hs-35 | Programming font that combines Noto Sans Mono and Noto Sans JP |
| packages/nixpkgs/perl540Packages.meta | Meta-programming API |
| packages/nixpkgs/perl538Packages.meta | Meta-programming API |
| packages/nixpkgs/haskellPackages.Agda | A dependently typed functional programming language and proof assistant |
| packages/nixpkgs/texlivePackages.plweb | Literate Programming for Prolog with LaTeX |
| packages/nixpkgs/haskellPackages.hydra | Graph programming language |
| packages/nixpkgs/haskellPackages.alloy | Generic programming library |
| packages/nixpkgs/haskellPackages.WashNGo | WASH is a family of EDSLs for programming Web applications in Haskell |
| packages/nixpkgs/haskellPackages.snail | A programming language with no semantics |
| packages/nixpkgs/llvmPackages_19.libclc | Implementation of the library requirements of the OpenCL C programming language |
| packages/nixpkgs/llvmPackages_18.libclc | Implementation of the library requirements of the OpenCL C programming language |
| packages/nixpkgs/llvmPackages_20.libclc | Implementation of the library requirements of the OpenCL C programming language |
| packages/nixpkgs/nerd-fonts.commit-mono | Nerd Fonts: An anonymous and neutral programming typeface |
| packages/nixpkgs/haskellPackages.ivory | Safe embedded C programming |
| packages/nixpkgs/haskellPackages.wires | Functional reactive programming library |
| packages/nixpkgs/haskellPackages.spade | A simple programming and debugging environment |
| packages/nixpkgs/haskellPackages.moffy | Monadic Functional Reactive Programming |
| packages/nixpkgs/perl5Packages.Inline | Write Perl Subroutines in Other Programming Languages |
| packages/nixpkgs/haskellPackages.Jikka | A transpiler from Python to C++ for competitive programming |
| packages/nixpkgs/haskellPackages.angle | A small, general-purpose programming language |
| packages/nixpkgs/haskellPackages.forml | A statically typed, functional programming language |
| packages/nixpkgs/haskellPackages.HSGEP | Gene Expression Programming evolutionary algorithm in Haskell |
| packages/nixpkgs/haskellPackages.Frank | An experimental programming language with typed algebraic effects |
| packages/nixpkgs/haskellPackages.lingo | File extension based programming language detection |
| packages/nixpkgs/haskellPackages.app-lens | applicative (functional) bidirectional programming beyond composition chains |
| packages/nixpkgs/haskellPackages.mappy | A functional programming language focused around maps |
| packages/nixpkgs/haskellPackages.disco | Functional programming language for teaching discrete math |
| packages/nixpkgs/haskellPackages.limp-cbc | bindings for integer linear programming solver Coin/CBC |
| packages/nixpkgs/haskellPackages.omega | A purely functional programming language and a proof system |
| packages/nixpkgs/haskellPackages.rhine | Functional Reactive Programming with type-level clocks |
| packages/nixpkgs/haskellPackages.yices | Haskell programming interface to Yices SMT solver |
| packages/nixpkgs/haskellPackages.atomo | A highly dynamic, extremely simple, very fun programming language |
| packages/nixpkgs/haskellPackages.apecs | Fast Entity-Component-System library for game programming |
| packages/nixpkgs/haskellPackages.Yampa | Elegant Functional Reactive Programming Language for Hybrid Systems |
| packages/nixpkgs/idrisPackages.yampa | Idris implementation of Yampa FRP library as described in Reactive Programming through Dependent Types |
| packages/nixpkgs/haskellPackages.LPFP-core | Code for the book Learn Physics with Functional Programming |
| packages/nixpkgs/haskellPackages.MiniAgda | A toy dependently typed programming language with type-based termination |
| packages/nixpkgs/haskellPackages.GPipe-Core | Typesafe functional GPU graphics programming |
| packages/nixpkgs/haskellPackages.idris | Functional Programming Language with Dependent Types |
| packages/nixpkgs/haskellPackages.highs-lp | Linear Programming using HiGHS and comfort-array |
| packages/nixpkgs/haskellPackages.exp-pairs | Linear programming over exponent pairs |
| packages/nixpkgs/haskellPackages.Craft3e | Code for Haskell: the Craft of Functional Programming, 3rd ed |
| packages/nixpkgs/texlivePackages.protex | Literate programming package |
| packages/nixpkgs/haskellPackages.meta-misc | Utility library providing miscellaneous meta-programming utilities |
| packages/nixpkgs/haskellPackages.shady-gen | Functional GPU programming - DSEL & compiler |
| packages/nixpkgs/haskellPackages.monad-par | A library for parallel programming based on a monad |
| packages/nixpkgs/monocraft | Programming font based on the typeface used in Minecraft |
| packages/nixpkgs/cascadia-code | Monospaced font that includes programming ligatures and is designed to enhance the modern look and feel of the Windows Terminal |
| packages/nixpkgs/haskellPackages.LPFP_1_2_1 | Code for the book Learn Physics with Functional Programming |
| packages/nixpkgs/haskellPackages.noodle | the noodle programming language |
| packages/nixpkgs/haskellPackages.DysFRP-Cairo | dysFunctional Reactive Programming on Cairo |
| packages/nixpkgs/haskellPackages.Quelea | Programming with Eventual Consistency over Cassandra |
| packages/nixpkgs/texlivePackages.eolang | Formulas and graphs for the EO programming language |
| packages/nixpkgs/haskellPackages.logict | A backtracking logic-programming monad |
| packages/nixpkgs/haskellPackages.hakaru | A probabilistic programming embedded DSL |
| packages/nixpkgs/haskellPackages.harpie | Haskell array programming |
| packages/nixpkgs/haskellPackages.anansi | Simple literate programming preprocessor |
| packages/nixpkgs/haskellPackages.cmonad | A library for C-like programming |
| packages/nixpkgs/haskellPackages.sindre | A programming language for simple GUIs |
| packages/nixpkgs/haskellPackages.turtle | Shell programming, Haskell-style |
| packages/nixpkgs/haskellPackages.rsagl-frp | The RogueStar Animation and Graphics Library: Functional Reactive Programming |
| packages/nixpkgs/nerd-fonts._0xproto | Nerd Fonts: A programming font focused on source code legibility |
| packages/nixpkgs/perl538Packages.IOAsync | Asynchronous event-driven programming |
| packages/nixpkgs/perl540Packages.IOAsync | Asynchronous event-driven programming |
| packages/nixpkgs/perl538Packages.AnyEvent | DBI of event loop programming |
| packages/nixpkgs/perl540Packages.AnyEvent | DBI of event loop programming |
| packages/nixpkgs/agdaPackages.agda | A dependently typed functional programming language and proof assistant |
| packages/nixpkgs/texlivePackages.lpform | Typesetting linear programming formulations and sets of equations |
| packages/nixpkgs/haskellPackages.Yampa-core | Library for programming hybrid systems |
| packages/nixpkgs/haskellPackages.formal | A statically typed, functional programming language |
| packages/nixpkgs/haskellPackages.artery | A simple, arrow-based reactive programming |
| packages/nixpkgs/haskellPackages.java-poker | The etude of the Haskell programming |
| packages/nixpkgs/haskellPackages.sodium | Sodium Reactive Programming (FRP) System |
| packages/nixpkgs/haskellPackages.shelly | shell-like (systems) programming in Haskell |
| packages/nixpkgs/haskellPackages.oplang | Stack-based esoteric programming language |
| packages/nixpkgs/haskellPackages.type-level | Type-level programming library |
| packages/nixpkgs/haskellPackages.reflex | Higher-order Functional Reactive Programming |
| packages/nixpkgs/haskellPackages.AutoForms | GUI library based upon generic programming (SYB3) |
| packages/nixpkgs/haskellPackages.kuifje | A Quantitative Information Flow aware programming language |
| packages/nixpkgs/haskellPackages.Object | Object oriented programming for haskell using multiparameter typeclasses |
| packages/nixpkgs/haskellPackages.Animas | Updated version of Yampa: a library for programming hybrid systems |
| packages/nixpkgs/haskellPackages.readme-lhs | Literate programming support |
| packages/nixpkgs/haskellPackages.cimple | Simple C-like programming language |
| packages/nixpkgs/haskellPackages.egison | Programming language with non-linear pattern-matching against non-free data |
| packages/nixpkgs/haskellPackages.SoccerFun | Football simulation framework for teaching functional programming |
| packages/nixpkgs/haskellPackages.monad-task | A monad transformer that turns event processing into co-routine programming |
| packages/nixpkgs/perl540Packages.BioExtAlign | Write Perl Subroutines in Other Programming Languages |
| packages/nixpkgs/perl538Packages.BioExtAlign | Write Perl Subroutines in Other Programming Languages |
| packages/nixpkgs/haskellPackages.AspectAG | First-class Attribute Grammars implemented using type-level programming |
| packages/nixpkgs/haskellPackages.type-level-tf | Type-level programming library (type families) |
| packages/nixpkgs/mercury | Pure logic programming language |
| packages/nixpkgs/haskellPackages.monad-bayes | A library for probabilistic programming |
| packages/nixpkgs/perl538Packages.Inline | Write Perl Subroutines in Other Programming Languages |
| packages/nixpkgs/perl540Packages.Inline | Write Perl Subroutines in Other Programming Languages |
| packages/nixpkgs/haskellPackages.coinor-clp | Linear Programming using COIN-OR/CLP and comfort-array |
| packages/nixpkgs/haskellPackages.genprog | Genetic programming library |
| packages/nixpkgs/haskellPackages.cpmonad | Competitive programming problemsetting toolchain |
| packages/nixpkgs/haskellPackages.lazyboy | An EDSL for programming the Game Boy |
| packages/nixpkgs/haskellPackages.lazyppl | Lazy Probabilistic Programming Library |
| packages/nixpkgs/haskellPackages.netwire | Functional reactive programming library |
| packages/nixpkgs/haskellPackages.terrahs | A Haskell GIS Programming Environment |
| packages/nixpkgs/skawarePackages.skalibs | Set of general-purpose C programming libraries |
| packages/nixpkgs/haskellPackages.family-tree | A family tree library for the Haskell programming language |
| packages/nixpkgs/haskellPackages.imprevu | Reactive programming language based on a DSL |
| packages/nixpkgs/haskellPackages.unbound | Generic support for programming with names and binders |
| packages/nixpkgs/haskellPackages.reactor | Reactor - task parallel reactive programming |
| packages/nixpkgs/haskellPackages.regular | Generic programming library for regular datatypes |
| packages/nixpkgs/haskellPackages.unique-lang | Esoteric programming language where each number can only appear once |
| packages/nixpkgs/perlPackages.Paranoid | General function library for safer, more secure programming |
| packages/nixpkgs/haskellPackages.ADPfusion | Efficient, high-level dynamic programming |
| packages/nixpkgs/haskellPackages.Befunge93 | An interpreter for the Befunge-93 Programming Language |
| packages/nixpkgs/skalibs_2_10 | Set of general-purpose C programming libraries |
| packages/nixpkgs/haskellPackages.haskeme | Compiler from I- to S-Expressions for the Scheme Programming Language |
| packages/nixpkgs/haskellPackages.dewdrop | Find gadgets for return-oriented programming on x86 |
| packages/nixpkgs/haskellPackages.jmacro-rpc | JSON-RPC clients and servers using JMacro, and evented client-server Reactive Programming |
| packages/nixpkgs/haskellPackages.caledon | a logic programming language based on the calculus of constructions |
| packages/nixpkgs/haskellPackages.subhask | Type safe interface for programming in subcategories of Hask |
| packages/nixpkgs/haskellPackages.LPFP | Code for the book Learn Physics with Functional Programming |
| packages/nixpkgs/haskellPackages.improve | An imperative, verifiable programming language for high assurance applications |
| packages/nixpkgs/haskellPackages.paprika | The Haskell library and examples for the kids programming robot paprika |
| packages/nixpkgs/haskellPackages.webshow | Show programming language printed values in a web UI |
| packages/nixpkgs/haskellPackages.aop-prelude | prelude for Algebra of Programming |
| packages/nixpkgs/haskellPackages.ghc-lib-parser-ex | Programming with GHC parse trees |
| packages/nixpkgs/haskellPackages.regular-web | Generic programming for the web |
| packages/nixpkgs/idris2Packages.idris2 | Purely functional programming language with first class types |
| packages/nixpkgs/haskellPackages.structs | Strict GC'd imperative object-oriented programming with cheap pointers |
| packages/nixpkgs/perl5Packages.Paranoid | General function library for safer, more secure programming |
| packages/nixpkgs/haskellPackages.ADPfusionSet | Dynamic programming for Set data structures |
| packages/nixpkgs/texlivePackages.luatikz | A 2D graphics library to draw TikZ graphics using the Lua programming language |
| packages/nixpkgs/haskellPackages.event-driven | library for event driven programming |
| packages/nixpkgs/haskellPackages.gore-and-ash-actor | Gore&Ash engine extension that implements actor style of programming |
| packages/nixpkgs/haskellPackages.frp-arduino | Arduino programming without the hassle of C |
| packages/nixpkgs/haskellPackages.nri-prelude | A Prelude inspired by the Elm programming language |
| packages/nixpkgs/haskellPackages.rhine_1_6 | Functional Reactive Programming with type-level clocks |
| packages/nixpkgs/haskellPackages.zendesk-api | Zendesk API for Haskell programming language |
| packages/nixpkgs/haskellPackages.haskell-mpi | Distributed parallel programming in Haskell using MPI |
| packages/nixpkgs/haskellPackages.haskell-cnc | Library for parallel programming in the Intel Concurrent Collections paradigm |
| packages/nixpkgs/haskellPackages.dynamic-pp | A pretty-print library that employs a dynamic programming algorithm for optimal rendering |
| packages/nixpkgs/haskellPackages.logict-state | Library for logic programming based on haskell package logict |
| packages/nixpkgs/haskellPackages.FiniteMap | A finite map implementation, derived from the paper: Efficient sets: a balancing act, S |
| packages/nixpkgs/haskellPackages.hmatrix-glpk | Linear Programming based on GLPK |
| packages/nixpkgs/notonoto-console | Programming font that combines Noto Sans Mono and Noto Sans JP |
| packages/nixpkgs/haskellPackages.PUH-Project | This is a package which includes Assignments, Email, User and Reviews modules for Programming in Haskell course |
| packages/nixpkgs/haskellPackages.Ordinary | A Programming Language in Construction |
| packages/nixpkgs/haskellPackages.comfort-glpk | Linear Programming using GLPK and comfort-array |
| packages/nixpkgs/haskellPackages.parallel | Parallel programming library |
| packages/nixpkgs/notonoto-hs-console | Programming font that combines Noto Sans Mono and Noto Sans JP |
| packages/nixpkgs/haskellPackages.Obsidian | Embedded language for GPU Programming |
| packages/nixpkgs/texlivePackages.l3kernel | LaTeX3 programming conventions |
| packages/nixpkgs/texlivePackages.semantic | Help for writing programming language semantics |
| packages/nixpkgs/haskellPackages.acme-hq9plus | An embedded DSL for the HQ9+ programming language |
| packages/nixpkgs/haskellPackages.quipper-core | An embedded, scalable functional programming language for quantum computing |
| packages/nixpkgs/haskellPackages.zeolite-lang | Zeolite is a statically-typed, general-purpose programming language |
| packages/nixpkgs/haskellPackages.LogicGrowsOnTrees | a parallel implementation of logic programming using distributed tree exploration |
| packages/nixpkgs/haskellPackages.Naperian | Naperian Functors for APL-like programming |
| packages/nixpkgs/haskellPackages.heukarya | A genetic programming based on tree structure |
| packages/nixpkgs/haskellPackages.WidgetRattus | An asynchronous modal FRP language for GUI programming |
| packages/nixpkgs/haskellPackages.heapsort | Heapsort of MArrays as a demo of imperative programming |
| packages/nixpkgs/haskellPackages.multirec | Generic programming for families of recursive datatypes |
| packages/nixpkgs/haskellPackages.shentong | A Haskell implementation of the Shen programming language |
| packages/nixpkgs/haskellPackages.streamly | Streaming, dataflow programming and declarative concurrency |
| packages/nixpkgs/haskellPackages.reactive | Push-pull functional reactive programming |
| packages/nixpkgs/haskellPackages.SCRIPTWriter | ESCRIPT: a human friendly language for programming Bitcoin scripts |
| packages/nixpkgs/haskellPackages.data-variant | A variant data type, useful for modeling dynamically-typed programming languages |
| packages/nixpkgs/haskellPackages.mathista | A small programming language for numerical computing |
| packages/nixpkgs/haskellPackages.edenskel | Semi-explicit parallel programming skeleton library |
| packages/nixpkgs/haskellPackages.timeless | An Arrow based Functional Reactive Programming library |
| packages/nixpkgs/haskellPackages.shellish | shell-/perl- like (systems) programming in Haskell |
| packages/nixpkgs/haskellPackages.probable | Easy and reasonably efficient probabilistic programming and random generation |
| packages/nixpkgs/haskellPackages.semiring | Semirings, ring-like structures used for dynamic programming applications |
| packages/nixpkgs/haskellPackages.simple-actors | A library for more structured concurrent programming, based on the Actor Model |
| packages/nixpkgs/haskellPackages.generics-eot | A library for generic programming that aims to be easy to understand |
| packages/nixpkgs/haskellPackages.generics-sop | Generic Programming using True Sums of Products |
| packages/nixpkgs/perl538Packages.Paranoid | General function library for safer, more secure programming |
| packages/nixpkgs/perl540Packages.Paranoid | General function library for safer, more secure programming |
| packages/nixpkgs/tigerjython | Simple development environment for programming in Python |
| packages/nixpkgs/haskellPackages.canteven-http | Utilities for HTTP programming |
| packages/nixpkgs/haskellPackages.language-hcl | HCL parsers and pretty-printers for the Haskell programming language |
| packages/nixpkgs/haskellPackages.full-sessions | a monad for protocol-typed network programming |
| packages/nixpkgs/haskellPackages.ADPfusionForest | Dynamic programming on tree and forest structures |
| packages/nixpkgs/haskellPackages.descript-lang | Library, interpreter, and CLI for Descript programming language |
| packages/nixpkgs/haskellPackages.kind-generics | Generic programming in GHC style for arbitrary kinds and GADTs |
| packages/nixpkgs/haskellPackages.language-conf | Conf parsers and pretty-printers for the Haskell programming language |
| packages/nixpkgs/haskellPackages.monadiccp | Constraint Programming |
| packages/nixpkgs/haskellPackages.dynamic-object | Object-oriented programming with duck typing and singleton classes |
| packages/nixpkgs/haskellPackages.prototype | prototype-based programming on Haskell |
| packages/nixpkgs/haskellPackages.sketch-frp-copilot | Sketch programming with Copilot |
| packages/nixpkgs/haskellPackages.zephyr-copilot | Embedded programming in haskell using the Copilot stream DSL and Zephyr |
| packages/nixpkgs/nerd-fonts.caskaydia-cove | Nerd Fonts: A fun, new monospaced font that includes programming ligatures and is designed to enhance the modern look and feel of the Windows Terminal |
| packages/nixpkgs/haskellPackages.copilot-frp-sketch | FRP sketch programming with Copilot |
| packages/nixpkgs/haskellPackages.cloudchor | Lightweight and efficient choreographic programming for cloud services |
| packages/nixpkgs/haskellPackages.shady-graphics | Functional GPU programming - DSEL & compiler |
| packages/nixpkgs/haskellPackages.reactive-bacon | FRP (functional reactive programming) framework |
| packages/nixpkgs/miniaudicle | Light-weight integrated development environment for the ChucK digital audio programming language |
| packages/nixpkgs/haskellPackages.generics-mrsop | Generic Programming with Mutually Recursive Sums of Products |
| packages/nixpkgs/haskellPackages.Ztrategic | Zipper-based library for strategic programming and attribute grammars |
| packages/nixpkgs/haskellPackages.yices-painless | An embedded language for programming the Yices SMT solver |
| packages/nixpkgs/haskellPackages.large-generics | Generic programming API for large-records and large-anon |
| packages/nixpkgs/haskellPackages.dhscanner-ast | abstract syntax tree for multiple programming languages |
| packages/nixpkgs/haskellPackages.funcons-lambda-cbv-mp | call-by-value lambda-calculus with meta-programming |
| packages/nixpkgs/haskellPackages.DysFRP-Craftwerk | dysFunctional Reactive Programming on Craftwerk |
| packages/nixpkgs/haskellPackages.acme-stringly-typed | Stringly Typed Programming |
| packages/nixpkgs/haskellPackages.linear-generics | Generic programming library for generalised deriving |
| packages/nixpkgs/haskellPackages.arduino-copilot | Arduino programming in haskell using the Copilot stream DSL |
| packages/nixpkgs/haskellPackages.servant-foreign | Helpers for generating clients for servant APIs in any programming language |
| packages/nixpkgs/haskellPackages.reactive-thread | Reactive programming via imperative threads |
| packages/nixpkgs/haskellPackages.reactive-banana | Library for functional reactive programming (FRP) |
| packages/nixpkgs/haskellPackages.language-oberon | Parser, pretty-printer, and more for the Oberon programming language |
| packages/nixpkgs/haskellPackages.tomato-rubato-openal | Easy to use library for audio programming |
| packages/nixpkgs/haskellPackages.logict-sequence | A backtracking logic-programming monad with asymptotic improvements to msplit |
| packages/nixpkgs/haskellPackages.language-Modula2 | Parser, pretty-printer, and more for the Modula-2 programming language |
| packages/nixpkgs/haskellPackages.symantic-parser | Parser combinators statically optimized and staged via typed meta-programming |
| packages/nixpkgs/skawarePackages.skalibs_2_10 | Set of general-purpose C programming libraries |
| packages/nixpkgs/color-transformation-language | Programming language for digital color management |
| packages/nixpkgs/texlivePackages.functional | An intuitive functional programming interface for LaTeX2 |
| packages/nixpkgs/haskellPackages.inliterate | Interactive literate programming |
| packages/nixpkgs/haskellPackages.forbidden-fruit | A library accelerates imperative style programming |
| packages/nixpkgs/haskellPackages.whitespace | Whitespace, an esoteric programming language |
| packages/nixpkgs/haskellPackages.purescript | PureScript Programming Language Compiler |
| packages/nixpkgs/haskellPackages.grapefruit-ui | Declarative user interface programming |
| packages/nixpkgs/haskellPackages.reactive-banana-gi-gtk | Simple reactive programming with GTK GObject Introspection |
| packages/nixpkgs/akkuPackages.rebottled-schelog | Dorai Sitaram's Schelog: logic programming in Scheme |
| packages/nixpkgs/haskellPackages.generic-deriving | Generic programming library for generalised deriving |
| packages/nixpkgs/haskellPackages.instant-generics | Generic programming library with a sum of products view |
| packages/nixpkgs/haskellPackages.grapefruit-frp | Functional Reactive Programming core |
| packages/nixpkgs/haskellPackages.monadiccp-gecode | Constraint Programming |
| packages/nixpkgs/texlivePackages.clojure-pamphlet | A simple literate programming tool based on clojure's pamphlet system |
| packages/nixpkgs/haskellPackages.ghc-lib-parser-ex_9_14_2_0 | Programming with GHC parse trees |
| packages/nixpkgs/haskellPackages.unbound-generics | Support for programming with names and binders using GHC Generics |
| packages/nixpkgs/haskellPackages.quipper-language | Quipper, an embedded functional programming language for quantum computation |
| packages/nixpkgs/haskellPackages.parconc-examples | Examples to accompany the book "Parallel and Concurrent Programming in Haskell" |
| packages/nixpkgs/haskellPackages.purescript-ast | PureScript Programming Language Abstract Syntax Tree |
| packages/nixpkgs/haskellPackages.purescript-cst | PureScript Programming Language Concrete Syntax Tree |
| packages/nixpkgs/haskellPackages.coroutine-object | Object-oriented programming realization using coroutine |
| packages/nixpkgs/haskellPackages.grapefruit-ui-gtk | GTK+-based backend for declarative user interface programming |
| packages/nixpkgs/akkuPackages.scheme-langserver | This package is a language server protocol implementation helping scheme programming. |
| packages/nixpkgs/haskellPackages.profunctor-monad | Monadic bidirectional programming |
| packages/nixpkgs/haskellPackages.unbound-kind-generics | Support for programming with names and binders using kind-generics |
| packages/nixpkgs/haskellPackages.reflex_0_9_4_0 | Higher-order Functional Reactive Programming |
| packages/nixpkgs/texlivePackages.beamertools | A collection of programming tools for beamer |
| packages/nixpkgs/haskellPackages.probability | Probabilistic Functional Programming |
| packages/nixpkgs/haskellPackages.hyperscript | A parser for the _hyperscript programming language |
| packages/nixpkgs/haskellPackages.functional-arrow | Combinators that allow for a more functional/monadic style of Arrow programming |
| packages/nixpkgs/haskellPackages.effective-aspects | A monadic embedding of aspect oriented programming |
| packages/nixpkgs/texlivePackages.latexindent | Indent a LaTeX document, highlighting the programming structure |
| packages/nixpkgs/haskellPackages._3d-graphics-examples | Examples of 3D graphics programming with OpenGL |
| packages/nixpkgs/haskellPackages.edenmodules | Semi-explicit parallel programming library |
| packages/nixpkgs/haskellPackages.quipper-rendering | An embedded, scalable functional programming language for quantum computing |
| packages/nixpkgs/haskellPackages.sparsecheck | A Logic Programming Library for Test-Data Generation |
| packages/nixpkgs/haskellPackages.Shpadoinkle | A programming model for declarative, high performance user interface |
| packages/nixpkgs/haskellPackages.Lambdajudge | A library to easily host Haskell based programming competitions |
| packages/nixpkgs/haskellPackages.deepcontrol | A library that provides deep-level programming style and(or) notation on Applicative and Monad |
| packages/nixpkgs/haskellPackages.snaplet-typed-sessions | Typed session snaplets and continuation-based programming for the Snap web framework |
| packages/nixpkgs/haskellPackages.gi-gtk-declarative | Declarative GTK+ programming in Haskell |
| packages/nixpkgs/haskellPackages.kind-generics-deriving | Generic programming in GHC style for arbitrary kinds and GADTs |
| packages/nixpkgs/haskellPackages.effective-aspects-mzv | A monadic embedding of aspect oriented programming, using "Monads, Zippers and Views" instead of mtl |
| packages/nixpkgs/haskellPackages.type-combinators | A collection of data types for type-level programming |
| packages/nixpkgs/haskellPackages.grapefruit-records | A record system for Functional Reactive Programming |
| packages/nixpkgs/haskellPackages.hmatrix-quadprogpp | Bindings to the QuadProg++ quadratic programming library |
| packages/nixpkgs/haskellPackages.flexible-numeric-parsers | Flexible numeric parsers for real-world programming languages |
| packages/nixpkgs/functionalplus | Functional Programming Library for C++ |
| packages/nixpkgs/haskellPackages.Strafunski-StrategyLib | Library for strategic programming |
| packages/nixpkgs/haskellPackages.simplistic-generics | Generic programming without too many type classes |
| packages/nixpkgs/haskellPackages.distributed-closure | Serializable closures for distributed programming |
| packages/nixpkgs/haskellPackages.parallel_3_3_0_0 | Parallel programming library |
| packages/nixpkgs/haskellPackages.gi-gtk-declarative-app-simple | Declarative GTK+ programming in Haskell in the style of Pux |
| packages/nixpkgs/pv | Tool for monitoring the progress of data through a pipeline |
| packages/nixpkgs/texlivePackages.stringstrings | String manipulation for cosmetic and programming application |
| packages/nixpkgs/haskellPackages.arghwxhaskell | An interpreter for the Argh! programming language in wxHaskell |
| packages/nixpkgs/cope | Colourful wrapper for terminal programs |
| packages/nixpkgs/peg | Tools for generating recursive-descent parsers: programs that perform pattern matching on text |
| packages/nixpkgs/qpdf | C++ library and set of programs that inspect and manipulate the structure of PDF files |
| packages/nixpkgs/haskellPackages.exploring-interpreters | A generic exploring interpreter for exploratory programming |
| packages/nixpkgs/gappa | Verifying and formally proving properties on numerical programs dealing with floating-point or fixed-point arithmetic |
| packages/nixpkgs/quick-lint-js | Find bugs in Javascript programs |
| packages/nixpkgs/csmith | Random generator of C programs |
| packages/nixpkgs/pdf-parser | Parse a PDF document |
| packages/nixpkgs/s6-dns | Suite of DNS client programs and libraries for Unix systems |
| packages/nixpkgs/num-utils | Programs for dealing with numbers from the command line |
| packages/nixpkgs/rictydiminished-with-firacode | Best Japanese programming font meets the awesome ligatures of Firacode |
| packages/nixpkgs/sfeed | RSS and Atom parser (and some format programs) |
| packages/nixpkgs/arduinoOTA | Tool for uploading programs to Arduino boards over a network |
| packages/nixpkgs/perlPackages.AppCLI | Dispatcher module for command line interface programs |
| packages/nixpkgs/perl5Packages.AppCLI | Dispatcher module for command line interface programs |
| packages/nixpkgs/t1utils | Collection of simple Type 1 font manipulation programs |
| packages/nixpkgs/haskellPackages.cgi | A library for writing CGI programs |
| packages/nixpkgs/haskellPackages.HSH | Library to mix shell scripting with Haskell programs |
| packages/nixpkgs/idrisPackages.test | Testing Utilities for Idris programs |
| packages/nixpkgs/haskellPackages.opn | Open files or URLs using associated programs |
| packages/nixpkgs/haskellPackages.afv | Infinite state model checking of iterative C programs |
| packages/nixpkgs/haskellPackages.limp | representation of Integer Linear Programs |
| packages/nixpkgs/akkuPackages.r6lint | Linter for R6RS libraries and programs |
| packages/nixpkgs/skawarePackages.s6-dns | Suite of DNS client programs and libraries for Unix systems |
| packages/nixpkgs/haskellPackages.zeno | An automated proof system for Haskell programs |
| packages/nixpkgs/haskellPackages.om-elm | Haskell utilities for building embedded Elm programs |
| packages/nixpkgs/haskellPackages.scgi | A Haskell library for writing SCGI programs |
| packages/nixpkgs/haskellPackages.uni-htk | Graphical User Interface for Haskell Programs |
| packages/nixpkgs/texlivePackages.tex-ewd | Macros to typeset calculational proofs and programs in Dijkstra's style |
| packages/nixpkgs/haskellPackages.hsp-cgi | Facilitates running Haskell Server Pages web pages as CGI programs |
| packages/nixpkgs/perlPackages.Expect | Automate interactions with command line programs that expose a text terminal interface |
| packages/nixpkgs/haskellPackages.THSH | A "noDSL" approach to mixing shell scripting with Haskell programs using Template Haskell |
| packages/nixpkgs/haskellPackages.mem-info | Print the core memory usage of programs |
| packages/nixpkgs/haskellPackages.Hs2lib | A Library and Preprocessor that makes it easier to create shared libs from Haskell programs |
| packages/nixpkgs/haskellPackages.runhs | Stack wrapper for single-file Haskell programs |
| packages/nixpkgs/perl540Packages.AppCLI | Dispatcher module for command line interface programs |
| packages/nixpkgs/perl538Packages.AppCLI | Dispatcher module for command line interface programs |
| packages/nixpkgs/haskellPackages.PropaFP | Auto-active verification of floating-point programs |
| packages/nixpkgs/haskellPackages.crux-llvm | A verification tool for C programs |
| packages/nixpkgs/perl5Packages.Expect | Automate interactions with command line programs that expose a text terminal interface |
| packages/nixpkgs/texlivePackages.tikz-sfc | Symbols collection for typesetting Sequential Function Chart (SFC) diagrams (PLC programs) |
| packages/nixpkgs/haskellPackages.alsa-gui | Some simple interactive programs for sending MIDI control messages via ALSA |
| packages/nixpkgs/haskellPackages.titan | Testing Infrastructure for Temporal AbstractioNs - GUI to debug temporal programs |
| packages/nixpkgs/haskellPackages.PropRatt | Property-based testing framework for testing asynchronous FRP programs |
| packages/nixpkgs/haskellPackages.ghc-gc-tune | Graph performance of Haskell programs with different GC flags |
| packages/nixpkgs/haskellPackages.tls-debug | Set of programs for TLS testing and debugging |
| packages/nixpkgs/perlPackages.TestExpect | Automated driving and testing of terminal-based programs |
| packages/nixpkgs/haskellPackages.Lastik | A library for compiling programs in a variety of languages |
| packages/nixpkgs/haskellPackages.dejafu | A library for unit-testing concurrent programs |
| packages/nixpkgs/haskellPackages.curry-base | Functions for manipulating Curry programs |
| packages/nixpkgs/haskellPackages.oughta | A library to test programs that output text |
| packages/nixpkgs/perl5Packages.TestExpect | Automated driving and testing of terminal-based programs |
| packages/nixpkgs/haskellPackages.ivory-eval | Simple concrete evaluator for Ivory programs |
| packages/nixpkgs/haskellPackages.HJScript | HJScript is a Haskell EDSL for writing JavaScript programs |
| packages/nixpkgs/texlivePackages.c-pascal | Typeset Python, C and Pascal programs |
| packages/nixpkgs/haskellPackages.postie | SMTP server library to receive emails from within Haskell programs |
| packages/nixpkgs/cyberpunk-neon | Neon themes for many programs |
| packages/nixpkgs/haskellPackages.QuickCheck | Automatic testing of Haskell programs |
| packages/nixpkgs/lockfileProgs | Programs for locking and unlocking files and mailboxes |
| packages/nixpkgs/perlPackages.TestPerlCritic | Use Perl::Critic in test programs |
| packages/nixpkgs/haskellPackages.Pup-Events | A networked event handling framework for hooking into other programs |
| packages/nixpkgs/haskellPackages.sbvPlugin | Formally prove properties of Haskell programs using SBV/SMT |
| packages/nixpkgs/texlivePackages.algobox | Typeset Algobox programs |
| packages/nixpkgs/haskellPackages.clash-shake | Shake rules for building Clash programs |
| packages/nixpkgs/texlivePackages.scratch | Draw programs like "scratch" |
| packages/nixpkgs/texlivePackages.texware | Utility programs for use with TeX |
| packages/nixpkgs/haskellPackages.threadPool | Runs other programs in the manner of a thread pool |
| packages/nixpkgs/haskellPackages.powerpc | Tools for PowerPC programs |
| packages/nixpkgs/perl5Packages.TestPerlCritic | Use Perl::Critic in test programs |
| packages/nixpkgs/perlPackages.CaptureTiny | Capture STDOUT and STDERR from Perl, XS or external programs |
| packages/nixpkgs/perl538Packages.Expect | Automate interactions with command line programs that expose a text terminal interface |
| packages/nixpkgs/perl540Packages.Expect | Automate interactions with command line programs that expose a text terminal interface |
| packages/nixpkgs/haskellPackages.hylolib | Tools for hybrid logics related programs |
| packages/nixpkgs/haskellPackages.fastcgi | A Haskell library for writing FastCGI programs |
| packages/nixpkgs/haskellPackages.hfusion | A library for fusing a subset of Haskell programs |
| packages/nixpkgs/haskellPackages.fitspec | refining property sets for testing Haskell programs |
| packages/nixpkgs/haskellPackages.copilot | A stream DSL for writing embedded C programs |
| packages/nixpkgs/perl5Packages.CaptureTiny | Capture STDOUT and STDERR from Perl, XS or external programs |
| packages/nixpkgs/texlivePackages.t1utils | Simple Type 1 font manipulation programs |
| packages/nixpkgs/haskellPackages.archive | A library and programs for creating hardlinked incremental archives or backups |
| packages/nixpkgs/haskellPackages.ui-command | A framework for friendly commandline programs |
| packages/nixpkgs/hexbinhex | Six utility programs to convert between hex, binary, ascii-binary
and the oddball NIST format for 90B testing.
|
| packages/nixpkgs/haskellPackages.Pup-Events-Demo | A networked event handling framework for hooking into other programs |
| packages/nixpkgs/haskellPackages.elm-reactor | Interactive development tool for Elm programs |
| packages/nixpkgs/perl538Packages.TestExpect | Automated driving and testing of terminal-based programs |
| packages/nixpkgs/perl540Packages.TestExpect | Automated driving and testing of terminal-based programs |
| packages/nixpkgs/texlivePackages.gustprog | utility programs for Polish users of TeX |
| packages/nixpkgs/haskellPackages.hoodle-types | Data types for programs for hoodle file format |
| packages/nixpkgs/haskellPackages.mmsyn7s | Shows a sorted list of the Ukrainian sounds representations that can be used by mmsyn7 series of programs |
| packages/nixpkgs/perlPackages.AppFatPackerSimple | A simpler way to fatpack perl programs |
| packages/nixpkgs/haskellPackages.haskell-menu | A simple menu system for Haskell programs |
| packages/nixpkgs/texlivePackages.scratch3 | Draw programs like "scratch" |
| packages/nixpkgs/texlivePackages.scratchx | Include Scratch programs in LaTeX documents |
| packages/nixpkgs/haskellPackages.edit-lenses-demo | Programs demoing the use of symmetric, stateful edit lenses |
| packages/nixpkgs/perlPackages.ServerStarter | Superdaemon for hot-deploying server programs |
| packages/nixpkgs/haskellPackages.Pup-Events-PQueue | A networked event handling framework for hooking into other programs |
| packages/nixpkgs/haskellPackages.broccoli | Small library for interactive functional programs |
| packages/nixpkgs/haskellPackages.pathwalk | Path walking utilities for Haskell programs |
| packages/nixpkgs/haskellPackages.peakachu | Experiemental library for composable interactive programs |
| packages/nixpkgs/perl5Packages.AppFatPackerSimple | A simpler way to fatpack perl programs |
| packages/nixpkgs/perl540Packages.TestPerlCritic | Use Perl::Critic in test programs |
| packages/nixpkgs/perl538Packages.TestPerlCritic | Use Perl::Critic in test programs |
| packages/nixpkgs/bashup-events32 | Event listener/callback API for creating extensible bash programs |
| packages/nixpkgs/bashup-events44 | Event listener/callback API for creating extensible bash programs |
| packages/nixpkgs/haskellPackages.lushtags | Create ctags compatible tags files for Haskell programs |
| packages/nixpkgs/haskellPackages.catalyst | A Category typeclass hierarchy powerful enough to encode full programs |
| packages/nixpkgs/haskellPackages.proctest | An IO library for testing interactive command line programs |
| packages/nixpkgs/perl5Packages.ServerStarter | Superdaemon for hot-deploying server programs |
| packages/nixpkgs/haskellPackages.hasktags | Produces ctags "tags" and etags "TAGS" files for Haskell programs |
| packages/nixpkgs/haskellPackages.shell-utility | Utility functions for writing command-line programs |
| packages/nixpkgs/haskellPackages.xournal-types | Data types for programs for xournal file format |
| packages/nixpkgs/perl538Packages.CaptureTiny | Capture STDOUT and STDERR from Perl, XS or external programs |
| packages/nixpkgs/perl540Packages.CaptureTiny | Capture STDOUT and STDERR from Perl, XS or external programs |
| packages/nixpkgs/haskellPackages.dph-examples | Data Parallel Haskell example programs |
| packages/nixpkgs/haskellPackages.vty-examples | Examples programs using the vty library |
| packages/nixpkgs/haskellPackages.Pup-Events-Server | A networked event handling framework for hooking into other programs |
| packages/nixpkgs/haskellPackages.Pup-Events-Client | A networked event handling framework for hooking into other programs |
| packages/nixpkgs/haskellPackages.uu-cco-examples | Utilities for compiler construction: example programs |
| packages/nixpkgs/perlPackages.commonsense | Implements some sane defaults for Perl programs |
| packages/nixpkgs/haskellPackages.qtah-examples | Example programs for Qtah Qt bindings |
| packages/nixpkgs/haskellPackages.hsqml-demo-samples | HsQML sample programs |
| packages/nixpkgs/haskellPackages.QuickCheck_2_17_1_0 | Automatic testing of Haskell programs |
| packages/nixpkgs/perl5Packages.commonsense | Implements some sane defaults for Perl programs |
| packages/nixpkgs/texlivePackages.context-filter | Run external programs on the contents of a start-stop environment |
| packages/nixpkgs/texlivePackages.texlive-scripts | TeX Live infrastructure programs |
| packages/nixpkgs/haskellPackages.hskeleton | Skeleton for new Haskell programs |
| packages/nixpkgs/haskellPackages.graphql-client | A client for Haskell programs to query a GraphQL API |
| packages/nixpkgs/haskellPackages.hyloutils | Very small programs for hybrid logics |
| packages/nixpkgs/haskellPackages.dovetail-aeson | Use Aeson from your Dovetail programs |
| packages/nixpkgs/haskellPackages.crucible-debug | An interactive debugger for Crucible programs |
| packages/nixpkgs/libfaketime | Report faked system time to programs without having to change the system-wide time |
| packages/nixpkgs/perl540Packages.AppFatPackerSimple | A simpler way to fatpack perl programs |
| packages/nixpkgs/perl538Packages.AppFatPackerSimple | A simpler way to fatpack perl programs |
| packages/nixpkgs/haskellPackages.shake-literate | Rules for building literate programs in shake |
| packages/nixpkgs/haskellPackages.transient | composing programs with multithreading, events and distributed computing |
| packages/nixpkgs/haskellPackages.language-ocaml | Language tools for manipulating OCaml programs in Haskell |
| packages/nixpkgs/haskellPackages.nlp-scores-scripts | NLP scoring command-line programs |
| packages/nixpkgs/haskellPackages.yesod-examples | Example programs using the Yesod Web Framework. (deprecated) |
| packages/nixpkgs/perl540Packages.ServerStarter | Superdaemon for hot-deploying server programs |
| packages/nixpkgs/perl538Packages.ServerStarter | Superdaemon for hot-deploying server programs |
| packages/nixpkgs/haskellPackages.copilot_4_6 | A stream DSL for writing embedded C programs |
| packages/nixpkgs/perlPackages.HTMLFormatExternal | HTML to text formatting using external programs |
| packages/nixpkgs/haskellPackages.canteven-config | A pattern for configuring programs |
| packages/nixpkgs/perl5Packages.HTMLFormatExternal | HTML to text formatting using external programs |
| packages/nixpkgs/perlPackages.TestWWWMechanizePSGI | Test PSGI programs using WWW::Mechanize |
| packages/nixpkgs/perl538Packages.commonsense | Implements some sane defaults for Perl programs |
| packages/nixpkgs/perl540Packages.commonsense | Implements some sane defaults for Perl programs |
| packages/nixpkgs/haskellPackages.regex-examples | Tutorial, tests and example programs for regex |
| packages/nixpkgs/perl5Packages.TestWWWMechanizePSGI | Test PSGI programs using WWW::Mechanize |
| packages/nixpkgs/haskellPackages.language-c99-simple | C-like AST to simplify writing C99 programs |
| packages/nixpkgs/haskellPackages.instrument | Easy stats/metrics instrumentation for Haskell programs |
| packages/nixpkgs/haskellPackages.servant-examples | Example programs for servant |
| packages/nixpkgs/haskellPackages.quickbench | quick & easy benchmarking of command-line programs |
| packages/nixpkgs/haskellPackages.copilot-verifier | System for verifying the correctness of generated Copilot programs |
| packages/nixpkgs/haskellPackages.android-activity | Turn regular Haskell programs into Android Activities |
| packages/nixpkgs/texlivePackages.collection-basic | Essential programs and files |
| packages/nixpkgs/perl538Packages.HTMLFormatExternal | HTML to text formatting using external programs |
| packages/nixpkgs/perl540Packages.HTMLFormatExternal | HTML to text formatting using external programs |
| packages/nixpkgs/haskellPackages.imperative-edsl | Deep embedding of imperative programs with code generation |
| packages/nixpkgs/perl540Packages.TestWWWMechanizePSGI | Test PSGI programs using WWW::Mechanize |
| packages/nixpkgs/perl538Packages.TestWWWMechanizePSGI | Test PSGI programs using WWW::Mechanize |
| packages/nixpkgs/haskellPackages.imperative-edsl-vhdl | Deep embedding of VHDL programs with code generation |
| packages/nixpkgs/haskellPackages.threadscope | A graphical tool for profiling parallel Haskell programs |
| packages/nixpkgs/haskellPackages.freer-simple-profiling | Automatic profling of freer-simple programs |
| packages/nixpkgs/haskellPackages.hack-frontend-monadcgi | Allows programs written against MonadCGI to run with any hack handler. (deprecated) |
| packages/nixpkgs/texlivePackages.collection-wintools | Windows-only support programs |
| packages/nixpkgs/texlivePackages.collection-binextra | TeX auxiliary programs |
| packages/nixpkgs/haskellPackages.applicative-splice | Write applicative programs in direct style (generalizes idiom brackets) |
| packages/nixpkgs/haskellPackages.quickcheck-state-machine | Test monadic programs using state machine based models |
| packages/nixpkgs/haskellPackages.jsonextfilter | Filter select values in JSON objects to unix programs |
| packages/nixpkgs/haskellPackages.lazysmallcheck | A library for demand-driven testing of Haskell programs |
| packages/nixpkgs/haskellPackages.shelltestrunner | Easy, repeatable testing of CLI programs/commands |
| packages/nixpkgs/haskellPackages.quickcheck-state-machine-distributed | Test monadic programs using state machine based models |
| packages/nixpkgs/haskellPackages.shelltestrunner_1_11 | Easy, repeatable testing of CLI programs/commands |
| packages/nixpkgs/perlPackages.NetDNSResolverProgrammable | Programmable DNS resolver class for offline emulation of DNS |
| packages/nixpkgs/perl5Packages.NetDNSResolverProgrammable | Programmable DNS resolver class for offline emulation of DNS |
| packages/nixpkgs/perl540Packages.NetDNSResolverProgrammable | Programmable DNS resolver class for offline emulation of DNS |
| packages/nixpkgs/perl538Packages.NetDNSResolverProgrammable | Programmable DNS resolver class for offline emulation of DNS |
| packages/nur/c2vi.vis | Vi Scheduler (vis) is a simple TUI program built for managing your schedules in a calendar-like grid. |
| packages/nur/mic92.hello-nur | A program that produces a familiar, friendly greeting |
| packages/nur/definfo.nsub | Subtitle/Lyrics conversion program (webvtt/srt/lrc) |
| packages/nur/dschrempf.beast | Program for Bayesian analysis of molecular sequences using MCMC |
| packages/nur/foresense.utu | Utu is a command-line program that uses the Loris library to analyze sounds |
| packages/nur/sikmir.sasplanet | SAS |
| packages/nur/jonhermansen.hello-jon | Program that produces a familiar, friendly greeting |
| packages/nur/nagy.emacsPackages.emacspy | Program Emacs in Python instead of ELisp (i.e. write dynamic modules for Emacs in Python) |
| packages/nur/mio.wigglypaint | Juicy, jiggly drawing program built with Decker |
| packages/nur/dschrempf.jugglinglab | A program to visualize different juggling pattens |
| packages/nur/sikmir.synwrite | Advanced text editor for programmers and Notepad replacement |
| packages/nur/moredread.implicitcad | Warning: experimental package, might change at any time |
| packages/nur/rycee.firefox-addons.youronlinechoices | Helps preserve your choices for online behavioural advertising from companies participating in the European OBA Self-Regulatory Programme. |
| packages/nur/renesat.daqp | A dual active-set algorithm for convex quadratic programming |
| packages/nur/Rhys-T.picolisp | Pragmatic programming language (fixed for macOS/Darwin) [DEPRECATED] |
| packages/nur/running-grass.idris2 | A purely functional programming language with first class types |
| packages/nur/Rhys-T.picolisp-rolling | Pragmatic programming language (rolling release) |
| packages/nur/foolnotion.cpp-flux | A C++20 library for sequence-orientated programming |
| packages/nur/sigprof.cosevka | Customized version of the Iosevka font - slender monospace sans-serif and
slab-serif typeface inspired by Pragmata Pro, M+ and PF DIN Mono,
designed to be the ideal font for programming.
|
| packages/nur/0komo.plutolang | A superset of Lua 5.4 with a focus on general-purpose programming |
| packages/nur/dtomvan.tsodingPackages.panim | Programming Animation Engine |
| packages/nur/kalbasit.shrinkpdf | shrink PDF files with Ghostscript |
| packages/nur/foolnotion.fplus | Functional Programming Library for C++ |
| packages/nur/foolnotion.taskflow | A general-purpose parallel and heterogeneous task programming system |
| packages/nur/foolnotion.autodiff | C++17 library that uses modern and advanced programming techniques to enable automatic computation of derivatives in an efficient, easy, and intuitive way. |
| packages/nur/rycee.firefox-addons.competitive-companion | Parses competitive programming problems and sends them to various tools like CP Editor and CPH. |
| packages/nur/j4ger.kwin_geometry_change | A KWin animation for windows moved or resized by programs or scripts |
| packages/nur/falconprogrammer.g13d | Libusb driver for the g13 |