extras for the "contravariant" package

extras for the "contravariant" package; profiling libraries

Contravariant functors; profiling libraries

free monads

free monads; profiling libraries

simple monad transformer for imperative-style loops

simple monad transformer for imperative-style loops; profiling libraries

Typeclasses and instances for converting between types, GHC package

Typeclasses and instances for converting between types, GHC profiling package

HTTP cookie-parsing and rendering library

HTTP cookie-parsing and rendering library; profiling libraries

Compiler for Copilot targeting C99

Compiler for Copilot targeting C99; profiling libraries

Intermediate representation for Copilot.

Intermediate representation for Copilot.; profiling libraries

Stream DSL for writing embedded C programs.

Interpreter for Copilot.

Interpreter for Copilot.; profiling libraries

DSL for monitoring hard real-time distributed systems.

DSL for monitoring hard real-time distributed systems.; profiling libraries

Libraries for the Copilot language.

Libraries for the Copilot language.; profiling libraries

Prettyprinter of Copilot Specifications

Prettyprinter of Copilot Specifications; profiling libraries

Stream DSL for writing embedded C programs.; profiling libraries

k-induction for Copilot.

k-induction for Copilot.; profiling libraries

cpphs-library for haskell

cpphs-library for haskell; profiling libraries

low-level routines to get basic properties of the platform

low-level routines to get basic properties of the platform; profiling libraries

Robust, reliable performance measurement and analysis

Criterion measurement functionality and associated types

Criterion measurement functionality and associated types; profiling libraries

Robust, reliable performance measurement and analysis; profiling libraries

generic interface for cryptographic operations

generic interface for cryptographic operations; profiling libraries

Generic cryptography cipher tests

Generic cryptography cipher tests; profiling libraries

generic cryptographic cipher types

generic cryptographic cipher types; profiling libraries

collection of crypto hashes, fast, pure and practical

fast, pure and practical MD5 implementation

fast, pure and practical MD5 implementation; profiling libraries

collection of crypto hashes, fast, pure and practical; profiling libraries

fast, pure and practical SHA-1 implementation

fast, pure and practical SHA-1 implementation; profiling libraries

fast, pure and practical SHA-256 implementation

fast, pure and practical SHA-256 implementation; profiling libraries

crypton conduit