Group: Hotmoka

Sort by:Popular▼

✓Popular✓Newest

A parser for TOML

Hotmoka WebSockets

Hotmoka Crypto

Hotmoka Marshalling

This module implements the shared code of all Hotmoka nodes.

Hotmoka Exceptions

Hotmoka CLI

This module defines the API of the shared code of all Hotmoka nodes.

Hotmoka Closeables

Hotmoka Annotations

Hotmoka Patricia

This module defines some constants about the Hotmoka project.

Hotmoka Xodus

This module defines constants about the Takamaka support library.

This module implements the verification algorithms for Takamaka programs.

This module defines helper classes that provide frequently used sets of Hotmoka transactions.

This module defines the API of the helper classes that provide frequently used sets of Hotmoka transactions.

This module implements the instrumentation of Takamaka code before being installed in a Hotmoka node.

This module defines the implementation of white-listing in Hotmoka. It is used to define a subset of Java that can be used for Takamaka smart contracts.

This module defines some standard annotations.