| packages/nixpkgs/haskellPackages.PropLogic | Propositional Logic |
| packages/nixpkgs/haskellPackages.webcloud | Turn an optparse-applicative program into a CGI program! |
| packages/nixpkgs/haskellPackages.data-structure-inferrer | Program that infers the fastest data structure available for your program |
| packages/nixpkgs/haskellPackages.tn | A simple daily journal 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/haskellPackages.KSP | A library with the kerbal space program universe and demo code |
| packages/nixpkgs/haskellPackages.lhae | Simple spreadsheet program |
| packages/nixpkgs/haskellPackages.FindBin | Locate directory of original program |
| packages/nixpkgs/haskellPackages.harg | Haskell program configuration using higher kinded data |
| packages/nixpkgs/haskellPackages.isiz | A program to show the size of image and whether suitable for wallpaper |
| packages/nixpkgs/haskellPackages.ast-path | vocabulary representation for predicting program properties |
| 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/haskellPackages.htags | A Haskell98 parsing tags program similar to ctags |
| 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/haskellPackages.hutton | A program for the button on Reddit |
| 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/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/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/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/haskellPackages.frpnow-gtk3 | Program GUIs with GTK3 and frpnow! |
| 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/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/haskellPackages.TestExplode | Generates testcases from program-snippets |
| 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/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/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/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/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/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/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/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/haskellPackages.DrIFT-cabalized | Program to derive type class instances |
| packages/nixpkgs/haskellPackages.mcmc-synthesis | MCMC applied to probabilistic program synthesis |
| packages/nixpkgs/haskellPackages.egison-tutorial | A tutorial program for the Egison programming language |
| packages/nixpkgs/haskellPackages.update-nix-fetchgit | A program to update fetchgit values in Nix expressions |
| 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/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/haskellPackages.HaskellAnalysisProgram | Haskell source code analysis program |
| 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/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/haskellPackages.program | Programs with Environments and Managed Resources |
| packages/nixpkgs/haskellPackages.sbv-program | Component-based program synthesis using SBV |
| 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/haskellPackages.cabal-build-programs | Adds executable dependencies to the Cabal build |
| 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 |