@haskell/text
An efficient packed Unicode text type.
@haskell/process
Process libraries
@haskell/mtl
Monad classes for transformers, using functional dependencies
@haskell/filepath
Library for manipulating FilePaths in a cross platform way.
@haskell/directory
Platform-agnostic library for filesystem operations
@haskell/containers
Assorted concrete container types
@haskell/bytestring
Fast, compact, strict and lazy byte strings with a list interface
@haskell/base
Core data structures and operations
@hackage/what4
Solver-agnostic symbolic values support for issuing queries
@hackage/prettyprinter
A modern, easy to use, well-documented, extensible pretty-printer.
@hackage/parameterized-utils
Classes and data structures for working with data-kind indexed types
@hackage/logict
A backtracking logic-programming monad.
@hackage/llvm-pretty-bc-parser
LLVM bitcode parsing library
@hackage/llvm-pretty
A pretty printing library inspired by the llvm binding.
@hackage/lens
Lenses, Folds and Traversals
@hackage/crux
Simple top-level library for Crucible Simulation
@hackage/crucible-symio
An implementation of symbolic I/O primitives for Crucible
@hackage/crucible-llvm
Support for translating and executing LLVM code in Crucible
@hackage/crucible
Crucible is a library for language-agnostic symbolic simulation
@hackage/config-schema
Schema definitions for the config-value package
@hackage/bv-sized
a bitvector datatype that is parameterized by the vector width
@hackage/aeson
Fast JSON parsing and encoding
@haskell/unix
POSIX functionality
@haskell/text
An efficient packed Unicode text type.
@haskell/process
Process libraries
@haskell/filepath
Library for manipulating FilePaths in a cross platform way.
@haskell/directory
Platform-agnostic library for filesystem operations
@haskell/containers
Assorted concrete container types
@haskell/bytestring
Fast, compact, strict and lazy byte strings with a list interface
@haskell/base
Core data structures and operations
@hackage/what4
Solver-agnostic symbolic values support for issuing queries
@hackage/lens
Lenses, Folds and Traversals
@hackage/crux-llvm
A verification tool for C programs.
@hackage/crux
Simple top-level library for Crucible Simulation
@hackage/crucible-symio
An implementation of symbolic I/O primitives for Crucible
@hackage/crucible-llvm
Support for translating and executing LLVM code in Crucible
@hackage/crucible
Crucible is a library for language-agnostic symbolic simulation
@haskell/unix
POSIX functionality
@haskell/text
An efficient packed Unicode text type.
@haskell/process
Process libraries
@haskell/filepath
Library for manipulating FilePaths in a cross platform way.
@haskell/directory
Platform-agnostic library for filesystem operations
@haskell/containers
Assorted concrete container types
@haskell/bytestring
Fast, compact, strict and lazy byte strings with a list interface
@haskell/base
Core data structures and operations
@hackage/what4
Solver-agnostic symbolic values support for issuing queries
@hackage/websockets
A sensible and clean way to write WebSocket-capable servers in Haskell.
@hackage/lumberjack
Trek through your code forest and make logs
@hackage/lens
Lenses, Folds and Traversals
@hackage/crux-llvm
A verification tool for C programs.
@hackage/crux
Simple top-level library for Crucible Simulation
@hackage/crucible-symio
An implementation of symbolic I/O primitives for Crucible
@hackage/crucible-llvm
Support for translating and executing LLVM code in Crucible
@hackage/crucible
Crucible is a library for language-agnostic symbolic simulation
@hackage/aeson
Fast JSON parsing and encoding
@haskell/text
An efficient packed Unicode text type.
@haskell/process
Process libraries
@haskell/filepath
Library for manipulating FilePaths in a cross platform way.
@haskell/directory
Platform-agnostic library for filesystem operations
@haskell/containers
Assorted concrete container types
@haskell/bytestring
Fast, compact, strict and lazy byte strings with a list interface
@haskell/base
Core data structures and operations
@hackage/what4
Solver-agnostic symbolic values support for issuing queries
@hackage/time
A time library
@hackage/lens
Lenses, Folds and Traversals
@hackage/indexed-traversable
FunctorWithIndex, FoldableWithIndex, TraversableWithIndex
@hackage/extra
Extra functions I use.
@hackage/cryptohash-sha256
Fast, pure and practical SHA-256 implementation
@hackage/crux-llvm
A verification tool for C programs.
@hackage/crux
Simple top-level library for Crucible Simulation
@hackage/crucible-symio
An implementation of symbolic I/O primitives for Crucible
@hackage/crucible-llvm
Support for translating and executing LLVM code in Crucible
@hackage/crucible
Crucible is a library for language-agnostic symbolic simulation
@hackage/base16-bytestring
RFC 4648-compliant Base16 encodings for ByteStrings
@hackage/attoparsec
Fast combinator parsing for bytestrings and text
@hackage/aeson
Fast JSON parsing and encoding
@haskell/text
An efficient packed Unicode text type.
@haskell/process
Process libraries
@haskell/filepath
Library for manipulating FilePaths in a cross platform way.
@haskell/directory
Platform-agnostic library for filesystem operations
@haskell/containers
Assorted concrete container types
@haskell/bytestring
Fast, compact, strict and lazy byte strings with a list interface
@haskell/base
Core data structures and operations
@hackage/what4
Solver-agnostic symbolic values support for issuing queries
@hackage/versions
Types and parsers for software version numbers.
@hackage/tasty-sugar
Tests defined by Search Using Golden Answer References
@hackage/tasty-hunit
HUnit support for the Tasty test framework.
@hackage/tasty
Modern and extensible testing framework
@hackage/regex-posix
POSIX Backend for "Text.Regex" (regex-base)
@hackage/regex-base
Common "Text.Regex.*" API for Regex matching
@hackage/lens
Lenses, Folds and Traversals
@hackage/extra
Extra functions I use.
@hackage/crux-llvm
A verification tool for C programs.
@hackage/crux
Simple top-level library for Crucible Simulation
@hackage/crucible-symio
An implementation of symbolic I/O primitives for Crucible
@hackage/crucible-llvm
Support for translating and executing LLVM code in Crucible
@hackage/crucible
Crucible is a library for language-agnostic symbolic simulation