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 an interface to Windows and Unix file locking functionalities.

Performant, non-empty mutable and immutable vectors.

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

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.

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

FriCAS is a general purpose CAS.

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.

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

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

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.