@cardano marlowe dependencies

15 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.

Golden tests support for tasty

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