@hackage hevm dependencies

89 results

library:hevm (42 dependencies)

@haskell/vector

Efficient Arrays

BSD-3-Clause>=0.12.1 && <0.13

@haskell/transformers

Concrete functor and monad transformers

BSD-3-Clause>=0.5.6 && <0.6

@haskell/text

An efficient packed Unicode text type.

BSD-2-Clause>=1.2.3 && <1.3

@haskell/process

Process libraries

BSD-3-Clause>=1.6.5 && <1.7

@haskell/mtl

Monad classes for transformers, using functional dependencies

BSD-3-Clause>=2.2.2 && <2.3

@haskell/filepath

Library for manipulating FilePaths in a cross platform way.

BSD-3-Clause>=1.4.2 && <1.5

@haskell/directory

Platform-agnostic library for filesystem operations

BSD-3-Clause>=1.3.3 && <1.4

@haskell/deepseq

Deep evaluation of data structures

BSD-3-Clause>=1.4.4 && <1.5

@haskell/containers

Assorted concrete container types

BSD-3-Clause>=0.6.0 && <0.7

@haskell/bytestring

Fast, compact, strict and lazy byte strings with a list interface

BSD-3-Clause>=0.10.8 && <0.11

@haskell/binary

Binary serialisation for Haskell values using lazy ByteStrings

BSD-3-Clause>=0.8.6 && <0.9

@haskell/base

Core data structures and operations

BSD-3-Clause>=4.9 && <5

@hackage/wreq

An easy-to-use HTTP client library.

BSD-3-Clause>=0.5.3 && <0.6

@hackage/witherable

filterable traversable

BSD-3-Clause>=0.3.5 && <0.5

@hackage/vty

A simple terminal UI library

BSD-3-Clause>=5.25.1 && <5.34

@hackage/unordered-containers

Efficient hashing-based container types

BSD-3-Clause>=0.2.10 && <0.3

@hackage/time

A time library

BSD-2-Clause>=1.8.0 && <1.11

@hackage/text-format

Text formatting

BSD-3-Clause>=0.3.2 && <0.4

@hackage/scientific

Numbers represented using scientific notation

BSD-3-Clause>=0.3.6 && <0.4

@hackage/sbv

SMT Based Verification: Symbolic Haskell theorem prover using SMT solving.

BSD-3-Clause>=8.9

@hackage/s-cargot

A flexible, extensible s-expression library.

BSD-3-Clause>=0.1.4 && <0.2

@hackage/regex-tdfa

Pure Haskell Tagged DFA Backend for "Text.Regex" (regex-base)

BSD-3-Clause>=1.2.3 && <1.4

@hackage/optparse-generic

Auto-generate a command-line parser for your datatype

BSD-3-Clause>=1.3.1 && <1.5

@hackage/operational

Implementation of difficult monads made easy with operational semantics.

BSD-3-Clause>=0.2.3 && <0.3

@hackage/multiset

The Data.MultiSet container type

BSD-3-Clause>=0.3.4 && <0.4

@hackage/monad-par

A library for parallel programming based on a monad

BSD-3-Clause>=0.3.5 && <0.4

@hackage/memory

memory and related abstraction stuff

BSD-3-Clause>=0.14.18 && <0.16

@hackage/megaparsec

Monadic parser combinators

BSD-2-Clause>=9.0.0 && <10.0

@hackage/lens-aeson

Law-abiding lenses for aeson

MIT>=1.0.2 && <1.2

@hackage/lens

Lenses, Folds and Traversals

BSD-2-Clause>=4.17.1 && <4.20

@hackage/here

Here docs & interpolated strings via quasiquotation

BSD-3-Clause>=1.2.13 && <1.3

@hackage/haskeline

A command-line interface for user input, written in Haskell.

BSD-3-Clause>=0.8.0 && <0.9

@hackage/free

Monads for free

BSD-3-Clause>=5.1.3 && <5.2

@hackage/fgl

Martin Erwig's Functional Graph Library

BSD-3-Clause>=5.7.0 && <5.8

@hackage/cryptonite

Cryptography Primitives sink

BSD-3-Clause>=0.27 && <=0.29

@hackage/cereal

A binary serialization library

BSD-3-Clause>=0.5.8 && <0.6

@hackage/brick

A declarative terminal user interface library

BSD-3-Clause>=0.58 && <0.63

@hackage/base16-bytestring

RFC 4648-compliant Base16 encodings for ByteStrings

BSD-3-Clause>=1.0.0 && <2.0

@hackage/ansi-wl-pprint

The Wadler/Leijen Pretty Printer for colored ANSI terminal output

BSD-3-Clause>=0.6.9 && <0.7

@hackage/aeson

Fast JSON parsing and encoding

BSD-3-Clause>=1.5.6 && <1.6

@hackage/QuickCheck

Automatic testing of Haskell programs

BSD-3-Clause>=2.13.2 && <2.15

@hackage/Decimal

Decimal numbers with variable precision

BSD-3-Clause>=0.5.1 && <0.6

executable:hevm (30 dependencies)

@haskell/vector

Efficient Arrays

BSD-3-Clause

@haskell/text

An efficient packed Unicode text type.

BSD-2-Clause

@haskell/process

Process libraries

BSD-3-Clause

@haskell/mtl

Monad classes for transformers, using functional dependencies

BSD-3-Clause

@haskell/filepath

Library for manipulating FilePaths in a cross platform way.

BSD-3-Clause

@haskell/directory

Platform-agnostic library for filesystem operations

BSD-3-Clause

@haskell/deepseq

Deep evaluation of data structures

BSD-3-Clause

@haskell/containers

Assorted concrete container types

BSD-3-Clause

@haskell/bytestring

Fast, compact, strict and lazy byte strings with a list interface

BSD-3-Clause

@haskell/binary

Binary serialisation for Haskell values using lazy ByteStrings

BSD-3-Clause

@haskell/base

Core data structures and operations

BSD-3-Clause

@hackage/vty

A simple terminal UI library

BSD-3-Clause

@hackage/unordered-containers

Efficient hashing-based container types

BSD-3-Clause

@hackage/text-format

Text formatting

BSD-3-Clause

@hackage/sbv

SMT Based Verification: Symbolic Haskell theorem prover using SMT solving.

BSD-3-Clause

@hackage/regex-tdfa

Pure Haskell Tagged DFA Backend for "Text.Regex" (regex-base)

BSD-3-Clause

@hackage/optparse-generic

Auto-generate a command-line parser for your datatype

BSD-3-Clause

@hackage/operational

Implementation of difficult monads made easy with operational semantics.

BSD-3-Clause

@hackage/memory

memory and related abstraction stuff

BSD-3-Clause

@hackage/lens-aeson

Law-abiding lenses for aeson

MIT

@hackage/lens

Lenses, Folds and Traversals

BSD-2-Clause

@hackage/hevm

Symbolic EVM Evaluator

AGPL-3.0-only

@hackage/free

Monads for free

BSD-3-Clause

@hackage/cryptonite

Cryptography Primitives sink

BSD-3-Clause

@hackage/brick

A declarative terminal user interface library

BSD-3-Clause

@hackage/base16-bytestring

RFC 4648-compliant Base16 encodings for ByteStrings

BSD-3-Clause

@hackage/async

Run IO operations asynchronously and wait for their results

BSD-3-Clause

@hackage/ansi-wl-pprint

The Wadler/Leijen Pretty Printer for colored ANSI terminal output

BSD-3-Clause

@hackage/aeson

Fast JSON parsing and encoding

BSD-3-Clause

@hackage/QuickCheck

Automatic testing of Haskell programs

BSD-3-Clause

test:test (17 dependencies)

@haskell/vector

Efficient Arrays

BSD-3-Clause

@haskell/text

An efficient packed Unicode text type.

BSD-2-Clause

@haskell/mtl

Monad classes for transformers, using functional dependencies

BSD-3-Clause

@haskell/containers

Assorted concrete container types

BSD-3-Clause

@haskell/bytestring

Fast, compact, strict and lazy byte strings with a list interface

BSD-3-Clause

@haskell/binary

Binary serialisation for Haskell values using lazy ByteStrings

BSD-3-Clause

@haskell/base

Core data structures and operations

BSD-3-Clause

@hackage/tasty-quickcheck

QuickCheck support for the Tasty test framework.

MIT>=0.9

@hackage/tasty-hunit

HUnit support for the Tasty test framework.

MIT>=0.10

@hackage/tasty

Modern and extensible testing framework

MIT>=1.0

@hackage/sbv

SMT Based Verification: Symbolic Haskell theorem prover using SMT solving.

BSD-3-Clause

@hackage/lens

Lenses, Folds and Traversals

BSD-2-Clause

@hackage/hevm

Symbolic EVM Evaluator

AGPL-3.0-only

@hackage/here

Here docs & interpolated strings via quasiquotation

BSD-3-Clause

@hackage/free

Monads for free

BSD-3-Clause

@hackage/base16-bytestring

RFC 4648-compliant Base16 encodings for ByteStrings

BSD-3-Clause

@hackage/QuickCheck

Automatic testing of Haskell programs

BSD-3-Clause