Michael and Scott queues are described in their PODC 1996 paper: . <http://dl.acm.org/citation.cfm?id=248052.248106> . These are single-ended concurrent queues based on a singlly linked list and using atomic CAS instructions to swap the tail pointers. As a well-known efficient algorithm they became the basis for Java's @ConcurrentLinkedQueue@.

REST is a Rewriting library with online termination checking. For more details see the paper at https://arxiv.org/abs/2202.05872.

Please see the README on Github at <https://github.com/IvanMalison/gtk-strut#readme>

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.

C-structs lets you create correct C structs in Haskell. These can be used for FFI calls, import as well as exports. This package is part of the development efforts for the Python library Pythas. Pythas provides an interface to import Haskell modules. . Note: As of GHC 9.2 structs cannot be passed by value, only by reference.

This library implements the SHA suite of message digest functions, according to NIST FIPS 180-2 (with the SHA-224 addendum), as well as the SHA-based HMAC routines. The functions have been tested against most of the NIST and RFC test vectors for the various functions. While some attention has been paid to performance, these do not presently reach the speed of well-tuned libraries, like OpenSSL.

In many cases, it is useful (either for error checking or documentation reasons) to define input and output types as having a particular unit of time. In addition, by creating a type class defining type units, this library should make it easier to separate the units of time the developer wants to think in versus the units of time the library author wants to think in.

GHC package that provides types that when used in a package can be identified by the <https://hackage.haskell.org/package/fusion-plugin fusion-plugin> package to perform any extra optimizations.

Bindings for libdbusmenu, autogenerated by haskell-gi.

Dyre implements dynamic reconfiguration facilities after the style of Xmonad. Dyre aims to be as simple as possible without sacrificing features, and places an emphasis on simplicity of integration with an application. A full introduction with a complete example project can be found in the documentation for 'Config.Dyre'

Bindings for GdkX11, autogenerated by haskell-gi.

This package provides a pure interface for compressing and decompressing streams of data represented as lazy ByteStrings. It uses the bz2 C library so it has high performance.

It provides a convenient high level API suitable for most tasks and for the few cases where more control is needed it provides access to the full bzip2 feature set.

A port of the Java library by Terrence Parr.

This library implements an SMT-LIB backend (in the sense of the smtlib-backends package) which runs solvers as external processes.

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.

This package gives you access to the set of operating system services standardised by <http://pubs.opengroup.org/onlinepubs/9699919799/ POSIX.1-2008> (or the IEEE Portable Operating System Interface for Computing Environments - IEEE Std. 1003.1). . The package is not supported under Windows.

This package adds resource management and exception handling to the @pipes@ ecosystem. . Notable features include: . * /Resource Safety/: Guarantee finalization using @finally@, @bracket@ and more . * /Exception Safety/: Even against asynchronous exceptions! . * /Laziness/: Only acquire resources when you need them . * /Promptness/: Finalize resources early when you are done with them . * /Native Exception Handling/: Catch and resume from exceptions inside pipes . * /No Buy-in/: Mix resource-safe pipes with unmanaged pipes using @hoist@.

This library provides tools for reading and manipulating the .cabal file format.

This package provides functionality for manipulating @OsString@ values, and is shipped with <https://www.haskell.org/ghc/ GHC>.

Various useful functions on tuples, overloaded on tuple size.

This package provides a pure interface for compressing and decompressing LZMA (Lempel&#8211;Ziv&#8211;Markov chain algorithm) streams of data represented as lazy ByteStrings. A monadic incremental interface is provided as well. This package relies on the liblzma C library.

Bindings for JavaScriptCore 6.x, autogenerated by haskell-gi.