Development

Various Haskell 2010 stream comonads

codex

Strict data types and String IO

codex

Strict Identity Monad, handy for writing fast code!

codex

Strict linked list

codex

A writer monad for multi-line string literals

codex

Simplifies dealing with different types for strings

codex

Haskell string/text/bytestring interpolation that just works

codex

QuasiQuoter for non-interpolated strings, texts and bytestrings.

codex

Fast searching, splitting and replacing of ByteStrings

codex

Structure (hash) of your data types

codex

Tool for scaffolding fully configured batteries-included production-level Haskell projec…

codex

Tool for scaffolding fully configured batteries-included production-level Haskell projec…

codex

DSL for building SVG.

codex

Binding to the libsvg-cairo library.

codex

Swagger 2.0 data model

codex

library for generic programming in Haskell

codex

Consistent filesystem interaction across GHC versions

codex

High-level, byte-based file and directory path manipulations

codex

Two-dimensional data tables with rendering functions

codex

Haskell 98 phantom types to avoid unsafely passing dummy arguments

codex

Parsing and extracting information from (possibly malformed) HTML/XML documents

codex

Streamlined html tag parser

codex

Library for accountability for the tamarin prover

codex

Library for export of processes in the Sapic calculus to the Proverif calculus

codex

Library for input processes in SAPIC calculus for the tamarin prover

codex

Term manipulation library for the tamarin prover

codex

Security protocol types and constraint solver library for the tamarin prover

codex

Utility library for the tamarin prover

codex

Reading, writing and manipulating ".tar" archive files.

codex

Extract and create tar files using conduit for streaming

codex