@hackage yggdrasil dependencies

10 results

Concrete functor and monad transformers

Monad classes for transformers, using functional dependencies

Basic libraries

memory and related abstraction stuff

Cryptography Primitives sink

Basic libraries

Executable specifications of composable cryptographic protocols.

A Testing Framework for Haskell

Cryptography Primitives sink

Automatic testing of Haskell programs