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: 26 days 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: about 4 hours ago