@hackage sbv dependencies

59 results

library:sbv (26 dependencies)

@hackage/haskell-src-exts

Manipulating Haskell source: abstract syntax, lexer, parser, and pretty-printer

BSD-3-Clause

@hackage/QuickCheck

Automatic testing of Haskell programs

BSD-3-Clause

@hackage/template-haskell

Support library for Template Haskell

BSD-3-Clause

@hackage/libBF

A binding to the libBF library.

MIT

@hackage/deepseq

Deep evaluation of data structures

BSD-3-Clause

@hackage/base

Core data structures and operations

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

@hackage/filepath

Library for manipulating FilePaths in a cross platform way.

BSD-3-Clause

@hackage/syb

Scrap Your Boilerplate

BSD-3-Clause

@hackage/array

Mutable and immutable arrays

BSD-3-Clause

@hackage/mtl

Monad classes for transformers, using functional dependencies

BSD-3-Clause

@hackage/th-expand-syns

Expands type synonyms in Template Haskell ASTs

BSD-3-Clause

@hackage/cryptohash-sha512

Fast, pure and practical SHA-512 implementation

BSD-3-Clause

@hackage/base16-bytestring

RFC 4648-compliant Base16 encodings for ByteStrings

BSD-3-Clause

@hackage/text

An efficient packed Unicode text type.

BSD-2-Clause

@hackage/transformers

Concrete functor and monad transformers

BSD-3-Clause

@hackage/containers

Assorted concrete container types

BSD-3-Clause

@hackage/process

Process libraries

BSD-3-Clause

@hackage/tree-view

Render trees as foldable HTML and Unicode art

BSD-3-Clause

@hackage/haskell-src-meta

Parse source to template-haskell abstract syntax.

BSD-3-Clause

@hackage/async

Run IO operations asynchronously and wait for their results

BSD-3-Clause

@hackage/uniplate

Help writing simple, concise and fast generic operations.

BSD-3-Clause

@hackage/time

A time library

BSD-2-Clause

@hackage/bytestring

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

BSD-3-Clause

@hackage/directory

Platform-agnostic library for filesystem operations

BSD-3-Clause

@hackage/random

Pseudo-random number generation

BSD-3-Clause

@hackage/pretty

Pretty-printing library

BSD-3-Clause

test:SBVConnections (2 dependencies)

@hackage/base

Core data structures and operations

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

@hackage/sbv

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

BSD-3-Clause

test:SBVDocTest (3 dependencies)

@hackage/base

Core data structures and operations

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

@hackage/process

Process libraries

BSD-3-Clause

@hackage/sbv

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

BSD-3-Clause

test:SBVHLint (2 dependencies)

@hackage/base

Core data structures and operations

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

@hackage/process

Process libraries

BSD-3-Clause

test:SBVTest (17 dependencies)

@hackage/QuickCheck

Automatic testing of Haskell programs

BSD-3-Clause

@hackage/deepseq

Deep evaluation of data structures

BSD-3-Clause

@hackage/tasty-golden

Golden tests support for tasty

MIT

@hackage/tasty

Modern and extensible testing framework

MIT

@hackage/base

Core data structures and operations

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

@hackage/filepath

Library for manipulating FilePaths in a cross platform way.

BSD-3-Clause

@hackage/tasty-quickcheck

QuickCheck support for the Tasty test framework.

MIT

@hackage/mtl

Monad classes for transformers, using functional dependencies

BSD-3-Clause

@hackage/Glob

Globbing library

BSD-3-Clause

@hackage/temporary

Portable temporary file and directory support

BSD-3-Clause

@hackage/containers

Assorted concrete container types

BSD-3-Clause

@hackage/process

Process libraries

BSD-3-Clause

@hackage/bytestring

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

BSD-3-Clause

@hackage/tasty-hunit

HUnit support for the Tasty test framework.

MIT

@hackage/sbv

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

BSD-3-Clause

@hackage/directory

Platform-agnostic library for filesystem operations

BSD-3-Clause

@hackage/random

Pseudo-random number generation

BSD-3-Clause

benchmark:SBVBench (9 dependencies)

@hackage/deepseq

Deep evaluation of data structures

BSD-3-Clause

@hackage/tasty

Modern and extensible testing framework

MIT

@hackage/base

Core data structures and operations

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

@hackage/filepath

Library for manipulating FilePaths in a cross platform way.

BSD-3-Clause

@hackage/tasty-bench

Featherlight benchmark framework

MIT

@hackage/process

Process libraries

BSD-3-Clause

@hackage/time

A time library

BSD-2-Clause

@hackage/sbv

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

BSD-3-Clause

@hackage/random

Pseudo-random number generation

BSD-3-Clause