This package provides functions for creating temporary files and directories.

This package provides efficient vector-based hashtable implementation similar to .NET Generic Dictionary implementation (at the time of 2015). . See "Data.Vector.Hashtables" for documentation.

Performant, non-empty mutable and immutable vectors.

This package provides a fast lossless compression algorithm, targeting real-time compression scenarios at zlib-level and better compression ratios.

This package normalizes variations in the interface for inspecting datatype information via Template Haskell so that packages and support a single, easier to use informational datatype while supporting many versions of Template Haskell.

Please see README.md.

HUnit support for the Tasty test framework. . Note that this package does not depend on HUnit but implements the relevant subset of its API. The name is a legacy of the early versions of tasty-hunit and of test-framework-hunit, which did depend on HUnit.

Generic implementations of standard type classes. Operations on generic representations to help using "GHC.Generics". See README.

Generating shrinkable, showable functions with `hedgehog`. See `Hedgehog.Function` for example usages.

An applicative functor transformer to normalize expressions using @(\<$>)@, @(\<*>)@, and @pure@ into a linear list of actions. See "ApNormalize" to get started.

This package provides a fancy test runner and support for «golden testing». . A golden test is an IO action that writes its result to a file. To pass the test, this output file should be identical to the corresponding «golden» file, which contains the correct result for the test. . The test runner allows filtering tests using regexes, and to interactively inspect the result of golden tests. . This package is a heavily extended fork of tasty-golden.

This package provides an interface to Windows and Unix file locking functionalities.

Modern lightweight library for infinite lists with fusion: . * API similar to "Data.List". * No dependencies other than `base`. * Top performance, driven by fusion. * Avoid dangerous instances like `Foldable`. * Use `NonEmpty` where applicable. * Use `Word` for indices. * Be lazy, but not too lazy. . @ \-# LANGUAGE PostfixOperators #-\ import Data.List.Infinite (Infinite(..), (...), (....)) import qualified Data.List.Infinite as Inf @.

This package provides portable implementations of parts of the unix package. This package re-exports the unix package when available. When it isn't available, portable implementations are used.

Tasty is a modern testing framework for Haskell. It lets you combine your unit tests, golden tests, QuickCheck/SmallCheck properties, and any other types of tests into a single test suite.

This package provides a Haskell library for working with files and directories. Includes code for pattern matching, finding files, modifying file contents, and more.

Extends <http://hackage.haskell.org/package/process>. Read process input and output as ByteStrings or Text, or write your own ProcessOutput instance. Lazy process input and output. ProcessMaker class for more flexibility in the process creation API.

QuickCheck support for the Tasty test framework. .

i2pd is a client for the anonymous I2P network, upon which applications for file sharing, web browsing, instant messaging, and more are built. i2pd allows people from all around the world to communicate and share information securely without restrictions.

FriCAS is a general purpose CAS.

The frimacs package is intended to make it easier to work with and understand the FriCAS computer algebra system. It implements four different major modes for the Emacs text editor:

• frimacs-process-mode: for interaction with a running FriCAS process

• frimacs-help-mode: for displaying help information about the FriCAS system

• frimacs-input-mode: for editing FriCAS script (.input) files

• frimacs-spad-mode: for editing FriCAS library code written in the SPAD language

This Emacs mode enables interactive development with Mikan. It also aids the input of Unicode characters.

Mikan (/mɪˈkɑːn/, after the Japanese name for Citrus unshiu) is a free and libre interactive proof assistant for cubical type theory, featuring a computational interpretation of univalence among a variety of schemas for inductive and coinductive definitions. Proofs are constructed incrementally in a flexible concrete syntax based on mixfix operators, and organised through an expressive system of parametrised modules. Mikan is a part of the 1Lab project.

Mikan was forked from the dependently-typed programming language Agda during development of upstream version 2.9.0; specifically, the last commit that is part of upstream history is a96a3920. You can learn more about the motivation for the fork in the original announcement. An up-to-date FAQ is hosted on the 1Lab.

OCRmyPDF adds an OCR text layer to scanned PDF files, allowing them to be searched

• Generates a searchable PDF/A file from a regular PDF

• Places OCR text accurately below the image to ease copy / paste

• Keeps the exact resolution of the original embedded images

• When possible, inserts OCR information as a "lossless" operation without disrupting any other content

• Optimizes PDF images, often producing files smaller than the input file

• If requested, deskews and/or cleans the image before performing OCR

• Validates input and output files

• Distributes work across all available CPU cores

• Uses Tesseract OCR engine to recognize more than 100 languages

• Keeps your private data private.

• Scales properly to handle files with thousands of pages.

• Battle-tested on millions of PDFs.