wrengr

unification-fd

Generic functions for single-sorted first-order structural unification

bytestring-trie

An efficient finite map from (byte)strings to values.

stm-chans

Additional types of channels for STM.

exact-combinatorics

Efficient exact computation of combinatoric functions.

logfloat

Log-domain floating point numbers

bytestring-lexing

Efficiently parse and produce common lexemes: namely integral and fractional numbers.

coq-wrengr-util

Tactics, utility lemmas, and relation combinators for Coq

coq-tutorial

unix-bytestring

Unix/Posix-specific functions for ByteStrings.

dotfiles

🏡 a bunch of *nix configuration

byteset

Sets of bytes.

containers

Assorted concrete container types

data-fin

The canonical family of finite totally ordered sets

data-or

A data type for non-exclusive disjunction.

floskell

Floskell is a flexible Haskell source code pretty printer.

list-extras

Common not-so-common functions for lists

oss-fuzz

pointless-fun

Some common point-free combinators.

prelude-safeenum

A redefinition of the Prelude's Enum class in order to render it safe.