wrengr
Follow
-
unix-bytestring Public
Unix/Posix-specific functions for ByteStrings.
-
logfloat Public
Log-domain floating point numbers
-
prelude-safeenum Public
A redefinition of the Prelude's Enum class in order to render it safe.
-
list-extras Public
Common not-so-common functions for lists
Haskell BSD 3-Clause "New" or "Revised" License UpdatedMay 1, 2025 -
exact-combinatorics Public
Efficient exact computation of combinatoric functions.
-
bytestring-trie Public
An efficient finite map from (byte)strings to values.
-
unification-fd Public
Generic functions for single-sorted first-order structural unification
-
bytestring-lexing Public
Efficiently parse and produce common lexemes: namely integral and fractional numbers.
-
data-or Public
A data type for non-exclusive disjunction.
Haskell BSD 3-Clause "New" or "Revised" License UpdatedMay 1, 2025 -
pointless-fun Public
Some common point-free combinators.
Haskell BSD 3-Clause "New" or "Revised" License UpdatedMay 1, 2025 -
-
The fink package manager
Perl GNU General Public License v2.0 UpdatedFeb 19, 2025 -
hakyll Public
Forked from jaspervdj/hakyllA static website compiler library in Haskell
Haskell Other UpdatedFeb 18, 2025 -
data-fin Public
The canonical family of finite totally ordered sets
Haskell BSD 3-Clause "New" or "Revised" License UpdatedFeb 12, 2025 -
-
floskell Public
Forked from ennocramer/floskellFloskell is a flexible Haskell source code pretty printer.
Haskell BSD 3-Clause "New" or "Revised" License UpdatedDec 13, 2021 -
containers Public
Forked from haskell/containersAssorted concrete container types
Haskell Other UpdatedFeb 22, 2017 -
-
byteset Public
Forked from Daniel-Diaz/bytesetSets of bytes.
Haskell BSD 3-Clause "New" or "Revised" License UpdatedJul 7, 2015 -
coq-wrengr-util Public
Tactics, utility lemmas, and relation combinators for Coq
-