@hackage / crux

Simple top-level library for Crucible Simulation

Latest0.9

Dependencies

library:crux (37 dependencies)

@hackage / lens Lenses, Folds and Traversals
- Version:
- License: BSD-2-Clause
@hackage / crucible-debug An interactive debugger for Crucible programs
- Version:
- License: BSD-3-Clause
@hackage / generic-lens Generically derive traversals, lenses and prisms.
- Version:
- License: BSD-3-Clause
@hackage / semigroupoids Semigroupoids: Category sans id
- Version:
- License: BSD-2-Clause
@hackage / libBF A binding to the libBF library.
- Version: >=0.6 && <0.7
- License: MIT
@hackage / prettyprinter A modern, easy to use, well-documented, extensible pretty-printer.
- Version: >=1.7.0
- License: BSD-2-Clause
@hackage / base Core data structures and operations
- Version: >=4 && <5
- License: BSD-3-Clause
@hackage / config-value Simple, layout-based value language similar to YAML or JSON
- Version:
- License: MIT
@hackage / filepath Library for manipulating FilePaths in a cross platform way.
- Version:
- License: BSD-3-Clause
@hackage / ansi-terminal Simple ANSI terminal support
- Version:
- License: BSD-3-Clause
@hackage / lumberjack Trek through your code forest and make logs
- Version: >=1.0 && <1.1
- License: ISC
@hackage / parameterized-utils Classes and data structures for working with data-kind indexed types
- Version: >=1.0 && <2.2
- License: BSD-3-Clause
@hackage / file-embed Use Template Haskell to embed file contents directly.
- Version: ^>=0.0.16
- License: BSD-2-Clause
@hackage / crucible Crucible is a library for language-agnostic symbolic simulation
- Version:
- License: BSD-3-Clause
@hackage / Glob Globbing library
- Version: >=0.10 && <0.11
- License: BSD-3-Clause
@hackage / xml A simple XML library.
- Version:
- License: BSD-3-Clause
@hackage / rme-what4 What4 adapter for the RME solver
- Version: ^>=0.1
- License: BSD-3-Clause
@hackage / raw-strings-qq Raw string literals for Haskell.
- Version:
- License: BSD-3-Clause
@hackage / what4 Solver-agnostic symbolic values support for issuing queries
- Version: >=0.4.1
- License: BSD-3-Clause
@hackage / attoparsec Fast combinator parsing for bytestrings and text
- Version:
- License: BSD-3-Clause
@hackage / split Combinator library for splitting lists.
- Version: >=0.2
- License: BSD-3-Clause
@hackage / terminal-size Get terminal window height and width
- Version:
- License: BSD-3-Clause
@hackage / text An efficient packed Unicode text type.
- Version:
- License: BSD-2-Clause
@hackage / aeson Fast JSON parsing and encoding
- Version: <2.3
- License: BSD-3-Clause
@hackage / yaml Support for parsing and rendering YAML documents.
- Version: >=0.11 && <0.12
- License: BSD-3-Clause
@hackage / bv-sized a bitvector datatype that is parameterized by the vector width
- Version: >=1.0.0
- License: BSD-3-Clause
@hackage / vector Efficient Arrays
- Version: >=0.7
- License: BSD-3-Clause
@hackage / containers Assorted concrete container types
- Version:
- License: BSD-3-Clause
@hackage / githash Compile git revision info into Haskell projects
- Version: ^>=0.1.7
- License: BSD-3-Clause
@hackage / async Run IO operations asynchronously and wait for their results
- Version:
- License: BSD-3-Clause
@hackage / time A time library
- Version: >=1.9 && <2.0
- License: BSD-2-Clause
@hackage / contravariant Contravariant functors
- Version: >=1.5 && <1.6
- License: BSD-3-Clause
@hackage / bytestring Fast, compact, strict and lazy byte strings with a list interface
- Version:
- License: BSD-3-Clause
@hackage / config-schema Schema definitions for the config-value package
- Version: >=1.2.2.0
- License: ISC
@hackage / simple-get-opt A simple library for processing command-line options.
- Version: <0.5
- License: BSD-3-Clause
@hackage / directory Platform-agnostic library for filesystem operations
- Version:
- License: BSD-3-Clause
@hackage / crucible-syntax A syntax for reading and writing Crucible control-flow graphs
- Version:
- License: BSD-3-Clause