Performant, non-empty mutable and immutable vectors.

This package provides functions for creating temporary files and directories.

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.

This package offers a version of <https://hackage.haskell.org/package/base/docs/GHC-Generics.html GHC.Generics> with two important improvements: . 1. The @to@, @from@, @to1@, and @from1@ methods have multiplicity-polymorphic types, allowing them to be used with either traditional Haskell code or linearly typed code. . 2. The representations used for @Generic1@ are modified slightly. As a result, @to1@ and @from1@ never need to use @fmap@. This can <https://gitlab.haskell.org/ghc/ghc/-/issues/15969 greatly improve performance>, and it is <https://github.com/tweag/linear-base/pull/316 necessary to support multiplicity polymorphism>. A smaller change, approximately <https://gitlab.haskell.org/ghc/ghc/-/issues/7492 as proposed by spl>, reduces the number of instances that must be written to actually use @Generic1@ for deriving instances of other classes. . For more details, see the "Generics.Linear" documentation. . The implementation is based on the @generic-deriving@ package, first described in the paper . * /A generic deriving mechanism for Haskell/. Jose Pedro Magalhaes, Atze Dijkstra, Johan Jeuring, and Andres Loeh. Haskell'10. . This library is organized as follows: . * "Generics.Linear" defines the core functionality for generics, including the multiplicity-polymorphic @Generic(1)@ classes and a replacement for the @:.:@ composition type. . * "Generics.Linear.TH" implements Template Haskell functionality for deriving instances of @Generic(1)@. . * "Generics.Linear.Unsafe.ViaGHCGenerics" offers @DerivingVia@ targets to derive @Generic@ and @Generic1@ instances from @"GHC.Generics".'GHC.Generics.Generic'@. Because these instances necessarily use unsafe coercions, their use will likely inhibit full optimization of code using them. . Educational code: the educational modules exported by <https://hackage.haskell.org/package/generic-deriving generic-deriving> have been copied into the @tests\/Generic\/Deriving@ directory in this repository, with the very few modifications required to accommodate the differences between the @Generic1@ representations here and in @base@. All the same caveats apply as in the originals; see that package's @README@.

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 contains simple wrappers around Data.IntMap and Data.IntSet with Enum keys and elements respectively. Especially useful for Int's wrapped with `newtype`.

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.

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

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 minimal pretty-printing library for Show instances in Haskell.

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.

QPDF is a command-line program that does structural, content-preserving transformations on PDF files. It could have been called something like pdf-to-pdf. It includes support for merging and splitting PDFs and to manipulate the list of pages in a PDF file. It is not a PDF viewer or a program capable of converting PDF into other formats.

This package provides tools for converting SVG graphics to TikZ/PGF code.

pikepdf is a Python library for reading and writing PDF files.

Python extensions for Inkscape core, separated out from main repository.

Proof General is a major mode to turn Emacs into an interactive proof assistant to write formal mathematical proofs using a variety of theorem provers.

egglog is a language specialized for writing equality saturation applications. It is the successor to the rust library egg. egglog is faster and more general than egg.

org-publish-rss.el is a simple RSS generator for Org-mode's built-in publishing functionality.