@hackage / hjugement-cli

Majority Judgment and Helios-C command line tool

Dependencies

executable:hjugement-cli (32 dependencies)

@hackage / deepseq Deep evaluation of data structures
- Version: >=1.4
- License: BSD-3-Clause
@hackage / unix POSIX functionality
- Version: >=2.7
- License: BSD-3-Clause
@hackage / symantic-cli Symantics for parsing and documenting a CLI
- Version: >=2.3.2
- License: GPL-3.0-only
@hackage / pipes-parse Parsing infrastructure for the pipes ecosystem
- Version: >=3.0
- License: BSD-3-Clause
@hackage / base Core data structures and operations
- Version: >=4.6 && <5
- License: BSD-3-Clause
@hackage / cryptonite Cryptography Primitives sink
- Version: >=0.25
- License: BSD-3-Clause
@hackage / filepath Library for manipulating FilePaths in a cross platform way.
- Version: >=1.4
- License: BSD-3-Clause
@hackage / base64-bytestring Fast base64 encoding and decoding for ByteStrings
- Version: >=1.0
- License: BSD-3-Clause
@hackage / pipes-group Group streams into substreams
- Version: >=1.0
- License: BSD-3-Clause
@hackage / ghc-prim GHC primitives
- Version: >=0.5
- License: BSD-3-Clause
@hackage / pipes-safe Safety for the pipes ecosystem
- Version: >=2.3
- License: BSD-3-Clause
@hackage / lens-family-core Haskell 2022 Lens Families
- Version: >=1.2
- License: BSD-3-Clause
@hackage / pipes Compositional pipelines
- Version: >=4.3
- License: BSD-3-Clause
@hackage / hjugement-protocol A cryptographic protocol for the Majority Judgment.
- Version: >=0.0.1
- License: GPL-3.0-only
@hackage / reflection Reifies arbitrary terms into types that can be reflected back into terms
- Version: >=2.1
- License: BSD-3-Clause
@hackage / terminal-size Get terminal window height and width
- Version: >=0.3
- License: BSD-3-Clause
@hackage / text An efficient packed Unicode text type.
- Version: >=1.2
- License: BSD-2-Clause
@hackage / transformers Concrete functor and monad transformers
- Version: >=0.5
- License: BSD-3-Clause
@hackage / aeson Fast JSON parsing and encoding
- Version: >=1.3
- License: BSD-3-Clause
@hackage / pipes-text properly streaming text
- Version: >=0.0.2.5
- License: BSD-3-Clause
@hackage / pipes-bytestring ByteString support for pipes
- Version: >=2.1
- License: BSD-3-Clause
@hackage / containers Assorted concrete container types
- Version: >=0.5
- License: BSD-3-Clause
@hackage / unordered-containers Efficient hashing-based container types
- Version: >=0.2.8
- License: BSD-3-Clause
@hackage / binary Binary serialisation for Haskell values using lazy ByteStrings
- Version: >=0.8
- License: BSD-3-Clause
@hackage / hjugement Majority Judgment.
- Version: >=2.0
- License: GPL-3.0-only
@hackage / memory memory and related abstraction stuff
- Version: >=0.14
- License: BSD-3-Clause
@hackage / time A time library
- Version: >=1.8
- License: BSD-2-Clause
@hackage / symantic-document Symantics combinators for generating documents.
- Version: >=1.5
- License: AGPL-3.0-or-later
@hackage / pipes-aeson Encode and decode JSON streams using Aeson and Pipes.
- Version: >=0.4
- License: BSD-3-Clause
@hackage / bytestring Fast, compact, strict and lazy byte strings with a list interface
- Version: >=0.10
- License: BSD-3-Clause
@hackage / directory Platform-agnostic library for filesystem operations
- Version: >=1.3
- License: BSD-3-Clause
@hackage / random Pseudo-random number generation
- Version: >=1.1
- License: BSD-3-Clause