@cardano / plutus-metatheory

Command line tool for running plutus core programs

Dependencies

library:plutus-metatheory (15 dependencies)

@hackage / extra Extra functions I use.
- Version:
- License: BSD-3-Clause
@hackage / deepseq Deep evaluation of data structures
- Version:
- License: BSD-3-Clause
@hackage / prettyprinter A modern, easy to use, well-documented, extensible pretty-printer.
- Version:
- License: BSD-2-Clause
@hackage / base Core data structures and operations
- Version:
- License: BSD-3-Clause
@hackage / filepath Library for manipulating FilePaths in a cross platform way.
- Version:
- License: BSD-3-Clause
@cardano / optparse-applicative Utilities and combinators for parsing command line options
- Version:
- License: BSD-3-Clause
@hackage / mtl Monad classes for transformers, using functional dependencies
- Version:
- License: BSD-3-Clause
@cardano / plutus-ledger-api Interface to the Plutus ledger for the Cardano ledger.
- Version:
- License: Apache-2.0
@cardano / plutus-core Language library for Plutus Core
- Version: ^>=1.63
- License: Apache-2.0
@hackage / text An efficient packed Unicode text type.
- Version:
- License: BSD-2-Clause
@hackage / transformers Concrete functor and monad transformers
- Version:
- License: BSD-3-Clause
@hackage / vector Efficient Arrays
- Version: ^>=0.13.2
- License: BSD-3-Clause
@hackage / bytestring Fast, compact, strict and lazy byte strings with a list interface
- Version:
- License: BSD-3-Clause
@hackage / directory Platform-agnostic library for filesystem operations
- Version:
- License: BSD-3-Clause
@hackage / composition-prelude Higher-order function combinators
- Version:
- License: BSD-3-Clause

executable:plc-agda (2 dependencies)

test:test-NEAT (8 dependencies)

test:test-certifier (6 dependencies)

test:test-certifier-report (12 dependencies)