@cardano marlowe dependencies

14 results

An efficient packed Unicode text type.

Fast, compact, strict and lazy byte strings with a list interface

Core data structures and operations

Numbers represented using scientific notation

JSON pretty-printing library and command-line tool.

Fast JSON parsing and encoding

Library for manipulating FilePaths in a cross platform way.

Fast, compact, strict and lazy byte strings with a list interface

Core data structures and operations

HUnit support for the Tasty test framework.

Modern and extensible testing framework

JSON pretty-printing library and command-line tool.

Fast JSON parsing and encoding

Exported version of the Marlowe Semantics using the isabelle proof assistant