package ‐ Searchix

Search Nix packages and options from NixOS, Darwin, Home Manager, Nix Packages and NUR

Indexing last ran 10 hours ago, will run again in 13 hours.

Combined search

Attribute	Description
packages/nixpkgs/haskellPackages.sbv_12_2	SMT Based Verification: Symbolic Haskell theorem prover using SMT solving
packages/nixpkgs/haskellPackages.sbv_13_1	SMT Based Verification: Symbolic Haskell theorem prover using SMT solving
packages/nixpkgs/haskellPackages.GenussFold	MCFGs for Genus-1 RNA Pseudoknots
packages/nixpkgs/haskellPackages.ConfigFileTH	Template haskell for reading ConfigFiles
packages/nixpkgs/haskellPackages.NanoProlog	Very small interpreter for a Prolog-like language
packages/nixpkgs/haskellPackages.HGamer3D-Data	Toolset for the Haskell Game Programmer - Data Definitions
packages/nixpkgs/haskellPackages.CoreErlang	Manipulating Core Erlang source code
packages/nixpkgs/haskellPackages.CheatSheet	A Haskell cheat sheet in PDF and literate formats
packages/nixpkgs/haskellPackages.Etage-Graph	Data-flow based graph algorithms
packages/nixpkgs/haskellPackages.Ranged-sets	Ranged sets for Haskell
packages/nixpkgs/haskellPackages.bytable	data from/to ByteString
packages/nixpkgs/haskellPackages.conjure	A BitTorrent client
packages/nixpkgs/haskellPackages.linear-free	Linear free monads
packages/nixpkgs/haskellPackages.animate	Animation for sprites
packages/nixpkgs/haskellPackages.hsc3-graphs	Haskell SuperCollider Graphs
packages/nixpkgs/haskellPackages.ghc-events	Library and tool for parsing .eventlog files from GHC
packages/nixpkgs/haskellPackages.elision	Arrows with holes
packages/nixpkgs/haskellPackages.fluffy	A simple web application as a online practice website for XDU SE 2017 fall SPM
packages/nixpkgs/haskellPackages.base-compat	A compatibility layer for base
packages/nixpkgs/haskellPackages.gore-and-ash-sync	Gore&Ash module for high level network synchronization
packages/nixpkgs/haskellPackages.beam-sqlite	Beam driver for SQLite
packages/nixpkgs/haskellPackages.graph-utils	A simple wrapper & quasi quoter for fgl
packages/nixpkgs/haskellPackages.incipit	A Prelude for Polysemy
packages/nixpkgs/haskellPackages.liquid-base	base specs for LiquidHaskell
packages/nixpkgs/haskellPackages.fudgets	The Fudgets Library
packages/nixpkgs/haskellPackages.biocore	A bioinformatics library
packages/nixpkgs/haskellPackages.hspec-tmp-proc	Simplify use of tmp-proc from hspec tests
packages/nixpkgs/haskellPackages.ivar-simple	Write once concurrency primitives
packages/nixpkgs/haskellPackages.formatn	Formatting of doubles
packages/nixpkgs/haskellPackages.easy-logger	Logging made easy
packages/nixpkgs/haskellPackages.ddc-core-babel	Disciplined Disciple Compiler PHP code generator
packages/nixpkgs/haskellPackages.genders	Bindings to libgenders
packages/nixpkgs/haskellPackages.cinvoke	A binding to cinvoke
packages/nixpkgs/haskellPackages.chan-split	Concurrent Chans as read/write pairs
packages/nixpkgs/haskellPackages.math-extras	A variety of mathematical utilities
packages/nixpkgs/haskellPackages.api-field-json-th	option of aeson's deriveJSON
packages/nixpkgs/haskellPackages.choose-exe	Command-line program to choose random element from a stream
packages/nixpkgs/haskellPackages.lipsum-gen	Generators for random sequences of English-like nonsense text
packages/nixpkgs/haskellPackages.first-and-last	First and Last generalized to return up to n values
packages/nixpkgs/haskellPackages.fixed-width	Fixed width subsets of an Int64/Word64
packages/nixpkgs/haskellPackages.coinor-clp	Linear Programming using COIN-OR/CLP and comfort-array
packages/nixpkgs/haskellPackages.haquery	jQuery for Haskell
packages/nixpkgs/haskellPackages.event-monad	Event-graph simulation monad transformer
packages/nixpkgs/haskellPackages.claude	Servant bindings to Anthropic's Claude API
packages/nixpkgs/haskellPackages.locked-poll	Very simple poll lock
packages/nixpkgs/haskellPackages.lens-action	Monadic Getters and Folds
packages/nixpkgs/haskellPackages.katip-kafka	Katip scribe to send logs to Kafka
packages/nixpkgs/haskellPackages.debug-tracy	More useful trace functions for investigating bugs
packages/nixpkgs/haskellPackages.estreps	Repeats from ESTs
packages/nixpkgs/haskellPackages.gogol-fonts	Google Web Fonts Developer SDK
packages/nixpkgs/haskellPackages.engine-io-snap
packages/nixpkgs/haskellPackages.align-equal	Aligns text prefixes before '=' for consistent formatting
packages/nixpkgs/haskellPackages.keyring	Keyring access
packages/nixpkgs/haskellPackages.diffmap	diff on maps
packages/nixpkgs/haskellPackages.lift-read-show	Helper methods to define `Read1`, `Read2`, `Show1`, `Show2` instances
packages/nixpkgs/haskellPackages.digraph	Directed Graphs
packages/nixpkgs/haskellPackages.hBDD-CMUBDD	An FFI binding to CMU/Long's BDD library
packages/nixpkgs/haskellPackages.aeson-tiled	Aeson instances for the Tiled map editor
packages/nixpkgs/haskellPackages.cli-extras	Miscellaneous utilities for building and working with command line interfaces
packages/nixpkgs/haskellPackages.libpafe	Wrapper for libpafe
packages/nixpkgs/haskellPackages.church-pair	Church encoded pair
packages/nixpkgs/haskellPackages.derive-prim	Derive Prim and PrimUnaligned
packages/nixpkgs/haskellPackages.cabal-file-th	Template Haskell expressions for reading fields from a project's cabal file
packages/nixpkgs/haskellPackages.libxslt	Binding to libxslt
packages/nixpkgs/haskellPackages.gogol-games	Google Play Game Services SDK
packages/nixpkgs/haskellPackages.hdbi-sqlite	SQlite driver for HDBI
packages/nixpkgs/haskellPackages.domain-auth	Domain authentication library
packages/nixpkgs/haskellPackages.bitmaps	Bitmap library
packages/nixpkgs/haskellPackages.base16-lens	Optics for the Base16 library
packages/nixpkgs/haskellPackages.cereal-uuid	Integration of "cereal" and "uuid"
packages/nixpkgs/haskellPackages.fast-digits	Integer-to-digits conversion
packages/nixpkgs/haskellPackages.leetify	Leetify text
packages/nixpkgs/haskellPackages.bytelog	Fast logging
packages/nixpkgs/haskellPackages.ghc-timers	Provides bindings to functions starting and stopping the RTS timers
packages/nixpkgs/haskellPackages.boring-game	An educational game
packages/nixpkgs/haskellPackages.hsc3-unsafe	Unsafe Haskell SuperCollider
packages/nixpkgs/haskellPackages.hls-test-utils	Utilities used in the tests of Haskell Language Server
packages/nixpkgs/haskellPackages.math-metric	Typeclass for metric spaces
packages/nixpkgs/haskellPackages.cobot-tools	Biological data file formats and IO
packages/nixpkgs/haskellPackages.foscam-sort	Foscam File format
packages/nixpkgs/haskellPackages.base64-lens	Optics for the Base64 library
packages/nixpkgs/haskellPackages.clash-shake	Shake rules for building Clash programs
packages/nixpkgs/haskellPackages.hoodle-core	Core library for hoodle
packages/nixpkgs/haskellPackages.heist-aeson	Use JSON directly from Heist templates
packages/nixpkgs/haskellPackages.hoist-error	Some convenience facilities for hoisting errors into a monad
packages/nixpkgs/haskellPackages.htssets	Heterogenous Sets
packages/nixpkgs/haskellPackages.data-lens-ixset	A Lens for IxSet
packages/nixpkgs/haskellPackages.concise	Utilities for Control
packages/nixpkgs/haskellPackages.chain-codes	Library decoding chain codes from images
packages/nixpkgs/haskellPackages.fuzzy-parse	Tools for processing unstructured text data
packages/nixpkgs/haskellPackages.hgopher	Gopher server
packages/nixpkgs/haskellPackages.effects	Computational Effects
packages/nixpkgs/haskellPackages.data-endian	Endian-sensitive data
packages/nixpkgs/haskellPackages.data-tensor	Tensor and Group typeclasses
packages/nixpkgs/haskellPackages.hie-compat	HIE files for GHC 8.8 and other HIE file backports
packages/nixpkgs/haskellPackages.gogol-redis	Google Cloud Memorystore for Redis SDK
packages/nixpkgs/haskellPackages.fedora-img-dl	Fedora image download tool
packages/nixpkgs/haskellPackages.ixset-typed	Efficient relational queries on Haskell sets
packages/nixpkgs/haskellPackages.byteset	Set of bytes
packages/nixpkgs/haskellPackages.ditto-lucid	Add support for using lucid with Ditto