Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
repo1.maven.org : io.hotmoka:io-hotmoka-verification
This module implements the verification algorithms for Takamaka programs.
Registry
-
Source
- Homepage
- Documentation
- JSON
purl: pkg:maven/io.hotmoka/io-hotmoka-verification
Keywords: blockchain, java, smartcontract
License: Apache-2.0
Latest release: about 2 months ago
First release: about 3 years ago
Namespace: io.hotmoka
Dependent packages: 5
Dependent repositories: 3
Stars: 13 on GitHub
Forks: 4 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: 4 days ago
io.hotmoka:io-hotmoka-helpers 1.5.0
This module defines helper classes that provide frequently used sets of Hotmoka transactions.19 versions - Latest release: about 2 months ago - 1 dependent package - 3 dependent repositories - 13 stars on GitHub
io.hotmoka:io-hotmoka-instrumentation 1.5.0
This module implements the instrumentation of Takamaka code before being installed in a Hotmoka n...25 versions - Latest release: about 2 months ago - 2 dependent packages - 3 dependent repositories - 13 stars on GitHub
io.hotmoka:io-hotmoka-tools 1.4.2
A network of nodes for blockchain or IoT, with smart contracts in Java.23 versions - Latest release: 3 months ago - 13 stars on GitHub
io.hotmoka:io-hotmoka-local 1.2.0
A network of nodes for blockchain or IoT, with smart contracts in Java.16 versions - Latest release: 9 months ago - 3 dependent packages - 2 dependent repositories - 13 stars on GitHub
io.hotmoka:io-hotmoka-views 1.0.5
A network of nodes for blockchain or IoT, with smart contracts in Java.6 versions - Latest release: over 2 years ago - 1 dependent package - 1 dependent repositories - 13 stars on GitHub