@hackage crucible-syntax dependencies
26 results
@hackage/lens
Lenses, Folds and Traversals
@hackage/prettyprinter
A modern, easy to use, well-documented, extensible pretty-printer.
@hackage/base
Core data structures and operations
@hackage/parameterized-utils
Classes and data structures for working with data-kind indexed types
@hackage/crucible
Crucible is a library for language-agnostic symbolic simulation
@hackage/mtl
Monad classes for transformers, using functional dependencies
@hackage/megaparsec
Monadic parser combinators
@hackage/what4
Solver-agnostic symbolic values support for issuing queries
@hackage/text
An efficient packed Unicode text type.
@hackage/transformers
Concrete functor and monad transformers
@hackage/bv-sized
a bitvector datatype that is parameterized by the vector width
@hackage/vector
Efficient Arrays
@hackage/containers
Assorted concrete container types
@hackage/tasty-golden
Golden tests support for tasty
@hackage/tasty
Modern and extensible testing framework
@hackage/base
Core data structures and operations
@hackage/filepath
Library for manipulating FilePaths in a cross platform way.
@hackage/parameterized-utils
Classes and data structures for working with data-kind indexed types
@hackage/crucible
Crucible is a library for language-agnostic symbolic simulation
@hackage/megaparsec
Monadic parser combinators
@hackage/what4
Solver-agnostic symbolic values support for issuing queries
@hackage/text
An efficient packed Unicode text type.
@hackage/containers
Assorted concrete container types
@hackage/tasty-hunit
HUnit support for the Tasty test framework.
@hackage/directory
Platform-agnostic library for filesystem operations
@hackage/crucible-syntax
A syntax for reading and writing Crucible control-flow graphs