Artifacts using IO Hotmoka WebSockets Beans (17)

Sort by:Popular▼

✓Popular✓Newest

This module implements the beans exchanged among Hotmoka nodes.

This module implements the shared code of all Hotmoka nodes.

This module implements the verification algorithms for Takamaka programs.

This modules implements nonces and deadlines.

This module implements the classes shared by all implementations of a Mokamint node.

This module implements a websocket client.

This module defines the implementation of a node service, that is, a network server that provides the API of a Mokamint node.

This module implements the network messages exchanged between a node service and remote.

This module implements a network service that publishes a Hotmoka node.

This module implements the messages exchanged between an application and a Mokamint node.