Hoogle Search
Within LTS Haskell 24.48 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
-
Send mime-mail messages via Amazon SES Hackage documentation generation is not reliable. For up to date documentation, please see: http://www.stackage.org/package/mime-mail-ses.
-
A Haskell bundle of the Minisat SAT solver A Haskell bundle of the Minisat SAT solver
-
High-level Haskell bindings for the MiniSat SAT solver. This package provides high-level Haskell bindings for the well-known MiniSat satisfiability solver. It solves the boolean satisfiability problem, i.e., the input is a boolean formula, and the output is a list of all satisfying assignments. MiniSat is a fully automated, well-optimized general-purpose SAT solver written by Niklas Een and Niklas Sorensson, and further modified by Takahisa Toda. Unlike other similar Haskell packages, we provide a convenient high-level interface to the SAT solver, hiding the complexity of the underlying C implementation. It can be easily integrated into other programs as an efficient turn-key solution to many search problems. To illustrate the use of the library, two example programs are included in the "examples" directory; one program solves Sudoku puzzles, and the other solves a 3-dimensional block packing problem. These programs can be built manually, or by invoking Cabal with the '--enable-benchmarks' option.
-
Simple and lightweight benchmarking utilities Simple benchmarking utilities with API subset of criterion (and also a subset of gauge and tasty-bench). The goal of this package is to provide simple and lightweight benchmark utilities with less amount of codes and dependency packages. For robust and feature-rich benchmarking utility, use the other packages mentioned above.
-
A tasty Haskell front-end web framework Miso is a small, production-ready, "isomorphic" Haskell front-end framework featuring a virtual-dom, recursive diffing / patching algorithm, event delegation, event batching, SVG, Server-sent events, Websockets, type-safe servant-style routing and an extensible Subscription-based subsystem. Inspired by Elm, Redux and Bobril. Miso is pure by default, but side effects (like XHR) can be introduced into the system via the Effect data type. Miso makes heavy use of the GHCJS FFI and therefore has minimal dependencies.
-
Commonly useful extensions for the MMark markdown processor Commonly useful extensions for the MMark markdown processor. Click on Text.MMark.Extension.Common to get started.
-
Modifies the amplitudes of the sounds representations created by mmsyn7ukr-array and mmsyn7ukr packages. A program and a library to modify the amplitudes of the sounds representations. Can be used for Ukrainian sound or some other ones.
-
A simple reduced basic interface to some SoX functionality or to produce a voice that can be used by dobutokO2 and other similar packages A reduced set of modules and functionality needed to dobutokO2-array package and probably some other ones. Is rewritten from the mmsyn7ukr-0.17.0.0 package to reduce the needed dependencies.
-
Read and write IDX data that is used in e.g. the MNIST database. This package provides functionality to read and write data in the IDX binary format. This format is relevant for machine learning applications, like the MNIST handwritten digit database.
-
conduit utilities for MNIST IDX files Conduit decoders for MNIST IDX data files, as described in http://yann.lecun.com/exdb/mnist/ . The IDX format is a low-level binary representation for storing general vector, image or tensor data. Here the parsers are specialized to the MNIST dataset, which stores scans of handwritten digits and is a classic benchmark for text classification.